Maximally permissive coordinated distributed supervisory control of nondeterministic discrete-event systems
From MaRDI portal
(Redirected from Publication:445939)
Recommendations
- Synthesis of maximally permissive supervisors for similarity control of partially observed nondeterministic discrete event systems
- Supervisory control synthesis of discrete-event systems using a coordination scheme
- Coordination control of discrete-event systems revisited
- Coordination control of distributed discrete-event systems
- scientific article; zbMATH DE number 1086786
Cites work
- scientific article; zbMATH DE number 1836359 (Why is no real title available?)
- Aggregative Synthesis of Distributed Supervisors Based on Automaton Abstraction
- An implementation of an efficient algorithm for bisimulation equivalence
- Compositional synthesis of maximally permissive supervisors using supervision equivalence
- Decentralized supervisory control of discrete-event systems
- Hierarchical control of discrete-event systems
- Hierarchical interface-based supervisory control-part II: parallel case
- Maximally Permissive Hierarchical Control of Decentralized Discrete Event Systems
- Model Abstraction of Nondeterministic Finite-State Automata in Supervisor Synthesis
- Modular supervisory control with equivalence-based abstraction and covering-based conflict resolution
- Nonblocking Hierarchical Control of Decentralized Discrete Event Systems
- Nonblocking Supervisory Control of State Tree Structures
- Nonconflict check by using sequential automaton abstractions based on weak observation equivalence
- Structural decentralised control of concurrent discrete-event systems
- Supervisory Control Architecture for Discrete-Event Systems
- Supervisory Control of a Class of Discrete Event Processes
- Supervisory control of concurrent discrete-event systems
- Supervisory control of modular systems with global specification languages
- Undecidable problems of decentralized observation and control on regular languages
Cited in
(20)- Synthesis of maximally permissive supervisors for similarity control of partially observed nondeterministic discrete event systems
- Maximally permissive mutually and globally nonblocking supervision with application to switching control
- New results on supervisor localization, with case studies
- Synthesis of minimally restrictive optimal stability-enforcing supervisors for nondeterministic discrete event systems
- Modular supervisory control for multi-floor manufacturing processes
- Abstraction-based verification and synthesis for prognosis of discrete event systems
- What information really matters in supervisor reduction?
- On decidability of existence of nonblocking supervisors resilient to smart sensor attacks
- Compositional coordinator synthesis of extended finite automata
- Coordination control of discrete-event systems revisited
- Supervisory control synthesis of discrete-event systems using a coordination scheme
- Synthesis of Maximally-Permissive Supervisors for the Range Control Problem
- Compositional synthesis of maximally permissive supervisors using supervision equivalence
- Maximally permissive controlled system synthesis for modal logic
- Supervisor synthesis to thwart cyber attack with bounded sensor reading alterations
- Control protocol synthesis for multi-agent systems with similar actions instantiated from agent and requirement templates
- Bisimilarity enforcing supervisory control of nondeterministic discrete event systems with nondeterministic specifications
- Maximally permissive controlled system synthesis for non-determinism and modal logic
- An efficient simulation procedure for the expected opportunity cost using metamodels
- Supervisor localisation for large-scale discrete-event systems under partial observation
This page was built for publication: Maximally permissive coordinated distributed supervisory control of nondeterministic discrete-event systems
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q445939)
