Control Synthesis of Hybrid Systems Based on Predicate Invariance ................1
H. Chen and H.-M. Hanisch
Computing Approximating Automata for a Class of Linear Hybrid Systems 16
A. Chutinan and B.H. Krogh
On Hybrid Systems and the Modal u-calculus ...............................................................38
J.M. Davoren
The Extended Linear Complementarity Problem and the Modeling and
Analysis of Hybrid Systems .................................................................................................70
B. De Schutter and B. De Moor
Controller Scheduling Using Neural Networks: Implementation and
Experimental Results ..............................................................................................................86
E.D. Ferreira and B.H. Krogh
Rigorous Design of a Fault Diagnosis and Isolation Algorithm .........................100
J. Gao and Q. Xu
Scalable Data and Sensor Fusion via Multiple Agent Hybrid Systems ............122
W. Kohn, A. Nerode and J.B. Remmel
Hybrid Control Systems Using Timed Petri Nets: Supervisory Control
Design Based on Invariant Properties............142
X.D. Koutsoukos and P.J. Antsaklis
A Case Study in Tool-Aided Analysis of Discretely Controlled Continuous
Systems: The Two Tanks Problem ...................................................................................163
S. KowalewsAci, O. Stursberg, M. Fritz, H. Graf, I. Hoffmann, J. Preubig,
M. Remelhe, S. Simon and H. Treseler
Hybrid Systems with Finite Bisimulations ................................................................186
G. Lafferriere, G.J. Pappas and S. Sastry
Extracting Stable Timed Automata from Switched Model Reference
Systems..............................204
M. Lemmon and C.J. Bett
Sliding Mode Model Semantics and Simulation for Hybrid Systems ................218
P.J. Mosterman, F. Zhao and G. Biswas
Time-Deterministic Hybrid Transition Systems .....................................................238
S. Nadjm-Tehrani
Heuristic Optimization and Dynamical System Safety Verification ..............251
T. W. Neller
A Hybrid Receding-Horizon Control Scheme for Nonlinear Discrete-Time
Systems...................................................................262
T. Parisini and S. Sacone
Approximating Automata and Discrete Control for Continuous Systems -
Two Examples from Process Control ......................279
J. Raisch, E. Klein, S. O'Young, C. Meder and A. Itigin
Action Systems with Continuous Behaviour ..............................................................304
M. Ronkko and A.P. Ravn
Towards Using Hybrid Automata for the Mission Planning of Unmanned
Aerial Vehicles ......324
C. W. Seibel, J. -M. Farines and J. E.R. Cury
Optimal Controller Switching for Stochastic Systems ........................................341
E. Scafidas, R.J. Evans, I.M. Y. Mareels and A. Nerode
Robust Control of Hybrid Systems: Performance Guided Strategies ..............356
L. Y. Wang, P.P. Khargonekar and A. Beydoun
Analysis of Slope-Parametric Rectangular Automata ..........................................390
H. Wong- Toi
Control of Interval Temporal Systems ........................................................................414
X. Yu and Z. Chen
Phase-Space Nonlinear Control Toolbox: The Maglev Experience .....................429
F. Zhao, S.C. Loh and J.A. May
Author Index ............................................................................................................................445