Abstract is missing.
- Control Synthesis of Hybrid Systems Based on Predicate InvarianceHaoxun Chen, Hans-Michael Hanisch. 1-15 [doi]
- Computing Approximating Automata for a Class of Linear Hybrid SystemsAlongkrit Chutinan, Bruce H. Krogh. 16-37 [doi]
- On Hybrid Systems and the Modal µ-calculusJennifer M. Davoren. 38-69 [doi]
- The Extended Linear Complementary Problem and the Modeling and Analysis of Hybrid SystemsBart De Schutter, Bart De Moor. 70-85 [doi]
- Controller Scheduling Using Neural Networks: Implementation and Experimental ResultsEnrique D. Ferreira, Bruce H. Krogh. 86-99 [doi]
- Rigorous Design of a Fault Diagnosis and Isolation AlgorithmJianping Gao, Qiwen Xu. 100-121 [doi]
- Scalble Data and Sensor Fusion via Multiple Agent Hybrid SystemsWolf Kohn, Anil Nerode, Jeffrey B. Remmel. 122-141 [doi]
- Hybrid Control Systems Usind Timed Petri Nets: Supervisory Control Design Based on Invariant PropertiesXenofon D. Koutsoukos, Panos J. Antsaklis. 142-162 [doi]
- A Case Study in Tool-Aided Analysis of Discretely Controlled Continuous Systems: The Two Tanks ProblemStefan Kowalewski, Olaf Stursberg, Martin Fritz, Holger Graf, Ingo Hoffmann, Jörg Preußig, Manuel Remelhe, Silke Simon, Heinz Treseler. 163-185 [doi]
- Hybrid Systems with Finite BisimulationsGerardo Lafferriere, George J. Pappas, Shankar Sastry. 186-203 [doi]
- Extracting Stable Timed Automata from Switched Model Reference SystemsMichael D. Lemmon, Christopher J. Bett. 204-217 [doi]
- Sliding Mode Model Semantics and Simulation for Hybrid SystemsPieter J. Mosterman, Feng Zhao, Gautam Biswas. 218-237 [doi]
- Time-Deterministic Hybrid Transition SystemsSimin Nadjm-Tehrani. 238-250 [doi]
- Heuristic Optimizaton and Dynamical System Safety VerificationTodd W. Neller. 251-261 [doi]
- A Hybrid Receding-Horizon Control Scheme for Nonlinear Discrete-Time SystemsThomas Parisini, Simona Sacone. 262-278 [doi]
- Approximating Automata and Discrete Control for Continuous Systems - Two Examples from Process ControlJörg Raisch, Eberhard Klein, Siu O Young, Christian Meder, Alexander Itigin. 279-303 [doi]
- Action Systems with Continuous BehaviourMauno Rönkkö, Anders P. Ravn. 304-323 [doi]
- Towards Using Hybrid Automata for the Mission Planning of Unmanned Aerial VehiclesConrado W. Seibel, Jean-Marie Farines, José E. R. Cury. 324-340 [doi]
- Optimal Controller Switching for Stochastic SystemsE. Skafidas, Robin J. Evans, Iven M. Y. Mareels, Anil Nerode. 341-355 [doi]
- Robust Control of Hybrid Systems: Performance Guided StrategiesLe Yi Wang, Pramod P. Khargonekar, Ali Beydoun. 356-389 [doi]
- Analysis of Slope-Parametric Rectangular AutomataHoward Wong-Toi. 390-413 [doi]
- Control of Interval Temporal SystemsXinyao Yu, Zongji Chen. 414-428 [doi]
- Phase-Space Nonlinear Control Toolbox: The Maglev ExperienceFeng Zhao, Shiou C. Loh, Jeff A. May. 429-444 [doi]