On the existence of finite state supervisors for arbitrary supervisory control problems

DOI10.1109/9.286270MaRDI QIDQ4309243zbMATH OpenOpenAlexFDO

Authors R. Sreenivas

Publication date 12 March 1995

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

Full work available at URL https://semanticscholar.org/paper/5f64e8b2b27801039f1f1ee95627ba526e68a821

zbMATH Keywords

regularitycontrollabilityfinite-state supervisorprefix closed languages

Mathematics Subject Classification ID

Controllability (93B05) General systems (93A10) Hierarchical systems (93A13)

Recommendations

• A necessary and sufficient condition for the existence of finite state supervisors in discrete-event systems
• On the existence of finite-state supervisors under partial observations
• Supervision of Infinite Behavior of Discrete-Event Systems
• scientific article; zbMATH DE number 4215376
• The infimal closed controllable superlanguage and its application in supervisory control

Cited in

(3)

• Synthesis of least restrictive controllable supervisors for extended finite-state machines with variable abstraction
• State-based supervisory control with restrictions on the supervisor realization
• The infimal closed controllable superlanguage and its application in supervisory control

This page was built for publication: On the existence of finite state supervisors for arbitrary supervisory control problems

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