Eelco Visser - researchr profile publications

researchr

You are not signed in
Sign in
Sign up

[Clear Filters]

Publications tagged control systems

Stratego/XT 0.17. A language and toolset for program transformationMartin Bravenboer, Karl Trygve Kalleberg, Rob Vermaas, Eelco Visser. SCP, 72(1-2):52-70, 2008. [doi]

Fault Diagnosis of Networked Control SystemsChristophe Aubrun, Dominique Sauter, Joseph J. Yame. amcs, 18(4):525-538, 2008. [doi]

End-to-end deadline control for aperiodic tasks in distributed real-time systemsXu-Dong Chen, Qing-Xin Zhu, Liao Yong, Xiong Guang Ze. tjs, 43(3):225-240, 2008. [doi]

Service-Orientation and Flexible Service Binding in Distributed Automation and Control SystemsAndre Pohl, Heiko Krumm, Felix Holland, Franz-Josef Stewing, Ingo Lück. aina 2008: 1393-1398 [doi]

Necessary first- and second-order optimality conditions in problems of control described by a system of Volterra difference equationsK. B. Mansimov, R. O. Mastaliev. accs, 42(2):71-76, 2008. [doi]

Integrated vendor--buyer inventory system with sublot sampling inspection policy and controllable lead timeKun-Shan Wu, Liang-Yuh Ouyang, Chia-Huei Ho. ijsysc, 38(4):339-350, 2007. [doi]

The prototype of human - robot interactive voice control systemMiroslav Holada, Igor Kopetschke, Pavel Pirkl, Martin Pelc, Lukás Matela, Jirí Horcicka, Jakub Stilec. icinco 2007: 307-310

Stratego/XT 0.16: components for transformation systemsMartin Bravenboer, Karl Trygve Kalleberg, Rob Vermaas, Eelco Visser. PEPM 2006: 95-99 [doi]

Supply System Dynamics: Distributed Control in Supply Chains and NetworksMarkus Schwaninger, Peter Vrhovec. cas, 37(5):375-415, 2006. [doi]

Optimal control of a production inventory system with deteriorating itemsL. Tadj, M. Bounkhel, Y. Benhadid. ijsysc, 37(15):1111-1121, 2006. [doi]

Loose Integration of COTS Tools for the Development of Real Time Distributed Control SystemsJavier Portillo, Oskar Casquero, Marga Marcos. iccbss 2005: 191-200 [doi]

Hybrid Fuzzy/Expert System to Control Grasping with Deformation DetectionJorge Axel Domínguez-López, Gilberto Marrufo. micai 2005: 1022-1031 [doi]

Adaptive output feedback tracking control for a class of uncertain nonlinear systems using neural networksYeong-Chan Chang, Hui-Min Yen. tsmc, 35(6):1311-1316, 2005. [doi]

Toward a systems- and control-oriented agent frameworkKingsley Fregene, Diane Kennedy, David W. L. Wang. tsmc, 35(5):999-1012, 2005. [doi]

Hybrid Control of bifurcation in Continuous Nonlinear Dynamical SystemsZengrong Liu, K. W. Chung. IJBC, 15(12):3895-3903, 2005. [doi]

Integrating simulation models with a view to optimal control of urban wastewater systemsDavid Butler 0002, Manfred Schütze. envsoft, 20(4):415-426, 2005. [doi]

ClawZ: Cost-Effective Formal Verification for Control SystemsM. M. Adams, Philip B. Clayton. icfem 2005: 465-479 [doi]

Robust and Adaptive Load Frequency Control of Multi-area Power Networks with System Parametric Uncertainties Using Temporal Difference Based MLP Neural NetworksFarzan Rashidi, Mehran Rashidi. aimsa 2004: 321-330 [doi]

Adaptive synchronous control of servo system driven by two motorsG. F. Zhao, G. L. Ma, J. Guo, W. L. Hu. icarcv 2004: 1990-1993 [doi]

Program Transformation with Stratego/XT: Rules, Strategies, Tools, and Systems in Stratego/XT 0.9Eelco Visser. Dagstuhl 2004: 216-238 [doi]

Uncertain, Dynamic, Out of Control? Coordination and Cooperation in Next Generation SystemsJorge Kaiser. isads 2003: 165 [doi]

Strategies for Source-to-Source Constant ProgagationKarina Olmos, Eelco Visser. ENTCS, 70(6):156-175, 2002. [doi]

The Schengen Information System in Austria: An Essential Tool in Day to Day Police and Border Control Work?Stephen Karanja. JILT, 2002(1), 2002. [doi]

Stratego: A Language for Program Transformation Based on Rewriting StrategiesEelco Visser. RTA 2001: 357-362 [doi]

Robust stability of fuzzy feedback linearization control system for Takagi-Sugeno fuzzy modelYoung-Wan Cho, Sung-Ryul Lee, Kyung-Ok Park, Mignon Park. jifs, 10(2):99-115, 2001. [doi]

Fuzzy modular autonomous intelligent cruise control (AICC) systemM. A. Jarrah, Adnan K. Shaout. jifs, 11(3-4):121-134, 2001. [doi]

Analyzing the Light Control System with PVSjucs, 6(7):621-649, 2000. [doi]

Modified adaptive discrete control system containing neural estimator and neural controllerSohrab Khanmohammadi, Iraj Hassanzadeh, Mohammad Bagher Bana Sharifian. aei, 14(1):31-38, 2000. [doi]

Law-governed interaction: a coordination and control mechanism for heterogeneous distributed systemsNaftaly H. Minsky, Victoria Ungureanu. TOSEM, 9(3):273-305, 2000. [doi]

A decision support algorithm to assess cost-effective control of detriments associated with a production planning systemS. Roy. tsmc, 30(4):498-505, 2000.

Reliable decentralized supervisory control of discrete event systemsS. Takai, T. Ushio. tsmc, 30(5):661-667, 2000.

Controlled Simulation of Marriage SystemsDouglas R. White. jasss, 2(3), 1999. [doi]

Integrity and Internal Control in Information Systems, IFIP TC11 Working Group 11.5, Third Working Conference on Integrity and Internal Control in Information Systems: Strategic Views on the Need for Control, Amsterdam, The Netherlands, November 18-19, 19Margaret E. van Biene-Hershey, Leon Strous, editors, Volume 165 of IFIP Conference Proceedings, Kluwer, 1999.

Multiple stochastic learning automata for vehicle path control in an automated highway systemCem Ünsal, Pushkin Kachroo, John S. Bay. tsmc, 29(1):120-128, 1999.

Inventory Control: A Simulation and Decision Support SystemAnna Sobotka. simulation, 71(3):141-153, 1998.

Engineering Safe, Real-Time Distributed Control SystemsPeter R. Croll, Chris Rudram, Colin Chambers, Naoshi Uchihira. euromicro 1998: 10445-10452 [doi]

Specification of Rewriting StrategiesBas Luttik, Eelco Visser. ASF+SDF 1997:

A control and management network for wireless ATM systemsStephen Bush, Sunil Jagannath, Ricardo Sanchez, Joseph B. Evans, Victor S. Frost, Gary J. Minden, K. Sam Shanmugan. winet, 3(4):267-283, 1997. [doi]

Autonomous Decentralized Software Structure for Integration of Information and Control SystemsTakeiki Aizono, Katsumi Kawano, Hiroshi Wataya, Kinji Mori. compsac 1997: 324-331 [doi]

Genetic Algorithms and Flowshop Scheduling: Towards the Development of a Real-Time Process Control SystemHugh M. Cartwright, Andrew Tuson. aisb 1994: 277-290

A Superimposition Control Construct for Distributed SystemsShmuel Katz. TOPLAS, 15(2):337-356, 1993. [doi]

Formal Specification and Verification of a Fault-Masking and Transient-Recovery Model for Digital Flight-Control SystemsJohn M. Rushby. ftrtft 1991: 237-257

Process control for large complex systemsFelix Bretschneider, Christa Kopf, Markus Zolg. wsc 1991: 1091-1100 [doi]

A Self-organizing Associative Memory System for Control ApplicationsMichael Hormel. nips 1990: 332-339 [doi]

A Production Control Model of On-Line Systems a Capacity Planning OverviewCarolyn Hanna. cmg 1988: 592-598

On Multiversion Replication Control in Distributed SystemsSang Hyuk Son. csse, 2(2):76-84, 1987.

EDP System Development Methodology: Auditability and ControlAvi Rushinek, Sara F. Rushinek. tapsoft 1985: 423-434

LAN: Hub for Distributed System Performance Management and ControlMitchell G. Spiegel. cmg 1983: 126-130

Control of a Heterogeneous Two-Server Exponential Queueing SystemRonald L. Larsen, Ashok K. Agrawala. TSE, 9(4):522-526, 1983.

Identification and Control for Linear Dynamic Systems of Unknown OrderA. V. Medvedev. ifip7 1974: 48-55

runs on WebDSL