Detectability of networked discrete event systems
From MaRDI portal
Publication:1790664
DOI10.1007/s10626-018-0268-yzbMath1398.93221OpenAlexW2768211668MaRDI QIDQ1790664
Publication date: 2 October 2018
Published in: Discrete Event Dynamic Systems (Search for Journal in Brave)
Full work available at URL: https://digitalcommons.wayne.edu/cgi/viewcontent.cgi?article=2869&context=oa_dissertations
Communication networks in operations research (90B18) Discrete event control/observation systems (93C65) Observability (93B07)
Related Items (8)
A new modeling framework for networked discrete-event systems ⋮ An improved approach for verifying delayed detectability of discrete-event systems ⋮ Initial-state detectability and initial-state opacity of unambiguous weighted automata ⋮ A general framework for diagnosis of discrete event systems subject to sensor failures ⋮ Networked opacity for finite state machine with bounded communication delays ⋮ Overview of networked supervisory control with imperfect communication channels ⋮ On detectability of labeled Petri nets and finite automata ⋮ Analysis of strong and strong periodic detectability of bounded labeled Petri nets
Uses Software
Cites Work
- Unnamed Item
- Verification of initial-state opacity in security applications of discrete event systems
- Generalized detectability for discrete event systems
- Opacity of discrete event systems and its applications
- On the minimization of communication in networked systems with a central station
- Supervisory control of discrete event systems with communication delays and partial observations
- Decentralized supervisory control of discrete event systems with communication delays based on conjunctive and permissive decision structures
- On observability of discrete-event systems
- Input/output discrete event processes and communication delays
- On-line control of partially observed discrete event systems
- Codiagnosability of networked discrete event systems subject to communication delays and intermittent loss of observation
- Decentralized supervisory control of discrete-event systems
- Robustness of synchronous communication protocols with delay for decentralized discrete-event control
- Observability of discrete event dynamic systems
- Supervisory Control of a Class of Discrete Event Processes
- Think globally, act locally: decentralized supervisory control
- Robust and adaptive supervisory control of discrete event systems
- Diagnosability of discrete-event systems
- Minimization of Communication of Event Occurrences in Acyclic Discrete Event Systems
- Supervisory Control for Opacity
- Minimization of Dynamic Sensor Activation in Discrete Event Systems for the Purpose of Control
- Minimal communication in a distributed discrete-event system
- Polynomial-time verification of diagnosability of partially observed discrete-event systems
- Detectability of Discrete Event Systems
- Limited lookahead policies in supervisory control of discrete event systems
- Control of Networked Discrete Event Systems: Dealing with Communication Delays and Losses
This page was built for publication: Detectability of networked discrete event systems
