On-line verification of current-state opacity by Petri nets and integer linear programming
DOI10.1016/j.automatica.2018.04.021zbMath1401.93043OpenAlexW2800404248WikidataQ129882258 ScholiaQ129882258MaRDI QIDQ1797108
Zhiwu Li, Xuya Cong, Agostino Marcello Mangini, Maria Pia Fanti
Publication date: 17 October 2018
Published in: Automatica (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1016/j.automatica.2018.04.021
Integer programming (90C10) Decentralized systems (93A14) Discrete event control/observation systems (93C65) Observability (93B07) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85) Software, source code, etc. for problems pertaining to systems and control theory (93-04)
Related Items (10)
Cites Work
- Unnamed Item
- Unnamed Item
- Comparative analysis of related notions of opacity in centralized and coordinated architectures
- Verification of initial-state opacity in security applications of discrete event systems
- On-line fault detection in discrete event systems by Petri nets and integer linear programming
- On \(\mathcal K\)-diagnosability of Petri nets via integer linear programming
- Concurrent secrets
- Design of Optimal Petri Net Controllers for Disjunctive Generalized Mutual Exclusion Constraints
- Current-State Opacity Formulations in Probabilistic Finite Automata
- An Efficient Approach for Online Diagnosis of Discrete Event Systems
- Marking Estimation of Petri Nets With Silent Transitions
- Verification of State-Based Opacity Using Petri Nets
This page was built for publication: On-line verification of current-state opacity by Petri nets and integer linear programming