Hybrid systems
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 electron...
Bewaard in:
| Hoofdauteur: | |
|---|---|
| Andere auteurs: | , |
| Formaat: | Livre numérique |
| Taal: | Anglais |
| Gepubliceerd in: |
Berlin [etc.] :
Springer
[20..].
Cham : Springer Nature |
| Reeks: | Lecture notes in computer science
736 |
| Onderwerpen: | |
| Online toegang: | Accès sur la plateforme de l'éditeur Accès sur la plateforme Istex Accès Université d'Orléans Accès INSA CVL |
| Opmerking: |
Archives Springer e-books (Licence nationale) Archives Springer e-books (Licence nationale) |
| Autres localisations: | Voir dans le Sudoc |
| Edition sous un autre format: | • Hybrid systems, Robert L. Grossman ... [et al.] (eds.), Berlin, Springer-Verlag, 1993, 1 vol. (VIII-474 p.), Lecture notes in computer science, 3-540-57318-6 • Hybrid Systems, Texte imprimé, 9783662191781 |
Inhoudsopgave:
- Verifying hybrid systems
- An extended duration calculus for hybrid real-time systems
- Towards refining temporal specifications into hybrid systems
- Hybrid systems in TLA+
- Hybrid models with fairness and distributed clocks
- A compositional approach to the design of hybrid systems
- An approach to the description and analysis of hybrid systems
- Integration Graphs: A class of decidable hybrid systems
- Hybrid automata: An algorithmic approach to the specification and verification of hybrid systems
- Hybrid Systems: the SIGNAL approach
- A dynamical simulation facility for hybrid systems
- Event identification and intelligent hybrid control
- Multiple agent hybrid control architecture
- Models for hybrid systems: Automata, topologies, controllability, observability
- Some remarks about flows in hybrid systems
- Hybrid system modeling and autonomous control systems
- Fault accommodation in feedback control systems
- On formal support for industrial-scale requirements analysis
- A formal approach to computer systems requirements documentation.