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