ISBN: 3-540-65643-X
TITLE: Hybrid Systems V
AUTHOR: Antsaklis, Panos J.; Kohn, Wolf; Lemmon, Michael; Nerode, Anil; Sastry, Shankar (Eds.)
TOC:

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 -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. Kowalewski, O. Stursberg, M. Fritz, H. Graf, I. Hoffmann, J. Preuig, 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 Controll 279
J. Raisch, E. Klein, S. O'Young, C. Meder and A. Itigin
Action Systems with Continuous Behaviour 304
M. Rnkk 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. Skafidas, 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
END
