253 followers
Hybrid Systems
Overview of attention for book
Table of Contents
-
Altmetric BadgeBook Overview
-
Altmetric BadgeChapter 21 Introduction
-
Altmetric BadgeChapter 22 Verifying hybrid systems
-
Altmetric BadgeChapter 23 An extended duration calculus for hybrid real-time systems
-
Altmetric BadgeChapter 24 Towards refining temporal specifications into hybrid systems
-
Altmetric BadgeChapter 25 Hybrid systems in TLA +
-
Altmetric BadgeChapter 26 Hybrid models with fairness and distributed clocks
-
Altmetric BadgeChapter 27 A compositional approach to the design of hybrid systems
-
Altmetric BadgeChapter 28 An approach to the description and analysis of hybrid systems
-
Altmetric BadgeChapter 29 Integration Graphs: A class of decidable hybrid systems
-
Altmetric BadgeChapter 30 Hybrid automata: An algorithmic approach to the specification and verification of hybrid systems
-
Altmetric BadgeChapter 31 Hybrid Systems: the SIGNAL approach
-
Altmetric BadgeChapter 32 A dynamical simulation facility for hybrid systems
-
Altmetric BadgeChapter 33 Event identification and intelligent hybrid control
-
Altmetric BadgeChapter 34 Multiple agent hybrid control architecture
-
Altmetric BadgeChapter 35 Models for hybrid systems: Automata, topologies, controllability, observability
-
Altmetric BadgeChapter 36 Some remarks about flows in hybrid systems
-
Altmetric BadgeChapter 37 Hybrid system modeling and autonomous control systems
-
Altmetric BadgeChapter 38 Fault accommodation in feedback control systems
-
Altmetric BadgeChapter 39 On formal support for industrial-scale requirements analysis
-
Altmetric BadgeChapter 40 A formal approach to computer systems requirements documentation