Hybrid Systems: Computation and Control: Third International Workshop, HSCC 2000 Pittsburgh, PA, USA, March 23 - 25, 2000 Proceedings: 1790 (Lecture Notes in Computer Science, 1790) - Softcover

Softcover

ISBN 10: 3540672591 ISBN 13: 9783540672593

Publisher: Springer, 2000

Synopsis

This volume contains the proceedings of the Third International Workshop on Hybrid Systems: Computation and Control (HSCC 2000), which was held on March 23-25, 2000, in Pittsburgh, Pennsylvania. The proceedings of the rst two workshops in this series were published by Springer-Verlag, in the Lecture Notes in Computer Science series, as volumes 1386 and 1569. The focus of the Hybrid Systems workshop series is on modeling, control, synthesis, design, and veri cation of hybrid systems. A hybrid system is a th- reticalmodelforacomputercontrolledengineeringsystem,withadynamicsthat evolvesbothinadiscretestatesetandinafamilyofcontinuousstatespaces.- brid systems researchis motivated by, for example, controlof electro-mechanical systems(robots),air tra ccontrol,controlofautomatedfreeways,andchemical process control. The research area of hybrid systems overlaps both with c- puter science and with control theory. The workshop series is intended to foster the interaction between researchers from these elds in addressing problems in this new domain. The scientic program of the workshop consisted of four invited talks and 32 contributed talks. The following researcherspresented invited talks: K. Butts (Ford Research, USA), N. Leveson (MIT, USA), A. Sangiovanni-Vincentelli (U. California,Berkeley,USA), and B. Williams (MIT, USA). The contributed talks were based on the papers in these proceedings. The program committee, chaired by the editors, selected the 32 contributed papers out of 71 submitted papers. The editors are grateful to the members of theprogramcommitteefortheir generoushelpinthereviewingandtheselection process.

About this title

Product Description

Hybrid Systems, Computation and Control This title constitutes 32 revised papers presented together with abstracts of four invited talks on computation and control. The focus of the works presented is on modelling, control, synthesis, design and verification of hybrid systems.

Synopsis

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.

Edition details

• Publisher: Springer
• Publication date: 2000
• Language: English
• ISBN 10: 3540672591
• ISBN 13: 9783540672593
• Binding: Paperback
• Number of pages: 477
• Editor: Lynch Nancy, Krogh Bruce