Hybrid systems V : [Proceedings of the Fifth International Hybrid Systems Workshop, held in Notre Dame, Indiana, September 11-13, 1997

This book constitutes the strictly refereed post-proceedings of the 5th International Hybrid Systems Workshop held in Notre Dame, Indiana, USA in September 1998. The 23 revised full papers presented in the book have gone through two rounds of thorough reviewing and revision. The volume presents state-of-the-art research results and particularly addresses such areas as program verification, concurrent and distributed processes, logic programming, logics of programs, discrete event simulation, calculus of variations, optimization, differential geometry, Lie algebras, automata theory, dynamical systems, etc. Control Synthesis of Hybrid Systems Based on Predicate Invariance....Pages 1-15 Computing Approximating Automata for a Class of Linear Hybrid Systems....Pages 16-37 On Hybrid Systems and the Modal μ-calculus....Pages 38-69 The Extended Linear Complementarity Problem and the Modeling and Analysis of Hybrid Systems....Pages 70-85 Controller Scheduling Using Neural Networks: Implementation and Experimental Results....Pages 86-99 Rigorous Design of a Fault Diagnosis and Isolation Algorithm....Pages 100-121 Scalable Data and Sensor Fusion via Multiple Agent Hybrid Systems....Pages 122-141 Hybrid Control Systems Using Timed Petri Nets: Supervisory Control Design Based on Invariant Properties....Pages 142-162 A Case Study in Tool-Aided Analysis of Discretely Controlled Continuous Systems: The Two Tanks Problem....Pages 163-185 Hybrid Systems with Finite Bisimulations....Pages 186-203 Extracting Stable Timed Automata from Switched Model Reference Systems....Pages 204-217 Sliding Mode Model Semantics and Simulation for Hybrid Systems....Pages 218-237 Time-Deterministic Hybrid Transition Systems....Pages 238-250 Heuristic Optimization and Dynamical System Safety Verification....Pages 251-261 A Hybrid Receding—Horizon Control Scheme for Nonlinear Discrete—Time Systems....Pages 262-278 Approximating Automata and Discrete Control for Continuous Systems — Two Examples from Process Control....Pages 279-303 Action Systems with Continuous Behaviour....Pages 304-323 Towards Using Hybrid Automata for the Mission Planning of Unmanned Aerial Vehicles....Pages 324-340 Optimal Controller Switching for Stochastic Systems....Pages 341-355 Robust Control of Hybrid Systems: Performance Guided Strategies....Pages 356-390 Analysis of Slope-Parametric Rectangular Automata....Pages 390-413 Control of Interval Temporal Systems....Pages 414-428 Phase-Space Nonlinear Control Toolbox: The Maglev Experience....Pages 429-444 Hybrid systems consist of a continuous time system and a discrete event system that interact and influence each other.