Hybrid Systems: Computation and Control (vol. # 3414)
Publication year: 2005
ISBN: 978-3-540-31954-2
Internet Resource: Please Login to download book
This volume contains the proceedings of the 8th Workshop on Hybrid S- tems: Computation and Control(HSCC2005)heldinZurich, Switzerlandduring March 9-11, 2005. The annual workshop on hybrid systems attracts researchers from academia and industry interested in modeling, analysis, and implemen- tion of dynamic and reactive systems involving both discrete and continuous - haviors. This year's HSCC was technically co-sponsored by the IEEE Control Systems Society. The program consisted of 3 invited talks and 40 regular papers selected from 91 regular submissions. The program covered topics such as tools for analysis and veri?cation, control and optimization, modeling, engineering applications, and emerging directions in programming language support and implementation. We would like to thank the Program Committee members and reviewers for anexcellentjobofevaluatingthesubmissionsandparticipatingintheonlineP- gram Committee discussions.
Subject: Computer Science, Augmented Reality, algorithms, automata, dependable systems, dynamical systems, embedded systems, formal verification, hybrid control systems, hybrid systems, modeling, optimization, programming language, stochastic hybrid systems, systems analysis, verification
