Hybrid Systems: Computation and Control
Subtitle: First International Workshop, HSCC'98, Berkeley, California, USA, April 13 - 15, 1998, Proceedings (Lecture Notes in Computer Science)
Contributors: Thomas A. Henzinger (Editor); Shankar Sastry (Editor)
Edition: 1 edition
Publisher: Springer
Published: May 4, 1998
Language: eng
Format: Paperback
Number of pages: 417
ISBN-13: 9783540643586
Subjects: Computer architecture & logic design; Systems analysis & design; Hybrid computers; Hybrid Computer Design; Technology; Technology & Industrial Arts; Science/Mathematics; Programming - Systems Analysis & Design; Automation; Computer Architecture - General; Computers / Computer Architecture; Formal Systems Verification; Hybrid Control; Hybrid Systems; Network Control; Safety-Critical Systems; Engineering - General; Congresses
First sentence: Timed automata ([AD94]) form the best investigated class of hybrid systems.