Hybrid Systems III
Verification and Control
Mitarbeit:Alur, Rajeev; Henzinger, Thomas A.; Sontag, Eduardo D.
Hybrid Systems III
Verification and Control
Mitarbeit:Alur, Rajeev; Henzinger, Thomas A.; Sontag, Eduardo D.
- Broschiertes Buch
- Merkliste
- Auf die Merkliste
- Bewerten Bewerten
- Teilen
- Produkt teilen
- Produkterinnerung
- Produkterinnerung
This reference book documents the scientific outcome of the DIMACS/SYCON Workshop on Verification and Control of Hybrid Systems, held at Rutgers University in New Brunswick, NJ, in October 1995. A hybrid system consists of digital devices that interact with analog environments. Computer science contributes expertise on the analog aspects of this emerging field of interdisciplinary research and design. The 48 revised full papers included were strictly refereed; they present the state of the art in this dynamic field with contributions by leading experts. Also available are the predecessor volumes published in the same series as LNCS 999 and LNCS 736.…mehr
- AntsaklisHybrid Systems II39,99 €
- LangmaackFormal Techniques in Real-Time and Fault-Tolerant Systems77,99 €
- JonssonFormal Techniques in Real-Time and Fault-Tolerant Systems39,99 €
- GaudelFME '96: Industrial Benefit and Advances in Formal Methods77,99 €
- HenzingerHybrid Systems: Computation and Control39,99 €
- Paul Pettersson / Wang Yi (eds.)Formal Modeling and Analysis of Timed Systems39,99 €
- Computer Aided Verification39,99 €
-
-
-
A hybrid system consists of digital devices that interact with analog environments. Computer science contributes expertise on the analog aspects of this emerging field of interdisciplinary research and design. The 48 revised full papers included were strictly refereed; they present the state of the art in this dynamic field with contributions by leading experts. Also available are the predecessor volumes published in the same series as LNCS 999 and LNCS 736.
- Produktdetails
- Lecture Notes in Computer Science 1066
- Verlag: Springer / Springer Berlin Heidelberg / Springer, Berlin
- Artikelnr. des Verlages: 978-3-540-61155-4
- 1996.
- Seitenzahl: 636
- Erscheinungstermin: 24. April 1996
- Englisch
- Abmessung: 235mm x 155mm x 34mm
- Gewicht: 814g
- ISBN-13: 9783540611554
- ISBN-10: 354061155X
- Artikelnr.: 09198317
- Lecture Notes in Computer Science 1066
- Verlag: Springer / Springer Berlin Heidelberg / Springer, Berlin
- Artikelnr. des Verlages: 978-3-540-61155-4
- 1996.
- Seitenzahl: 636
- Erscheinungstermin: 24. April 1996
- Englisch
- Abmessung: 235mm x 155mm x 34mm
- Gewicht: 814g
- ISBN-13: 9783540611554
- ISBN-10: 354061155X
- Artikelnr.: 09198317