Supervisory control of hybrid systems within a behavioural framework

DOI10.1016/S0167-6911(99)00061-4zbMath0948.93037MaRDI QIDQ1978485

Thomas Moor, Jörg Raisch

Publication date: 4 June 2000

Published in: Systems \& Control Letters (Search for Journal in Brave)

zbMATH Keywords

supervisory controlhybrid systemsbehavioural approachcomplete approximations

Mathematics Subject Classification ID

Discrete event control/observation systems (93C65) Algebraic methods (93B25)

Related Items

Application of the Projected Dynamics to Hybrid Systems and to the Sliding Mode Control Processes, Consistent approximations of the Zeno behaviour in affine-type switched dynamic systems, Computing the average inter-sample time of event-triggered control using quantitative automata, Modelling and supervisory control of hybrid dynamical systems via fuzzy \(l\)-complete approximation approach, Computing the sampling performance of event-triggered control, Refinements of behavioural abstractions for the supervisory control of hybrid systems, A proximal point based approach to optimal control of affine switched systems, On controllability of discrete event systems in a behavioral framework, Controller synthesis for safety and reachability via approximate bisimulation, Asynchronous \(l\)-complete approximations, Low-complexity quantized switching controllers using approximate bisimulation, Optimal control of discrete-time hybrid automata under safety and liveness constraints, Computation of Discrete Abstractions of Arbitrary Memory Span for Nonlinear Sampled Systems, Supervisory control synthesis for deterministic context free specification languages. Enforcing controllability least restrictively

Cites Work

• Hybrid systems
• Hybrid systems II. 2nd workshop, Mathematical Sciences Institute (MSI), Cornell University, Ithaka, NY, USA, October 28--30, 1994. Proceedings.
• Supervisory Control of a Class of Discrete Event Processes
• Paradigms and puzzles in the theory of dynamical systems
• Synthesis of supervisory controllers for hybrid systems based on approximating automata
• Discrete approximation and supervisory control of continuous systems
• Stabilization of nonlinear systems by qualitative feedback controllers
• Unnamed Item
• Unnamed Item
• Unnamed Item