↓ Skip to main content

Hybrid Systems

Overview of attention for book
Cover of 'Hybrid Systems'

Table of Contents

  1. Altmetric Badge
    Book Overview
  2. Altmetric Badge
    Chapter 21 Introduction
  3. Altmetric Badge
    Chapter 22 Verifying hybrid systems
  4. Altmetric Badge
    Chapter 23 An extended duration calculus for hybrid real-time systems
  5. Altmetric Badge
    Chapter 24 Towards refining temporal specifications into hybrid systems
  6. Altmetric Badge
    Chapter 25 Hybrid systems in TLA +
  7. Altmetric Badge
    Chapter 26 Hybrid models with fairness and distributed clocks
  8. Altmetric Badge
    Chapter 27 A compositional approach to the design of hybrid systems
  9. Altmetric Badge
    Chapter 28 An approach to the description and analysis of hybrid systems
  10. Altmetric Badge
    Chapter 29 Integration Graphs: A class of decidable hybrid systems
  11. Altmetric Badge
    Chapter 30 Hybrid automata: An algorithmic approach to the specification and verification of hybrid systems
  12. Altmetric Badge
    Chapter 31 Hybrid Systems: the SIGNAL approach
  13. Altmetric Badge
    Chapter 32 A dynamical simulation facility for hybrid systems
  14. Altmetric Badge
    Chapter 33 Event identification and intelligent hybrid control
  15. Altmetric Badge
    Chapter 34 Multiple agent hybrid control architecture
  16. Altmetric Badge
    Chapter 35 Models for hybrid systems: Automata, topologies, controllability, observability
  17. Altmetric Badge
    Chapter 36 Some remarks about flows in hybrid systems
  18. Altmetric Badge
    Chapter 37 Hybrid system modeling and autonomous control systems
  19. Altmetric Badge
    Chapter 38 Fault accommodation in feedback control systems
  20. Altmetric Badge
    Chapter 39 On formal support for industrial-scale requirements analysis
  21. Altmetric Badge
    Chapter 40 A formal approach to computer systems requirements documentation
Overall attention for this book and its chapters
Altmetric Badge

Mentioned by

blogs
2 blogs
twitter
1 X user
wikipedia
1 Wikipedia page

Citations

dimensions_citation
198 Dimensions

Readers on

mendeley
17 Mendeley
You are seeing a free-to-access but limited selection of the activity Altmetric has collected about this research output. Click here to find out more.
Title
Hybrid Systems
Published by
Springer Berlin Heidelberg, January 2006
DOI 10.1007/3-540-57318-6
ISBNs
978-3-54-057318-0, 978-3-54-048060-0
Editors

Grossman, Robert L., Nerode, Anil, Ravn, Anders P., Rischel, Hans

X Demographics

X Demographics

The data shown below were collected from the profile of 1 X user who shared this research output. Click here to find out more about how the information was compiled.
Mendeley readers

Mendeley readers

The data shown below were compiled from readership statistics for 17 Mendeley readers of this research output. Click here to see the associated Mendeley record.

Geographical breakdown

Country Count As %
Unknown 17 100%

Demographic breakdown

Readers by professional status Count As %
Student > Master 6 35%
Professor > Associate Professor 3 18%
Student > Ph. D. Student 2 12%
Researcher 2 12%
Student > Postgraduate 1 6%
Other 3 18%
Readers by discipline Count As %
Computer Science 9 53%
Engineering 6 35%
Physics and Astronomy 1 6%
Agricultural and Biological Sciences 1 6%