Opening book details…
Can I read Hybrid Systems III: Verification and Control (Lecture Notes in Computer Science) on EtoBox?
Hybrid Systems III: Verification and Control (Lecture Notes in Computer Science) by Rajeev Alur; Thomas A Henzinger; Eduardo D Sontag; Workshop on Verification and Control of Hybrid Systems; International Conference on Hybrid Systems is a nonfiction available to read on EtoBox.
What is Hybrid Systems III: Verification and Control (Lecture Notes in Computer Science) about?
<p><P>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.<br>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.</p>
Who reads Hybrid Systems III: Verification and Control (Lecture Notes in Computer Science)?
It is typically read by self-directed learners exploring a subject in depth.
Common subject areas: history, science, philosophy, social sciences.
- Author
- Rajeev Alur; Thomas A Henzinger; Eduardo D Sontag; Workshop on Verification and Control of Hybrid Systems; International Conference on Hybrid Systems
- Publisher
- Springer-Verlag New York, LLC
- Published
- 1996
- Language
- EN
- ISBN
- 9783540611554
- Category
- nonfiction
- Subjects
- Engineering, Mathematics, Computer Science
More by Rajeev Alur; Thomas A Henzinger; Eduardo D Sontag; Workshop on Verification and Control of Hybrid Systems; International Conference on Hybrid Systems
Similar books
- Hybrid Systems (Lecture Notes in Computer Science (736)) — R.Ł. Grossman, A. Nerode, A. Ravn, H. Rischel (auth.), Robert L. Grossman, Anil Nerode, Anders P. Ravn, Hans (1993)
- Hybrid Systems II (Lecture Notes in Computer Science, 999) — Eugene Asarin, Oded Maler, Amir Pnueli (auth.), Panos Antsaklis, Wolf Kohn, Anil Nerode, Shankar Sastry (1995)
- Hybrid Systems: Computation and Control: First International Workshop, HSCC'98, Berkeley, California, USA, April 13 - 15, 1998, Proceedings (Lecture Notes in Computer Science (1386)) — Eugene Asarin (auth.), Thomas A. Henzinger, Shankar Sastry (1998)
- Hybrid and Real-Time Systems: International Workshop, HART'97, Grenoble, France, March 26-28, 1997, Proceedings (Lecture Notes in Computer Science, 1201) — Amir Pnueli (auth.), Oded Maler (1997)
- Verification of Digital and Hybrid Systems — Kenneth McMillan (auth.), M. Kemal Inan, Robert P. Kurshan (2000)
- Hybrid Neural Systems (Lecture Notes in Computer Science, 1778) — Stefan Wermter, Ron Sun (auth.), (2000)