Extended Insertion Functions for Opacity Enforcement in Discrete-Event Systems

Enforcing current-state opacity through shuffle and deletions of event observations

(2021) Raphael Julio Barcelos et al.   AUTOMATICA

Opacity Enforcement Using Nondeterministic Publicly Known Edit Functions

(2019) Yiding Ji et al.   IEEE TRANSACTIONS ON AUTOMATIC CONTROL

Enforcement of opacity by public and private insertion functions

(2018) Yiding Ji et al.   AUTOMATICA

Verification of State-Based Opacity Using Petri Nets

(2017) Yin Tong et al.   IEEE TRANSACTIONS ON AUTOMATIC CONTROL

Synthesis of Obfuscation Policies to Ensure Privacy and Utility

(2017) Yi-Chin Wu et al.   JOURNAL OF AUTOMATED REASONING

Synthesis of Optimal Insertion Functions for Opacity Enforcement

(2016) Yi-Chin Wu et al.   IEEE TRANSACTIONS ON AUTOMATIC CONTROL

Synthesis of insertion functions for enforcement of opacity security properties

(2014) Yi-Chin Wu et al.   AUTOMATICA

Enforcement and validation (at runtime) of various notions of opacity

(2014) Yliès Falcone et al.   DISCRETE EVENT DYNAMIC SYSTEMS-THEORY AND APPLICATIONS

Current-State Opacity Formulations in Probabilistic Finite Automata

(2013) Anooshiravan Saboori et al.   IEEE TRANSACTIONS ON AUTOMATIC CONTROL

Synthesis of opaque systems with static and dynamic masks

(2012) Franck Cassez et al.   FORMAL METHODS IN SYSTEM DESIGN

Verification of Codiagnosability for Discrete Event Systems Modeled by Mealy Automata With Nondeterministic Output Functions

(2012) S. Takai et al.   IEEE TRANSACTIONS ON AUTOMATIC CONTROL

Opacity-Enforcing Supervisory Strategies via State Estimator Constructions

(2011) Anooshiravan Saboori et al.   IEEE TRANSACTIONS ON AUTOMATIC CONTROL

Verification of Infinite-Step Opacity and Complexity Considerations

(2011) Anooshiravan Saboori et al.   IEEE TRANSACTIONS ON AUTOMATIC CONTROL

Supervisory Control for Opacity

(2010) Jeremy Dubreil et al.   IEEE TRANSACTIONS ON AUTOMATIC CONTROL