Hybrid Systems

1. Front Matter

   PDF

2. Introduction

   • R.Ł. Grossman, A. Nerode, A. Ravn, H. Rischel

   Pages 1-3

3. Verifying hybrid systems

   • Zohar Manna, Amir Pnueli

   Pages 4-35

4. An extended duration calculus for hybrid real-time systems

   • Zhou Chaochen, Anders P. Ravn, Michael R. Hansen

   Pages 36-59

5. Towards refining temporal specifications into hybrid systems

   • Thomas A. Henzinger, Zohar Manna, Amir Pnueli

   Pages 60-76

6. Hybrid systems in TLA+

   • Leslie Lamport

   Pages 77-102

7. Hybrid models with fairness and distributed clocks

   • Reino Kurki-Suonio

   Pages 103-119

8. A compositional approach to the design of hybrid systems

   • Jozef Hooman

   Pages 121-148

9. An approach to the description and analysis of hybrid systems

   • X. Nicollin, A. Olivero, J. Sifakis, S. Yovine

   Pages 149-178

10. Integration Graphs: A class of decidable hybrid systems

    • Y. Kesten, A. Pnueli, J. Sifakis, S. Yovine

    Pages 179-208

11. Hybrid automata: An algorithmic approach to the specification and verification of hybrid systems

    • Rajeev Alur, Costas Courcoubetis, Thomas A. Henzinger, Pei -Hsin Ho

    Pages 209-229

12. Hybrid Systems: the SIGNAL approach

    • Albert Benveniste, Michel Le Borgne, Paul Le Guernic

    Pages 230-254

13. A dynamical simulation facility for hybrid systems

    • Allen Back, John Guckenheimer, Mark Myers

    Pages 255-267

14. Event identification and intelligent hybrid control

    • Michael Lemmon, James A. Stiver, Panos J. Antsaklis

    Pages 268-296

15. Multiple agent hybrid control architecture

    • Anil Nerode, Wolf Kohn

    Pages 297-316

16. Models for hybrid systems: Automata, topologies, controllability, observability

    • Anil Nerode, Wolf Kohn

    Pages 317-356

17. Some remarks about flows in hybrid systems

    • R. L. Grossman, R. G. Larson

    Pages 357-365

18. Hybrid system modeling and autonomous control systems

    • Panos J. Antsaklis, James A. Stiver, Michael Lemmon

    Pages 366-392

19. Fault accommodation in feedback control systems

    • Mogens Blanke, Søren Bøgh Nielsen, Rikke Bille Jørgensen

    Pages 393-425

20. On formal support for industrial-scale requirements analysis

    • T. Anderson, R. de Lemos, J. S. Fitzgerald, A. Saeed

    Pages 426-451

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.

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

Policies and ethics