Skip to main content alibris logo
Hybrid Systems III: Verification and Control - Alur, Rajeev (Editor), and Henzinger, Thomas A (Editor), and Sontag, Eduardo D (Editor)
Filter Results
Item Condition
Seller Rating
Other Options
Change Currency

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 ...

loading
Hybrid Systems III: Verification and Control 1996, Springer, Berlin, Heidelberg

ISBN-13: 9783540611554

1996 edition

Trade paperback