Hybrid Systems III
Subtitle: Verification and Control (Lecture Notes in Computer Science)
Contributors: Rajeev Alur (Editor); Thomas A. Henzinger (Editor); Eduardo D. Sontag (Editor)
Edition: 1 edition
Publisher: Springer
Published: April 30, 1996
Language: eng
Format: Paperback
Number of pages: 618
ISBN-13: 9783540611554
Subjects: Computer architecture & logic design; Systems analysis & design; Programming - Systems Analysis & Design; Computer Systems; Technology & Industrial Arts; Computers; Hybrid computers; Computer Books: General; Science/Mathematics; Digital control systems; Automation; Computer Architecture - General; Computers / Computer Architecture; Digital Control Technology; Digitale Steuerungstechnologie; Formal Methods; Formale Methoden; Hybrid Systems; Hybride Systeme; Systems Control; Systems Verification; Computer Science; Congresses
First sentence: The Need for Hybrid Control. The demand for increased levels of automation and system integration have forced control engineers to deal with increasingly large and complicated systems.