↓ 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
Attention for Chapter 40: A formal approach to computer systems requirements documentation
Altmetric Badge

Citations

dimensions_citation
198 Dimensions

Readers on

mendeley
7 Mendeley
citeulike
2 CiteULike
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.
Chapter title
A formal approach to computer systems requirements documentation
Chapter number 40
Book title
Hybrid Systems
Published by
Springer, Berlin, Heidelberg, January 1993
DOI 10.1007/3-540-57318-6_40
Book ISBNs
978-3-54-057318-0, 978-3-54-048060-0
Authors

Marcin Engel, Marcin Kubica, Jan Madey, David Lorge Parnas, Anders P. Ravn, A. John van Schouwen, Engel, Marcin, Kubica, Marcin, Madey, Jan, Parnas, David Lorge, Ravn, Anders P., van Schouwen, A. John

Mendeley readers

Mendeley readers

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

Geographical breakdown

Country Count As %
China 1 14%
Unknown 6 86%

Demographic breakdown

Readers by professional status Count As %
Student > Ph. D. Student 2 29%
Professor 1 14%
Student > Doctoral Student 1 14%
Student > Master 1 14%
Professor > Associate Professor 1 14%
Other 0 0%
Unknown 1 14%
Readers by discipline Count As %
Computer Science 4 57%
Medicine and Dentistry 1 14%
Engineering 1 14%
Unknown 1 14%