Hybrid Systems: Computation and Control
Subtitle: 8th International Workshop, HSCC 2005, Zurich, Switzerland, March 9-11, 2005, Proceedings (Lecture Notes in Computer Science)
Contributors: Manfred Morari (Editor); Lothar Thiele (Editor); Francesca Rossi (Editor)
Edition: 1 edition
Publisher: Springer
Published: April 19, 2005
Language: eng
Format: Paperback
Number of pages: 684
ISBN-13: 9783540251088
Subjects: General Theory of Computing; Congresses; Computer Books: General; Computers; Computers - Languages / Programming; Programming - Systems Analysis & Design; Hybrid computers; Computer Architecture - General; Programming - Software Development; Computers / Programming / Systems Analysis & Design; dependable systems; dynamical systems; embedded systems; formal verification; hybrid automata; hybrid control systems; hybrid systems; reactive systems; real-time systems; Digital control systems
First sentence: The remarkable drop in the cost of embedded computing as well as sensing and actuation hardware is creating an explosion in applications for embedded software.