Supervisory control of state-tree structures with partial observation
From MaRDI portal
Recommendations
Cites work
- A Learning-Based Synthesis Approach to the Supremal Nonblocking Supervisor of Discrete-Event Systems
- A Uniform Approach for Synthesizing Property-Enforcing Supervisors for Partially-Observed Discrete-Event Systems
- Control of discrete-event systems with partial observations using coalgebra and coinduction
- Coordination control of discrete-event systems revisited
- Deadlock recovery for flexible manufacturing systems modeled with Petri nets
- Decentralized control and coordination of discrete-event systems with partial observation
- Distributed supervisory control of discrete-event systems with communication delay
- Effective computation of an \(L_{m}(G)\)-closed, controllable, and observable sublanguage arising in supervisory control
- Exploiting symmetry of state tree structures for discrete-event systems with parallel components
- Formulas for calculating supremal controllable and normal sublanguages
- Games for synthesis of controllers with partial observation.
- Multi-level hierarchical interface-based supervisory control
- Nonblocking Supervisory Control of Discrete Event Systems Modeled by Mealy Automata With Nondeterministic Output Functions
- Nonblocking Supervisory Control of State Tree Structures
- Nonblocking supervisory control of state tree structures.
- On computation of supremal controllable, normal sublanguages
- On observability of discrete-event systems
- On supremal languages of classes of sublanguages that arise in supervisor synthesis problems with partial observation
- Petri net-based approach to short-term scheduling of crude oil operations with less tank requirement
- Predicates and predicate transformers for supervisory control of discrete event dynamical systems
- Priority-free conditionally-preemptive scheduling of modular sporadic real-time systems
- Relative Observability of Discrete-Event Systems and Its Supremal Sublanguages
- Statecharts: a visual formalism for complex systems
- Static-state feedback control of discrete-event systems under partial observation
- Supervisor Localization: A Top-Down Approach to Distributed Control of Discrete-Event Systems
- Supervisor Synthesis for Mealy Automata With Output Functions: A Model Transformation Approach
- Supervisor Synthesis for Networked Discrete Event Systems With Communication Delays
- Supervisory Control of a Class of Discrete Event Processes
- Supervisory control of discrete-event processes with partial observations
- Supervisory control synthesis of discrete-event systems using a coordination scheme
- Synthesis of Maximally Permissive Supervisors for Partially-Observed Discrete-Event Systems
- Synthesis of Maximally-Permissive Supervisors for the Range Control Problem
- Why event observation: Observability revisited
Cited in
(14)- Optimal supervisory control under partial observation
- On the invariance property of reduced supervisors from the perspective of vector discrete-event systems
- Supervisory Control of Partially Observable Marked Graphs
- Modular supervisory control and coordination of state tree structures
- On efficient relabeling of symmetric discrete-event systems
- Supervisory Control with Partial Observations
- Nonblocking supervisory control of state tree structures.
- State-based fault diagnosis of discrete-event systems with partially observable outputs
- Optimal Petri net supervisor synthesis for forbidden state problems using marking mask
- SCT-based priority-free conditionally-preemptive scheduling of modular real-time systems with exact task execution time
- Optimal supervisory control with mean payoff objectives and under partial observation
- Methods for the estimation of the size of lookahead tree state-space
- Supervisory Control with Complete Observations
- Nonblocking supervisory control of state-tree structures with event forcing
This page was built for publication: Supervisory control of state-tree structures with partial observation
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2200558)
