Book: Hybrid Systems: Computation And Control This book constitutes the refereed proceedings of the Third International Workshop on Hybrid Systems: Computation and Control, HSCC 2000, held in Pittsburgh, PA, USA in March 2000. The 32 revised full papers presented together with abstracts of four invited talks were carefully reviewed and selected from a total of 71 papers submitted. The focus of the works presented is on modeling, control, synthesis, design and verification of hybrid systems. Among the application areas covered are control of electromechanical systems, air traffic control, control of automated freeways, and chemical process control.
Details of Book: Hybrid Systems: Computation And Control Book: Hybrid Systems: Computation And Control
Author: N. Lynch, B. Krogh, Bruce Krogh
ISBN: 3540672591
ISBN-13: 9783540672593
, 978-3540672593
Binding: Paperback
Publishing Date: 13032000
Publisher: Springer Berlin Heidelberg
Number of Pages: 465
Language: English