Abstraction-Based Verification and Synthesis for Prognosis of Discrete Event Systems
From MaRDI portal
Publication:2821258
DOI10.1002/asjc.1210zbMath1346.93263MaRDI QIDQ2821258
Misato Yokotani, Shigemasa Takai, Tetsuya Kondo
Publication date: 19 September 2016
Published in: Asian Journal of Control (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1002/asjc.1210
93C65: Discrete event control/observation systems
93B07: Observability
93B25: Algebraic methods
93C25: Control/observation systems in abstract spaces
Cites Work
- Unnamed Item
- Maximally permissive coordinated distributed supervisory control of nondeterministic discrete-event systems
- Abstraction-based verification of codiagnosability for discrete event systems
- Abstraction-based failure diagnosis for discrete event systems
- Predictability of event occurrences in partially-observed discrete-event systems
- On observability of discrete-event systems
- Robust prognosability for a set of partially observed discrete event systems
- Hierarchical control of discrete-event systems
- Predictability of Event Occurrences in Timed Systems
- Stochastic Failure Prognosability of Discrete Event Systems
- A Framework for Compositional Synthesis of Modular Nonblocking Supervisors
- Supervisory control of discrete-event processes with partial observations
- Diagnosability of discrete-event systems
- Decentralized Prognosis of Failures in Discrete Event Systems
- Failure Diagnosis of Discrete-Event Systems With Linear-Time Temporal Logic Specifications
- Inference-Based Decentralized Prognosis in Discrete Event Systems
- Distributed Failure Prognosis of Discrete Event Systems With Bounded-Delay Communications
- Efficient Abstractions for the Supervisory Control of Modular Discrete Event Systems
- On the computation of natural observers in discrete-event systems
- Modular supervisory control with equivalence-based abstraction and covering-based conflict resolution