Hybrid Systems: Computation and Control: 8th International Workshop, HSCC 2005, Zurich, Switzerland, March 9-11, 2005, Proceedings
Manfred Morari, Lothar Thiele, Francesca Rossi
Springer, Apr 19, 2005 - Hybrid computers - 684 pages
This book constitutes the refereed proceedings of the 8th International Workshop on Hybrid Systems: Computation and Control, HSCC 2005, held in Zurich, Switzerland in March 2005. The 40 revised full papers presented together with 2 invited papers and the abstract of an invited talk were carefully reviewed and selected from 91 submissions. The papers focus on modeling, analysis, and implementation of dynamic and reactive systems involving both discrete and continuous behaviors. Among the topics addressed are tools for analysis and verification, control and optimization, modeling, engineering applications, and emerging directions in programming language support and implementation.
What people are saying - Write a review
We haven't found any reviews in the usual places.
Operational Semantics of Hybrid Systems
SOS Methods for Semialgebraic Games and Optimization
38 other sections not shown
Other editions - View all
abstraction algebraic algorithm analysis application approach approximation ARX systems automaton behavior bisimulation bounded clock colimit Computation and Control consider constraints continuous dynamics control law control problem corresponding CPDPs defined definition denote deterministic discrete domain dynamical systems equations equivalent example exists feedback Figure finite finite state machine formal fragments given H-space HSCC hybrid automata hybrid systems HyVisual IEEE implementation inequality initial input interchange format interval invariant Lemma linear systems LNCS Lyapunov function Markov processes matrix method mode model checking Model Predictive Control Modelica Morari morphisms observability optimal control output over-approximation paper parameters piecewise polyhedra polynomial Proc procedure programming properties reachable set reset satisfies Scade semantics sensor signals simulation solution space Springer Springer-Verlag stability stochastic hybrid systems switching sequence Theorem topological space trajectory transition system variables vector verification zonotope