Supervisory control of state-tree structures with partial observation
From MaRDI portal
Publication:2200558
DOI10.1016/J.INS.2018.07.025zbMATH Open1455.93118OpenAlexW2884266744MaRDI QIDQ2200558FDOQ2200558
Authors: Yanyan Li 
Publication date: 22 September 2020
Published in: Information Sciences (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1016/j.ins.2018.07.025
Recommendations
Cites Work
- Statecharts: a visual formalism for complex systems
- Supervisory Control of a Class of Discrete Event Processes
- Why event observation: Observability revisited
- Supervisor Localization: A Top-Down Approach to Distributed Control of Discrete-Event Systems
- Multi-level hierarchical interface-based supervisory control
- Nonblocking Supervisory Control of State Tree Structures
- On observability of discrete-event systems
- Games for synthesis of controllers with partial observation.
- Effective computation of an \(L_{m}(G)\)-closed, controllable, and observable sublanguage arising in supervisory control
- Predicates and predicate transformers for supervisory control of discrete event dynamical systems
- Formulas for calculating supremal controllable and normal sublanguages
- Supervisory control synthesis of discrete-event systems using a coordination scheme
- Supervisory control of discrete-event processes with partial observations
- Nonblocking supervisory control of state tree structures.
- Distributed supervisory control of discrete-event systems with communication delay
- Decentralized control and coordination of discrete-event systems with partial observation
- On supremal languages of classes of sublanguages that arise in supervisor synthesis problems with partial observation
- Control of discrete-event systems with partial observations using coalgebra and coinduction
- Deadlock recovery for flexible manufacturing systems modeled with Petri nets
- Petri net-based approach to short-term scheduling of crude oil operations with less tank requirement
- Coordination control of discrete-event systems revisited
- Static-state feedback control of discrete-event systems under partial observation
- A Uniform Approach for Synthesizing Property-Enforcing Supervisors for Partially-Observed Discrete-Event Systems
- Synthesis of Maximally Permissive Supervisors for Partially-Observed Discrete-Event Systems
- Relative Observability of Discrete-Event Systems and Its Supremal Sublanguages
- Priority-free conditionally-preemptive scheduling of modular sporadic real-time systems
- Nonblocking Supervisory Control of Discrete Event Systems Modeled by Mealy Automata With Nondeterministic Output Functions
- Supervisor Synthesis for Mealy Automata With Output Functions: A Model Transformation Approach
- Supervisor Synthesis for Networked Discrete Event Systems With Communication Delays
- Synthesis of Maximally-Permissive Supervisors for the Range Control Problem
- A Learning-Based Synthesis Approach to the Supremal Nonblocking Supervisor of Discrete-Event Systems
- Exploiting symmetry of state tree structures for discrete-event systems with parallel components
- On computation of supremal controllable, normal sublanguages
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
- On efficient relabeling of symmetric discrete-event systems
- Modular supervisory control and coordination of state tree structures
- 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
Uses Software
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)
