Synthesis of supervisory controllers for hybrid systems based on approximating automata

DOI10.1109/9.664159zbMath0905.93023OpenAlexW2163458574MaRDI QIDQ4393083

Toshihiko Niinomi, José E. R. Cury, Bruce H. Krogh

Publication date: 3 August 1998

Published in: IEEE Transactions on Automatic Control (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1109/9.664159

zbMATH Keywords

hybrid systemnonblockingouter approximationscontrolled threshold-event languagefinite-state Muller automatasynthesis of supervisory controllers

Mathematics Subject Classification ID

Formal languages and automata (68Q45) Hierarchical systems (93A13) Synthesis problems (93B50) Control/observation systems governed by functional relations other than differential equations (such as hybrid and switching systems) (93C30)

Related Items (6)

Control of quantized systems based on discrete event models ⋮ Supervisory control of hybrid systems within a behavioural framework ⋮ Supervisory control of hybrid systems based on model abstraction and guided search ⋮ Optimal control of discrete-time hybrid automata under safety and liveness constraints ⋮ Supervisory control of discrete event systems with flexible marking ⋮ Supervisory target control for hybrid systems

This page was built for publication: Synthesis of supervisory controllers for hybrid systems based on approximating automata