Synthesis of maximally permissive and robust supervisors for prefix-closed language specifications

DOI10.1109/9.981732zbMath1364.93485OpenAlexW2130442838MaRDI QIDQ5267289

Shigemasa Takai

Publication date: 20 June 2017

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

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

Mathematics Subject Classification ID

Control/observation systems involving computers (process control, etc.) (93C83) Discrete event control/observation systems (93C65)

Related Items

Efficient robust supervisors for discrete event systems ⋮ Robust nonblocking supervisory control of discrete-event systems under partial observation ⋮ Maximizing robustness of supervisors for partially observed discrete event systems.