Hybrid Systems 1991 and 1992

Robert L. Grossman, Anil Nerode, Anders P. Ravn, Hans Rischel (Eds.): Hybrid Systems. Lecture Notes in Computer Science 736 Springer 1993, ISBN 3-540-57318-6 BibTeX

@proceedings{DBLP:conf/hybrid/1992,
  editor    = {Robert L. Grossman and
               Anil Nerode and
               Anders P. Ravn and
               Hans Rischel},
  title     = {Hybrid Systems},
  booktitle = {Hybrid Systems},
  publisher = {Springer},
  series    = {Lecture Notes in Computer Science},
  volume    = {736},
  year      = {1993},
  isbn      = {3-540-57318-6},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

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