Bisimilarity enforcing supervisory control for deterministic specifications

DOI10.1016/j.automatica.2013.09.025zbMath1298.93015arXiv1203.1745OpenAlexW2101094514MaRDI QIDQ463845

Hai Lin, Chen, Ben M., Ya-Juan Sun

Publication date: 17 October 2014

Published in: Automatica (Search for Journal in Brave)

Full work available at URL: https://arxiv.org/abs/1203.1745

zbMATH Keywords

supervisory controlbisimulationdiscrete event systems

Mathematics Subject Classification ID

Hierarchical systems (93A13) Discrete event control/observation systems (93C65)

Related Items

Polynomial-time verification for bisimilarity control of partially observed nondeterministic discrete event systems with deterministic specifications, Bisimilarity enforcing supervisory control of nondeterministic discrete event systems with nondeterministic specifications

Uses Software

• UMDES

Cites Work

• Unnamed Item
• Unnamed Item
• Guaranteed global performance through local coordinations
• Controller synthesis for bisimulation equivalence
• Introduction to Discrete Event Systems
• Control of Nondeterministic Discrete-Event Systems for Bisimulation Equivalence
• Linear Time Logic Control of Discrete-Time Linear Systems
• Bisimilarity Enforcement for Discrete Event Systems Using Deterministic Control