Characterization of all M-controllable subpredicates of a given predicate

DOI10.1080/002071798222190MaRDI QIDQ4259049zbMATH OpenOpenAlexFDO

Authors Shigemasa Takai, Shinzo Kodama

Publication date 22 August 1999

Published in International Journal of Control (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1080/002071798222190

zbMATH Keywords

\(M\)-controllability\(M\)-controllable subpredicatesdiscrete event systempartial observation

Mathematics Subject Classification ID

Synthesis problems (93B50) Discrete event control/observation systems (93C65)

Recommendations

• M -controllable subpredicates arising in state feed back control of discrete event systems
• Controllability of predicates and languages in discrete-event systems
• Predicates and predicate transformers for supervisory control of discrete event dynamical systems
• Controllability and control-invariance in discrete-event systems
• The infimal controllable and N-observable superpredicate of a given predicate

Cited in

(6)

• Symbolic supervisory control of infinite transition systems under partial observation using abstract interpretation
• M -controllable subpredicates arising in state feed back control of discrete event systems
• The infimal controllable and N-observable superpredicate of a given predicate
• Modular supervisory control with equivalence-based abstraction and covering-based conflict resolution
• Decentralized control of infinite systems
• Control of parameterized discrete event systems

This page was built for publication: Characterization of all M-controllable subpredicates of a given predicate

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