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

DOI10.1109/9.286270zbMATH Open0807.93004OpenAlexW2027852062MaRDI QIDQ4309243FDOQ4309243

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

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

zbMATH Keywords

regularitycontrollabilityfinite-state supervisorprefix closed languages

Mathematics Subject Classification ID

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

Cited In (3)

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

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)