Advertisement

Table of contents

  1. Front Matter
  2. R.Ł. Grossman, A. Nerode, A. Ravn, H. Rischel
    Pages 1-3
  3. Zohar Manna, Amir Pnueli
    Pages 4-35
  4. Zhou Chaochen, Anders P. Ravn, Michael R. Hansen
    Pages 36-59
  5. Thomas A. Henzinger, Zohar Manna, Amir Pnueli
    Pages 60-76
  6. Leslie Lamport
    Pages 77-102
  7. Reino Kurki-Suonio
    Pages 103-119
  8. X. Nicollin, A. Olivero, J. Sifakis, S. Yovine
    Pages 149-178
  9. Y. Kesten, A. Pnueli, J. Sifakis, S. Yovine
    Pages 179-208
  10. Rajeev Alur, Costas Courcoubetis, Thomas A. Henzinger, Pei -Hsin Ho
    Pages 209-229
  11. Albert Benveniste, Michel Le Borgne, Paul Le Guernic
    Pages 230-254
  12. Allen Back, John Guckenheimer, Mark Myers
    Pages 255-267
  13. Michael Lemmon, James A. Stiver, Panos J. Antsaklis
    Pages 268-296
  14. Anil Nerode, Wolf Kohn
    Pages 297-316
  15. R. L. Grossman, R. G. Larson
    Pages 357-365
  16. Panos J. Antsaklis, James A. Stiver, Michael Lemmon
    Pages 366-392
  17. Mogens Blanke, Søren Bøgh Nielsen, Rikke Bille Jørgensen
    Pages 393-425
  18. T. Anderson, R. de Lemos, J. S. Fitzgerald, A. Saeed
    Pages 426-451
  19. Marcin Engel, Marcin Kubica, Jan Madey, David Lorge Parnas, Anders P. Ravn, A. John van Schouwen
    Pages 452-474
  20. Back Matter

About these proceedings

Introduction

Hybrid systems are networks of interacting digital and analog devices. Control systems for inherently unstable aircraft and computer aided manufacturing are typical applications for hybrid systems, but due to the rapid development of processor and circuit technology modern cars and consumer electronics use software to control physical processes. The identifying characteristic of hybrid systems is that they incorporate both continuous components governed by differential equations and also digital components - digital computers, sensors, and actuators controlled by programs. This volume of invited refereed papers is inspired by a workshop on the Theory of Hybrid Systems, held at the Technical University, Lyngby, Denmark, in October 1992, and by a prior Hybrid Systems Workshop, held at Cornell University, USA, in June 1991, organized by R.L. Grossman and A. Nerode. Some papers are the final versions of papers presented at these workshops and some are invited papers from other researchers who were not able to attend these workshops.

Keywords

Computer Hybride Automaten Kontrollsysteme Nero Systemmodellierung Systemspezifikation Topologie algorithms automata calculus hybrid automata modeling system modeling systems modeling verification

Bibliographic information

  • DOI https://doi.org/10.1007/3-540-57318-6
  • Copyright Information Springer-Verlag Berlin Heidelberg 1993
  • Publisher Name Springer, Berlin, Heidelberg
  • eBook Packages Springer Book Archive
  • Print ISBN 978-3-540-57318-0
  • Online ISBN 978-3-540-48060-0
  • Series Print ISSN 0302-9743
  • Series Online ISSN 1611-3349
  • Buy this book on publisher's site