Bisimilarity enforcing supervisory control for deterministic specifications

DOI10.1016/J.AUTOMATICA.2013.09.025zbMATH Open1298.93015arXiv1203.1745OpenAlexW2101094514MaRDI QIDQ463845FDOQ463845

Authors: Hai Lin, Yajuan Sun, Ben M. Chen 

Publication date: 17 October 2014

Published in: Automatica (Search for Journal in Brave)

Abstract: This paper investigates the supervisory control of nondeterministic discrete event systems to enforce bisimilarity with respect to deterministic specifications. A notion of synchronous simulation-based controllability is introduced as a necessary and sufficient condition for the existence of a bisimilarity enforcing supervisor, and a polynomial algorithm is developed to verify such a condition. When the existence condition holds, a supervisor achieving bisimulation equivalence is constructed. Furthermore, when the existence condition does not hold, two different methods are provided for synthesizing maximal permissive sub-specifications.

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

Recommendations

• Realization of bisimilarity control of nondeterministic discrete event systems
• Polynomial-time verification for bisimilarity control of partially observed nondeterministic discrete event systems with deterministic specifications
• Bisimilarity control of partially observed nondeterministic discrete event systems and a test algorithm
• Comment on ``bisimilarity control of partially observed nondeterministic discrete event systems and a test algorithm [automatica 47 (2011) 782-788]
• Existence and verification for decentralized nondeterministic discrete-event systems under bisimulation equivalence

zbMATH Keywords

discrete event systemsbisimulationsupervisory control

Mathematics Subject Classification ID

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

Cites Work

• Title not available (Why is that?)
• Title not available (Why is that?)
• Introduction to Discrete Event Systems
• Linear Time Logic Control of Discrete-Time Linear Systems
• Control of Nondeterministic Discrete-Event Systems for Bisimulation Equivalence
• Bisimilarity Enforcement for Discrete Event Systems Using Deterministic Control
• Controller synthesis for bisimulation equivalence
• Guaranteed global performance through local coordinations

Cited In (5)

• Polynomial-time verification for bisimilarity control of partially observed nondeterministic discrete event systems with deterministic specifications
• Existence and verification for decentralized nondeterministic discrete-event systems under bisimulation equivalence
• Realization of bisimilarity control of nondeterministic discrete event systems
• Comment on ``bisimilarity control of partially observed nondeterministic discrete event systems and a test algorithm [automatica 47 (2011) 782-788]
• Bisimilarity enforcing supervisory control of nondeterministic discrete event systems with nondeterministic specifications

Uses Software

• UMDES

This page was built for publication: Bisimilarity enforcing supervisory control for deterministic specifications

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