Abstract is missing.
- IntroductionRobert L. Grossman, Anil Nerode, Anders P. Ravn, Hans Rischel. 1-3
- Verifying Hybrid SystemsZohar Manna, Amir Pnueli. 4-35
- An Extended Duration Calculus for Hybrid Real-Time SystemsZhou Chaochen, Anders P. Ravn, Michael R. Hansen. 36-59
- Towards Refining Temporal Specifications into Hybrid SystemsThomas A. Henzinger, Zohar Manna, Amir Pnueli. 60-76
- Hybrid Systems in TLA:::+:::Leslie Lamport. 77-102
- Hybrid Models with Fairness and Distributed ClocksReino Kurki-Suonio. 103-120
- A Compositional Approach to the Design of Hybrid SystemsJozef Hooman. 121-148
- An Approach to the Description and Analysis of Hybrid SystemsXavier Nicollin, Alfredo Olivero, Joseph Sifakis, Sergio Yovine. 149-178
- Integration Graphs: A Class of Decidable Hybrid SystemsYonit Kesten, Amir Pnueli, Joseph Sifakis, Sergio Yovine. 179-208
- Hybrid Automata: An Algorithmic Approach to the Specification and Verification of Hybrid SystemsRajeev Alur, Costas Courcoubetis, Thomas A. Henzinger, Pei-Hsin Ho. 209-229
- Hybrid Systems: The SIGNAL ApproachAlbert Benveniste, Michel Le Borgne, Paul Le Guernic. 230-254
- A Dynamical Simulation Facility for Hybrid SystemsAllen Back, John Guckenheimer, Mark Myers. 255-267
- Event Identification and Intelligent Hybrid ControlMichael D. Lemmon, James A. Stiver, Panos J. Antsaklis. 268-296
- Multiple Agent Hybrid Control ArchitectureAnil Nerode, Wolf Kohn. 297-316
- Models for Hybrid Systems: Automata, Topologies, Controllability, ObservabilityAnil Nerode, Wolf Kohn. 317-356
- Some Remarks About Flows in Hybrid SystemsRobert L. Grossman, Richard G. Larson. 357-365
- Hybrid System Modeling and Autonomous Control SystemsPanos J. Antsaklis, James A. Stiver, Michael D. Lemmon. 366-392
- Fault Accomodation in Feedback Control SystemsMogens Blanke, Søren Bøgh Nielsen, Rikke Bille Jørgensen. 393-425
- On Foraml Support for Industrial-Scale Requirements AnalysisTom Anderson, Rogério de Lemos, John S. Fitzgerald, Amer Saeed. 426-451
- A Formal Approach to Computer Systems Requirements DocumentationMarcin Engel, Marcin Kubica, Jan Madey, David Lorge Parnas, Anders P. Ravn, A. John van Schouwen. 452-474