Decidability of opacity verification problems in labeled Petri net systems
From MaRDI portal
Publication:2407162
DOI10.1016/J.AUTOMATICA.2017.01.013zbMATH Open1370.93172OpenAlexW2603068814MaRDI QIDQ2407162FDOQ2407162
Authors: Yin Tong, Zhiwu Li, C. Seatzu, Alessandro Giua 
Publication date: 28 September 2017
Published in: Automatica (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1016/j.automatica.2017.01.013
Recommendations
- Verification of \(K\)-step and infinite-step opacity of bounded labeled Petri nets
- On-line verification of current-state opacity by Petri nets and integer linear programming
- Current-state opacity modelling and verification in partially observed Petri nets
- Assessment of initial-state-opacity in live and bounded labeled Petri net systems via optimization techniques
- Modelling opacity using Petri nets
Discrete event control/observation systems (93C65) Authentication, digital signatures and secret sharing (94A62)
Cites Work
- Title not available (Why is that?)
- Control of discrete-event systems. Automata and Petri net perspectives
- Title not available (Why is that?)
- Concurrent secrets
- Modelling opacity using Petri nets
- Comparative analysis of related notions of opacity in centralized and coordinated architectures
- Supervisory Control for Opacity
- Opacity of discrete event systems and its applications
- Synthesis of opaque systems with static and dynamic masks
- Synthesis of insertion functions for enforcement of opacity security properties
- Enforcement and validation (at runtime) of various notions of opacity
- Verification of initial-state opacity in security applications of discrete event systems
- On the Equivalence of Observation Structures for Petri Net Generators
- Verification of State-Based Opacity Using Petri Nets
Cited In (20)
- Enforcing opacity by insertion functions under multiple energy constraints
- Current-state opacity modelling and verification in partially observed Petri nets
- Opacity of networked discrete event systems
- Deciding detectability for labeled Petri nets
- Verification of \(K\)-step and infinite-step opacity of bounded labeled Petri nets
- Assessment of initial-state-opacity in live and bounded labeled Petri net systems via optimization techniques
- Performance safety enforcement in strongly connected timed event graphs
- Modelling opacity using Petri nets
- The complexity of diagnosability and opacity verification for Petri nets
- The complexity of diagnosability and opacity verification for Petri nets
- Performance safety enforcement in stochastic event graphs against boost and slow attacks
- Current-state opacity enforcement in discrete event systems under incomparable observations
- Current-state opacity and initial-state opacity of modular discrete event systems
- Compositional synthesis of opacity-preserving finite abstractions for interconnected systems
- Title not available (Why is that?)
- Information control in networked discrete event systems and its application to battery management systems
- Optimization-based assessment of initial-state opacity in Petri nets
- State-based opacity of labeled real-time automata
- Infinite-step opacity and \(K\)-step opacity of stochastic discrete-event systems
- Deciding Selective Declassification of Petri Nets
This page was built for publication: Decidability of opacity verification problems in labeled Petri net systems
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2407162)
