Overview
Part of the book series: Lecture Notes in Computer Science (LNCS, volume 1066)
Included in the following conference series:
Conference proceedings info: HS 1995.
Access this book
Tax calculation will be finalised at checkout
Other ways to access
About this book
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.
Keywords
Table of contents (48 papers)
-
Front Matter
Bibliographic Information
Book Title: Hybrid Systems III
Book Subtitle: Verification and Control
Editors: Rajeev Alur, Thomas A. Henzinger, Eduardo D. Sontag
Series Title: Lecture Notes in Computer Science
DOI: https://doi.org/10.1007/BFb0020931
Publisher: Springer Berlin, Heidelberg
-
eBook Packages: Springer Book Archive
Copyright Information: Springer-Verlag Berlin Heidelberg 1996
Softcover ISBN: 978-3-540-61155-4Published: 24 April 1996
eBook ISBN: 978-3-540-68334-6Published: 23 November 2005
Series ISSN: 0302-9743
Series E-ISSN: 1611-3349
Edition Number: 1
Number of Pages: IX, 619
Topics: Processor Architectures, Theory of Computation, Computer System Implementation, Special Purpose and Application-Based Systems, Software Engineering, Logics and Meanings of Programs