Table of Contents
Scanning the Issue.....453
In Memoriam - Yakov Zalmanovitch Tsypkin: A Life in Feedback Control E.I. Jury.....455
GUEST EDITORIAL
Hybrid Control SYstems: An Introductory Discussion to the Special Issue, P.J. Antsaklis and A. Nerode.....457
PAPERS
Stability Theory for Hybrid Dynamical Systems, H. Ye, A.N. Michel, and L. Hou.....461
Multiple Lyapunov Functions and Other Analysis Tools for Switched and Hybrid Systems, M.S. Branicky.....475
Complementarity Modeling of Hybrid Systems, A.J. van der Schaft and J.M. Schumacher.....483
Control Design for Integrator Hybrid Systems, M. Tittus and B. Egardt.....491
Hierarchical Hybrid COntrol Systems: A Lattice Theoretic Formulation, P.E. Caines and Y.-J. Wei.....501
Conflict Resolution for Air traffic Management: A Study in Multiagent hybrid Systems,C. Tomlin, G.J. Pappas, and S. Sastry.....509
Verified Hybrid Controllers for Automated Vehicles,J. Lygeros, D.N. Godbole, and S. Sastry.....522
Algorithmic Analysis of Nonlinear Hybrid Systems,T.A. Henzinger, P.-H. Ho, and H. Wong-Toi.....540
TECHNICAL NOTES AND CORRESPONDENCE
Computation of Piecewise Quadratic Lyapunov Functions for Hybrid Systems, M. Johansson and A. Rantzer.....555
Model Adaptive Hybrid Dynamic Control for Constrained Motion Systems,B.J. McCarragher and D.J. Austin.....560
Synthesis of Supervisory Controllers for Hybrid Systems Based on Approximating Automata,J.E.R. Cury, B.H. Krogh, and T. Niinomi.....564
Discrete Approximation and Supervisory Control of Continuous Systems,J. Raisch and S.D. O'Young.....569
Differential Petri Nets: Representing Continuous Systems in a Discrete-Event World,I. Demongodin and N.T. Koussoulas.....573
Compositional and Uniform Modeling of Hybrid Systems,A. Benveniste.....579
The SHIFT Programming Lnaguage for Dynamic Networks of Hybrid Automata,A. Deshpande, A. Gollu, and L. Semenzato.....584