Hybrid Systems: Computation and Control
Subtitle: 9th International Workshop, HSCC 2006, Santa Barbara, CA, USA, March 29-31, 2006, Proceedings (Lecture Notes in Computer Science)
Contributors: Joao Hespanha (Editor); Ashish Tiwari (Editor)
Edition: 1 edition
Publisher: Springer
Published: April 28, 2006
Language: eng
Format: Paperback
Number of pages: 584
ISBN-13: 9783540331704
Subjects: General Theory of Computing; Programming - Systems Analysis & Design; Computers; Computers - Languages / Programming; Computer Books: General; Computer Architecture - General; Programming - Software Development; Computers / Programming / Systems Analysis & Design; dependable systems; dynamical systems; embedded systems; formal verification; hybrid control systems; hybrid systems; real-time systems; stochastic hybrid systems; systems analysis; systems modeling; systems verification