Abstract is missing.
- Bumpless Switching in Hybrid SystemsAlan B. Arehart, William A. Wolovich. 1-17
- A Toolbox for Proving and Maintaining Hybrid SpecificationsMichael S. Branicky, Ekaterina Dolginova, Nancy A. Lynch. 18-30
- Simulation of Hybrid SystemsMichael S. Branicky, Sven Erik Mattsson. 31-56
- Application of the Kohn-Nerode Control Law Extraction Procedure to the Inverted Pendulum ProblemVladimir Brayman, Juris Vagners. 57-76
- Decidability of Hybrid Systems with Linear and Nonlinear Differential InclusionsMireille E. Broucke, Pravin Varaiya. 77-92
- Reliable Implementation of Hybrid Control Systems for Advanced AvionicsDarren D. Cofer. 93-112
- SHIFT: A Formalism and a Programming Language for Dynamic Networks of Hybrid AutomataAkash Deshpande, Aleks Göllü, Pravin Varaiya. 113-133
- Synthesis of Minimally Restrictive Legal Controllers for a Class of Hybrid SystemsMichael Heymann, Feng Lin, George Meyer. 134-159
- Control Theory, Modal Logic and GamesJulia F. Knight, Brian Luense. 160-173
- Agent Based Velocity Control of Highway SystemsWolf Kohn, Anil Nerode, Jeffrey B. Remmel. 174-214
- A Computatuional Analysis of the Reachability Problem for a Class of Hybrid Dynamical SystemsJohn F. Kolen, Feng Zhao. 215-227
- A Class of Rectangular Hybrid Systems with Computable Reach SetMikhail Kourjanski, Pravin Varaiya. 228-234
- Safe Implementations of Supervisory CommandsMichael D. Lemmon, Christopher J. Bett. 235-247
- Hybrid System Games: Extraction of Control Automata with Small TopologiesAnil Nerode, Jeffrey B. Remmel, Alexander Yakhnis. 248-293
- Hybrid Control Design for a Three Vehicle Scenario Demonstration Using Overlapping DecompositionsÜmit Özgüner, Cem Hatipoglu, Altug Iftar, Keith Redmill. 294-328
- Towards Continuous Abstractions of Dynamical and Control SystemsGeorge J. Pappas, Shankar Sastry. 329-341
- A Totally Ordered Set of Discrete Abstractions for a given Hybrid Continuous SystemJörg Raisch, Siu O Young. 342-360
- Comparing Timed and Hybrid Automata as Approximations of Continuous SystemsOlaf Stursberg, Stefan Kowalewski, Ingo Hoffmann, Jörg Preußig. 361-377
- Hybrid Control Models of Next Generarion AIr Traffic ManagementClaire Tomlin, George J. Pappas, John Lygeros, Datta N. Godbole, Shankar Sastry. 378-404