Synthesis of supervisory controllers for hybrid systems based on approximating automata

DOI10.1109/9.664159MaRDI QIDQ4393083zbMATH OpenOpenAlexFDO

Authors José E. R. Cury, Toshihiko Niinomi, 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

controlled threshold-event languagefinite-state Muller automatahybrid systemnonblockingouter approximationssynthesis 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)

Recommendations

• scientific article; zbMATH DE number 1794373
• Supervisory control of hybrid systems within a behavioural framework
• Discrete supervisory control of hybrid systems based on \(l\)-complete approximations
• Discrete approximation and supervisory control of continuous systems
• Supervisory target control for hybrid systems

Cited in

(19)

• Modelling and supervisory control of hybrid dynamical systems via fuzzy \(l\)-complete approximation approach
• Supervisory control of hybrid systems within a behavioural framework
• Modeling for supervisor synthesis -- a lock-bridge combination case study
• Refinements of behavioural abstractions for the supervisory control of hybrid systems
• 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 control of (max,+) automata: extensions towards applications
• Supervisory control of discrete-event systems with output: Application to hybrid systems
• scientific article; zbMATH DE number 1301626 (Why is no real title available?)
• scientific article; zbMATH DE number 1064351 (Why is no real title available?)
• Supervisory target control for hybrid systems
• scientific article; zbMATH DE number 1794373 (Why is no real title available?)
• scientific article; zbMATH DE number 2085322 (Why is no real title available?)
• Control of quantized systems based on discrete event models
• Controller synthesis for hybrid systems with a lower bound on event separation
• scientific article; zbMATH DE number 1429791 (Why is no real title available?)
• Synthesis of controllers for target problems of hybrid systems using approximate computation
• Discrete supervisory control of hybrid systems based on \(l\)-complete approximations

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

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