Rob Vermaas - researchr profile publications

researchr

You are not signed in
Sign in
Sign up

[Clear Filters]

Publications tagged control systems

Discovering vulnerabilities in control system human-machine interface softwareRobert Wesley McGrew, Rayford B. Vaughn. jss, 82(4):583-589, 2009. [doi]

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]

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]

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]

Dynamic QoS and Network Control for Commercial VoIP Systems in Future Heterogeneous NetworksMelanie Grah, Peter Radcliffe. ism 2008: 356-363 [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

Joint maximum principle in the problem of synthesizing an optimal control of nonlinear systemsA. A. Kostoglotov, A. I. Kostoglotov, S. V. Lazarenko. accs, 41(5):274-281, 2007. [doi]

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

Optimal control of a production inventory system with deteriorating itemsL. Tadj, M. Bounkhel, Y. Benhadid. ijsysc, 37(15):1111-1121, 2006. [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]

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

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

Control Systems R&D at BBNSheldon Baron. annals, 27(2):52-64, 2005. [doi]

Congestion Control in Multi-Agent Systems Through Dynamic Games of DeterrenceMichel Rudnianski, Helene Bestougeff. wrac 2006: 354-369 [doi]

Research on the Control and Application of Chaos in an Electrical SystemZhao-ming Lei, Zuo-jun Liu, He-xu Sun, Hong-jun Chang. icmlc 2006: 142-148 [doi]

Evaluation of Advanced Signal Control Systems with Sensing Technology by SimulationMohd Nazmi, Nadiah Hanim, Sadao Takaba. asiasim 2005: 392-402 [doi]

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

RE in Flatness Measurement and Control Systems Development at ABBNur Yilmaztürk. RE 2003: 293 [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]

Robust Linear Control of Flexible Joint Robot SystemsHoda A. ElMaraghy, Tarek Lahdhiri, Frank Ciuca. jirs, 34(4):335-356, 2002. [doi]

Rapid Prototyping of Transition Management Code for Reconfigurable Control SystemsM. Guler, S. Clements, N. Kejriwal, L. Wills, B. Heck, George J. Vachtsevanos. rsp 2002: 76-83 [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]

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

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

A penalty/least-squares method for optimal control problems for first-order elliptic systemsMax Gunzburger, Hyung-Chun Lee. amc, 107(1):57-75, 2000. [doi]

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.

Phased-in Construction Method of ATOS (Autonomous Decentralized Transport Operation Control System)Fumio Kitahara, Keiji Kamijou, Yoshiaki Kakurai, Keisuke Bekki, Kazuo Kera, Katsumi Kawano. isads 1999: 415 [doi]

An advanced integrated expert system for wastewater treatment plants controlP. A. Paraskevas, I. S. Pantelakis, Themistocles D. Lekkas. kbs, 12(7):355-361, 1999. [doi]

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

Fuzzy-enhanced Adaptive Control for Flexible Drive System with Friction Using Genetic AlgorithmsLih-Chang Lin, Ywh-Jeng Lin. jirs, 23(2-4):379-405, 1998. [doi]

Adaptive Neuro-fuzzy Control System by RBF and GRNN Neural NetworksTeo Lian Seng, Marzuki Khalid, Rubiyah Yusof, Sigeru Omatu. jirs, 23(2-4):267-289, 1998. [doi]

A framework for simulation of concurrency control policy in real-time systemsChih Lai, H. Rebecca Callison. rtas 1996: 91-99 [doi]

Real-time communication in plant-monitoring/controlling systems with ATM networksIchiro Mizunuma, Satoshi Horiike, Morikazu Takegaki. rtcsa 1995: 243-249 [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]

The National Simulation Laboratory: the unifying tool for air traffic control system developmentRandall J. Stevens, Glenn F. Roberts. wsc 1991: 741-746 [doi]

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

Simulation system for the control of manufacturing linesJ. Beaudoin, G. Feldmann, Pierre Massotte. wsc 1989: 579-583 [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.

Map OL-systems with edge label control: Comparison of marker and cyclic systemsMartin J. M. de Boer, Aristid Lindenmayer. gg 1987: 378-392

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.

runs on WebDSL