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 II40,99 €
- LangmaackFormal Techniques in Real-Time and Fault-Tolerant Systems79,99 €
- GaudelFME '96: Industrial Benefit and Advances in Formal Methods79,99 €
- JonssonFormal Techniques in Real-Time and Fault-Tolerant Systems40,99 €
- Paul Pettersson / Wang Yi (eds.)Formal Modeling and Analysis of Timed Systems40,99 €
- Computer Aided Verification40,99 €
- HenzingerHybrid Systems: Computation and Control40,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.
Hinweis: Dieser Artikel kann nur an eine deutsche Lieferadresse ausgeliefert werden.
- 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