Bisimilarity enforcing supervisory control of nondeterministic discrete event systems with nondeterministic specifications

DOI10.1016/J.AUTOMATICA.2019.06.022OpenAlexW2962450199WikidataQ127518153 ScholiaQ127518153MaRDI QIDQ6198141

Shigemasa Takai

Publication date: 20 February 2024

Published in: Automatica (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/j.automatica.2019.06.022

zbMATH Keywords

supervisory controlsupervisor synthesisbisimulation equivalencenondeterministic discrete event system

Mathematics Subject Classification ID

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

Related Items (1)

A survey on compositional algorithms for verification and synthesis in supervisory control

Cites Work

• Unnamed Item
• Maximally permissive coordinated distributed supervisory control of nondeterministic discrete-event systems
• Bisimilarity enforcing supervisory control for deterministic specifications
• Maximally permissive controlled system synthesis for non-determinism and modal logic
• A calculus of communicating systems
• Games for synthesis of controllers with partial observation.
• Employing behavioral preorders to define controllability for nondeterministic discrete-event systems
• A lattice-theoretical fixpoint theorem and its applications
• Introduction to Discrete Event Systems
• Supervisory Control of Discrete Event Systems with CTL* Temporal Logic Specifications
• Verification and Control of Hybrid Systems
• Supervisory Control of a Class of Discrete Event Processes
• Supervisory control using failure semantics and partial specifications
• Discrete-event control of nondeterministic systems
• Supervisory Control of Nondeterministic Systems with Driven Events via Prioritized Synchronization and Trajectory Models
• Nonblocking supervisory control of nondeterministic systems via prioritized synchronization
• Model Abstraction of Nondeterministic Finite-State Automata in Supervisor Synthesis
• Supervisory control of nondeterministic discrete-event systems with driven events via masked prioritized synchronization
• Control of Nondeterministic Discrete-Event Systems for Bisimulation Equivalence
• Bisimilarity Enforcement for Discrete Event Systems Using Deterministic Control

This page was built for publication: Bisimilarity enforcing supervisory control of nondeterministic discrete event systems with nondeterministic specifications