Hybrid Systems: Computation and Control
Subtitle: 10th International Workshop, HSCC 2007, Pisa, Italy, April 3-5, 2007, Proceedings (Lecture Notes in Computer Science)
Contributors: Giorgio Buttazzo (Editor); Alberto Bemporad (Editor); Antonio Bicchi (Editor)
Edition: 1 edition
Publisher: Springer
Published: April 19, 2007
Language: eng
Format: Paperback
Number of pages: 797
ISBN-13: 9783540714927
Subjects: Computer architecture & logic design; Programming languages; Systems analysis & design; Computers; Computers - Languages / Programming; Computer Books: Languages; Computer Architecture - General; Programming - Software Development; Programming - Systems Analysis & Design; Computers / Programming / Systems Analysis & Design; biological systems; cooperative control; dynamical systems; embedded systems; formal verification; hybrid automata; hybrid control systems; Congresses; Digital control systems; Hybrid computers