Hybrid Systems : Computation and ControlSpringer, 2003 - Hybrid computers |
Contents
Abstracts of Invited Presentations | 1 |
Reachability Analysis of Nonlinear Systems Using | 20 |
Mode Reconstruction for Source Coding and Multimodal Control | 36 |
Copyright | |
32 other sections not shown
Other editions - View all
Common terms and phrases
abstraction actuator algorithm analysis applied approximation automata behavior bisimulation bound cell closed-loop clusters Computation and Control Computer Science configuration consider constraints continuous dynamics control law control system convex convex hull corresponding datapoints defined Definition denote differential equations discrete transitions domain dynamical systems eigenvalues estimation event example feedback finite given Henzinger Hoare logic Hodgkin-Huxley model HSCC hybrid automaton hybrid systems hyperplane IEEE inequalities initial input interval invariant Lemma linear systems LNCS Lyapunov function Maler matrix method mode Mury networks nonlinear observability optimal control optimal control problems output paper parameter particle filter partition piecewise affine Pnueli Eds polyhedral polynomials predicates Proc properties qualitative quantized reachable set region robot sample satisfies sequence signal simulation solution space Springer-Verlag stability state-space step submodels subsystem t₁ techniques Theorem tion trajectory variables vector verification