Noninterference Enforcement via Supervisory Control in Bounded Petri Nets

DOI10.1109/TAC.2020.3024274MaRDI QIDQ4957611zbMATH OpenOpenAlexFDO

Authors Francesco Basile, Claudio Sterle, G. De Tommasi

Publication date 9 September 2021

Published in IEEE Transactions on Automatic Control (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1109/tac.2020.3024274

zbMATH Keywords

integer linear programming (ILP) problemsnoninterferencePetri nets (PNs)supervisory controlsystem security

Mathematics Subject Classification ID

Integer programming (90C10) Discrete event control/observation systems (93C65)

Cited in

(6)

• Optimization-based assessment of initial-state opacity in Petri nets
• An optimization-based approach to assess non-interference in labeled and bounded Petri net systems
• Assessment of initial-state-opacity in live and bounded labeled Petri net systems via optimization techniques
• Symbolic state estimation in bounded timed labeled Petri nets
• Liveness and deadlock-freeness verification and enforcement in bounded Petri nets using basis reachability graphs
• Computing a parametric reveals relation for bounded equal-conflict Petri nets

This page was built for publication: Noninterference Enforcement via Supervisory Control in Bounded Petri Nets

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4957611)