Assessment of initial-state-opacity in live and bounded labeled Petri net systems via optimization techniques
From MaRDI portal
Publication:6160740
Recommendations
- Optimization-based assessment of initial-state opacity in Petri nets
- 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
- Decidability of opacity verification problems in labeled Petri net systems
Cites work
- scientific article; zbMATH DE number 1302046 (Why is no real title available?)
- An optimization-based approach to assess non-interference in labeled and bounded Petri net systems
- Comparative analysis of related notions of opacity in centralized and coordinated architectures
- Current-state opacity modelling and verification in partially observed Petri nets
- Estimation and inference in discrete event systems. A model-based approach with finite automata
- Fault detection for discrete event systems using Petri nets with unobservable transitions
- Graph Theoretic Bound on Number of A.C.I.M. for Random Transformation
- Introduction to Discrete Event Systems
- Introduction to Petri nets
- Lectures on Concurrency and Petri Nets
- Multilevel transitive and intransitive non-interference, causally
- Noninterference Enforcement via Supervisory Control in Bounded Petri Nets
- On \(\mathcal K\)-diagnosability of Petri nets via integer linear programming
- On-line verification of current-state opacity by Petri nets and integer linear programming
- Optimization-based assessment of initial-state opacity in Petri nets
- Structural analysis of Petri nets
- The tool TINA – Construction of abstract state spaces for petri nets and time petri nets
- Verification and enforcement of strong infinite- and \(k\)-step opacity using state recognizers
- Verification of State-Based Opacity Using Petri Nets
- Verification of \(K\)-step and infinite-step opacity of bounded labeled Petri nets
Cited in
(6)- An optimization-based approach to assess non-interference in labeled and bounded Petri net systems
- Corrigendum to: ``Assessment of initial-state-opacity in live and bounded labeled Petri net systems via optimization techniques
- Decidability of opacity verification problems in labeled Petri net systems
- Optimization-based assessment of initial-state opacity in Petri nets
- Fault-prognosability, \(K\)-step prognosis and \(K\)-step predictive diagnosis in partially observed Petri nets by means of algebraic techniques
- On-line verification of current-state opacity by Petri nets and integer linear programming
This page was built for publication: Assessment of initial-state-opacity in live and bounded labeled Petri net systems via optimization techniques
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6160740)
