Hybrid systems III
Subtitle: verification and control
By: Rajeev Alur, Thomas A. Henziner, Eduardo D. Sontag, eds.
Contributors: Alur, Rajeev, 1966-; Henzinger, T. A.; Sontag, Eduardo D.; DIMACS/SYCON Workshop on Verification and Control of Hybrid Systems (1995 : Rutgers University)
Series: Lecture notes in computer science ;; 1066
Publisher: Springer
Published: 1996
Place of publication: Berlin; New York
Language: eng
Number of pages: 618
Subjects: Hybrid computers -- Congresses; Digital control systems -- Congresses
Other titles: Hybrid systems 3; Hybrid systems three
Notes: Includes bibliographical references and index.
"Proceedings of the DIMACS/SYCON Workshop on Verification and Control of Hybrid Systems, organized October 22-25, 1995 at Rutgers University, New Brunswick, New Jersey"--Pref.