Skip to main content
SpringerLink
Log in

Hybrid Systems

  • Conference proceedings
  • © 1993

Overview

Editors:
  1. Robert L. Grossman
    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  2. Anil Nerode
    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  3. Anders P. Ravn
    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  4. Hans Rischel
    View editor publications

    You can also search for this editor in PubMed   Google Scholar

Part of the book series: Lecture Notes in Computer Science (LNCS, volume 736)

Included in the following conference series:

Conference proceedings info: HS 1991. HS 1992.

This is a preview of subscription content, log in via an institution to check access.

Access this book

Log in via an institution
Softcover Book USD 54.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Other ways to access

Licence this eBook for your library

Institutional subscriptions

Table of contents (20 papers)

  1. Front Matter

    Download chapter 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
Back to top

Keywords

About this book

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.

Bibliographic Information

Publish with us

Policies and ethics

Back to top

Search

Navigation