Обложка книги Hybrid Systems: Computation and Control : 5th International Workshop, Hscc 2002 Stanford, Ca, Usa, March 25-27, 2002 : Proceedings (Lecture Notes in Computer Science, 2289)

Hybrid Systems: Computation and Control : 5th International Workshop, Hscc 2002 Stanford, Ca, Usa, March 25-27, 2002 : Proceedings (Lecture Notes in Computer Science, 2289)

,

ISBN: 354043321X;
Издательство: Springer-Verlag

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.