A necessary and sufficient condition for the existence of finite state supervisors in discrete-event systems

DOI10.1109/9.186325zbMath0773.93005OpenAlexW2121258068MaRDI QIDQ5288574

Toshimitsu Ushio

Publication date: 15 August 1993

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

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

zbMATH Keywords

finite state supervisorregular controllable language

Mathematics Subject Classification ID

General systems (93A10)

Related Items (2)

Flexible regenerative supervision of sequential behaviour. ⋮ Supervisory control of discrete event systems with flexible marking

This page was built for publication: A necessary and sufficient condition for the existence of finite state supervisors in discrete-event systems