Hybrid Systems: Computation and Control : 11th International Workshop, HSCC 2008, St. Louis, MO, USA, April 22-24, 2008. Proceedings
Publication year: 2008
ISBN: 978-3-540-78929-1
Internet Resource: Please Login to download book
This volume contains the proceedings ofthe 11th Workshop on Hybrid Systems: Computation and Control (HSCC 2008) held in St. Louis, Missouriduring April 22–24,2008.The annual workshop on hybrid systems focuses on research inbedded ,reactive systems in volving theinterplay between symbolic/switchingand continuous dynamical behaviors. HSCC attracts academic as well as industrial researchers to exchange information on the latest developments of applications and theoretical advancements in the design, analysis, control, optimization, and implementation of hybrid systems, with particular attention to embedded and networked control systems. We would like to thank the Program Committee members and the reviewers for an excellent job of evaluating the submissions and participating in the online Program Committee discussions.
Subject: Computer Science, algorithms, automata, biological systems, calculus, cooperative control, dynamical systems, hybrid systems, logic, model checking, modeling, multi-agents systems, optimization, parametric verification, reactive systems, verification, Theory of Computation, Special Purpose and Application, Based Systems, Processor Architectures, Logics and Meanings of Programs, Software Engineering, Computation by Abstract Devices
