Hybrid Systems III: Verification and Control (Lecture Notes in Computer Science, 1066, Band 1066) - Softcover

Rajeev Alur; Thomas A. Henzinger; Eduardo D. Sontag

 
9783540611554: Hybrid Systems III: Verification and Control (Lecture Notes in Computer Science, 1066, Band 1066)
Softcover
ISBN 10: 354061155X ISBN 13: 9783540611554
Verlag: Springer, 2008

Inhaltsangabe

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.

Die Inhaltsangabe kann sich auf eine andere Ausgabe dieses Titels beziehen.

Verlag
Springer
Erscheinungsdatum
2008
Sprache
Englisch
ISBN 10 
354061155X
ISBN 13 
9783540611554
Einband
Taschenbuch
Anzahl der Seiten
636
Kontakt zum Hersteller
ProductSafety@springernature.com
ProductSafety@springernature.com

Poststr. 9
Darmstadt
64293
Deutschland

Weitere beliebte Ausgaben desselben Titels

9783662179673: Hybrid Systems III: Verification and Control

Vorgestellte Ausgabe

ISBN 10:  3662179679 ISBN 13:  9783662179673
Verlag: Springer, 2014
Softcover