Discrete supervisory control of hybrid systems based on \(l\)-complete approximations
From MaRDI portal
Publication:5959843
DOI10.1023/A:1013339920783zbMath1002.93016MaRDI QIDQ5959843
S. D. O'Young, Thomas Moor, Jörg Raisch
Publication date: 11 April 2002
Published in: Discrete Event Dynamic Systems (Search for Journal in Brave)
Hierarchical systems (93A13) Synthesis problems (93B50) Algebraic methods (93B25) Control/observation systems governed by functional relations other than differential equations (such as hybrid and switching systems) (93C30)
Related Items
Safe and Optimal Adaptive Cruise Control ⋮ Rigorous Discretization of Hybrid Systems Using Process Calculi ⋮ Symbolic models for time-varying time-delay systems via alternating approximate bisimulation ⋮ Symbolic models for control systems ⋮ Modelling and supervisory control of hybrid dynamical systems via fuzzy \(l\)-complete approximation approach ⋮ BOCoSy: Small but Powerful Symbolic Output-Feedback Control ⋮ Refinements of behavioural abstractions for the supervisory control of hybrid systems ⋮ Lazy Synthesis of Symbolic Output-Feedback Controllers for State-Based Safety Specifications ⋮ Discrete Dynamics of Two-Dimensional Nonlinear Hybrid Automata ⋮ Asynchronous \(l\)-complete approximations ⋮ Symbolic models for nonlinear control systems affected by disturbances ⋮ Supervisory control of hybrid systems based on model abstraction and guided search ⋮ Proving Safety of Traffic Manoeuvres on Country Roads