Using subobservers to synthesize opacity-enforcing supervisors
From MaRDI portal
Publication:2106417
DOI10.1007/S10626-022-00365-5zbMATH Open1505.93078arXiv2110.04334OpenAlexW3207178583MaRDI QIDQ2106417FDOQ2106417
Authors: Richard Hugh Moulton, Behnam Behinaein Hamgini, Zahra Abedi Khouzani, Rômulo Meira-Góes, Fei Wang, Karen Rudie 
Publication date: 14 December 2022
Published in: Discrete Event Dynamic Systems (Search for Journal in Brave)
Abstract: In discrete-event system control, the worst-case time complexity for computing a system's observer is exponential in the number of that system's states. This results in practical difficulties since some problems require calculating multiple observers for a changing system, e.g., synthesizing an opacity-enforcing supervisor. Although calculating these observers in an iterative manner allows us to synthesize an opacity-enforcing supervisor and although methods have been proposed to reduce the computational demands, room exists for a practical and intuitive solution. Here we extend the subautomaton relationship to the notion of a subobserver and demonstrate its use in reducing the computations required for iterated observer calculations. We then demonstrate the subobserver relationship's power by simplifying state-of-the-art synthesis approaches for opacity-enforcing supervisors under realistic assumptions.
Full work available at URL: https://arxiv.org/abs/2110.04334
Recommendations
- Current-state opacity enforcement in discrete event systems under incomparable observations
- A novel approach for supervisor synthesis to enforce opacity of discrete event systems
- Dynamic Observers for the Synthesis of Opaque Systems
- On the computation of observers in discrete-event systems
- Comments on: ``A new approach for the verification of infinite-step and \(K\)-step opacity using two-way observers
Cites Work
- Title not available (Why is that?)
- Introduction to Discrete Event Systems
- Supervisory Control of a Class of Discrete Event Processes
- Decentralized supervisory control of discrete-event systems
- On observability of discrete-event systems
- Concurrent secrets
- Comparative analysis of related notions of opacity in centralized and coordinated architectures
- Supervisory Control for Opacity
- Opacity of discrete event systems and its applications
- Limited lookahead policies in supervisory control of discrete event systems
- Opacity-Enforcing Supervisory Strategies via State Estimator Constructions
- On properties and state complexity of deterministic state-partition automata
- Supremal and maximal sublanguages arising in supervisor synthesis problems with partial observations
- Supervisory control of discrete-event systems
- A Uniform Approach for Synthesizing Property-Enforcing Supervisors for Partially-Observed Discrete-Event Systems
- Near-optimal online control of dynamic discrete-event systems
- Current-state opacity enforcement in discrete event systems under incomparable observations
Cited In (1)
Uses Software
This page was built for publication: Using subobservers to synthesize opacity-enforcing supervisors
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2106417)
