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

zbMATH Keywords

Petri netsinteger linear programmingopacitydecentralized architecture

Mathematics Subject Classification ID

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)

Verification of \(K\)-step and infinite-step opacity of bounded labeled Petri nets ⋮ Current-state opacity and initial-state opacity of modular discrete event systems ⋮ Strong current-state and initial-state opacity of discrete-event systems ⋮ Active opacity of discrete-event systems ⋮ Assessment of initial-state-opacity in live and bounded labeled Petri net systems via optimization techniques ⋮ Deadlock analysis and control using Petri net decomposition techniques ⋮ Current-state opacity modelling and verification in partially observed Petri nets ⋮ Opacity of networked discrete event systems ⋮ Enforcing current-state opacity through shuffle and deletions of event observations ⋮ Online verification of \(K\)-step opacity by Petri nets in centralized and decentralized structures

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