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 (11)
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
This page was built for publication: Current-state opacity enforcement in discrete event systems under incomparable observations
