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

DOI10.1016/J.AUTOMATICA.2023.110940MaRDI QIDQ6103006zbMATH OpenFDO

Authors Shigemasa Takai

Publication date 26 June 2023

Published in Automatica (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1016/J.AUTOMATICA.2023.110940

zbMATH Keywords

bisimilarity control problemdeterministic specificationnondeterministic discrete event systempartial observation

Mathematics Subject Classification ID

Computational difficulty of problems (lower bounds, completeness, difficulty of approximation, etc.) (68Q17) Discrete event control/observation systems (93C65)

Recommendations

• Bisimilarity control of partially observed nondeterministic discrete event systems and a test algorithm
• Bisimilarity enforcing supervisory control for deterministic specifications
• Existence and verification for decentralized nondeterministic discrete-event systems under bisimulation equivalence
• Realization of bisimilarity control of nondeterministic discrete event systems
• Synthesis of maximally permissive supervisors for similarity control of partially observed nondeterministic discrete event systems

Cites work

• A calculus of communicating systems
• Bisimilarity Control of Partially Observed Deterministic Systems
• Bisimilarity Enforcement for Discrete Event Systems Using Deterministic Control
• Bisimilarity enforcing supervisory control for deterministic specifications
• Control of Nondeterministic Discrete-Event Systems for Bisimulation Equivalence
• Control of Nondeterministic Systems for Bisimulation Equivalence Under Partial Information
• Introduction to Discrete Event Systems
• On observability of discrete-event systems
• Supervisory Control of a Class of Discrete Event Processes
• Supervisory control of discrete-event processes with partial observations

Cited in

(9)

• Existence and verification for decentralized nondeterministic discrete-event systems under bisimulation equivalence
• Realization of bisimilarity control of nondeterministic discrete event systems
• Bisimilarity enforcing supervisory control for deterministic specifications
• Comment on ``bisimilarity control of partially observed nondeterministic discrete event systems and a test algorithm [automatica 47 (2011) 782-788]
• Reply to ``comments on 'bisimilarity control of partially observed nondeterministic discrete event systems and a test algorithm' [automatica 43 (2007), 1363-1368]
• The Complexity of Bounded Synthesis for Timed Control with Partial Observability
• Control of Nondeterministic Discrete-Event Systems for Bisimulation Equivalence
• Bisimilarity control of partially observed nondeterministic discrete event systems and a test algorithm
• Bisimilarity enforcing supervisory control of nondeterministic discrete event systems with nondeterministic specifications

This page was built for publication: Polynomial-time verification for bisimilarity control of partially observed nondeterministic discrete event systems with deterministic specifications

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