Current-state opacity enforcement in discrete event systems under incomparable observations
From MaRDI portal
Publication:1788686
DOI10.1007/s10626-017-0264-7zbMath1398.93223OpenAlexW2768035641MaRDI QIDQ1788686
Alessandro Giua, Yin Tong, Carla Seatzu, Zhiwu Li
Publication date: 8 October 2018
Published in: Discrete Event Dynamic Systems (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/s10626-017-0264-7
Formal languages and automata (68Q45) Discrete event control/observation systems (93C65) Observability (93B07) Software, source code, etc. for problems pertaining to systems and control theory (93-04)
Related Items
Do what you know: coupling knowledge with action in discrete-event systems, Verification and enforcement of current-state opacity based on a state space approach, Strong current-state and initial-state opacity of discrete-event systems, Game current-state opacity formulation in probabilistic resource automata, Matrix approach for verification of opacity of partially observed discrete event systems, Enforcing opacity by insertion functions under multiple energy constraints, Performance safety enforcement in strongly connected timed event graphs, An improved approach for marking optimization of timed weighted marked graphs, Opacity of networked discrete event systems, Verification and enforcement of strong infinite- and \(k\)-step opacity using state recognizers, Using subobservers to synthesize opacity-enforcing supervisors
Uses Software
Cites Work
- Unnamed Item
- Comparative analysis of related notions of opacity in centralized and coordinated architectures
- Synthesis of opaque systems with static and dynamic masks
- Synthesis of insertion functions for enforcement of opacity security properties
- Opacity of discrete event systems and its applications
- Enforcement and validation (at runtime) of various notions of opacity
- On supremal languages of classes of sublanguages that arise in supervisor synthesis problems with partial observation
- Modular supervisory control of discrete-event systems
- On-line control of partially observed discrete event systems
- Supervisor synthesis for discrete event systems under partial observation and arbitrary forbidden state specifications
- Decidability of opacity verification problems in labeled Petri net systems
- Concurrent secrets
- Centralized and distributed algorithms for on-line synthesis of maximal control policies 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
- Introduction to Discrete Event Systems
- Dynamic Observers for the Synthesis of Opaque Systems
- Supervisory Control for Opacity
- Characterizing intransitive noninterference for 3-domain security policies with observability
- Programming Languages and Systems
- Verification of State-Based Opacity Using Petri Nets
- Opacity-Enforcing Supervisory Strategies via State Estimator Constructions
- Lectures on Concurrency and Petri Nets