scientific article; zbMATH DE number 2085322

MaRDI QIDQ4736581zbMATH OpenFDO

Authors J. M. Davoren, Thomas Moor, Anil Nerode

Publication date 9 August 2004

Full work available at URL http://link.springer.de/link/service/series/0558/bibs/2289/22890149.htm

zbMATH Keywords

closed feedback loopcontrol automatonhybrid systemssupervisory control

Mathematics Subject Classification ID

Feedback control (93B52) Control/observation systems governed by functional relations other than differential equations (such as hybrid and switching systems) (93C30)

Recommendations

• Discrete approximation and supervisory control of continuous systems
• Synthesis of supervisory controllers for hybrid systems based on approximating automata
• Refinements of behavioural abstractions for the supervisory control of hybrid systems
• Controllers for reachability specifications for hybrid systems
• Control design for integrator hybrid systems

Cited in

(3)

• Rigorous discretization of hybrid systems using process calculi
• From control law diagrams to Ada via \textsf{Circus}
• Symbolic models for control systems

This page was built for publication:

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4736581)