Opacity-Enforcing Supervisory Strategies via State Estimator Constructions

DOI10.1109/TAC.2011.2170453zbMath1369.93109MaRDI QIDQ5352804

Christoforos N. Hadjicostis, Anooshiravan Saboori

Publication date: 8 September 2017

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

Mathematics Subject Classification ID

Formal languages and automata (68Q45) Discrete event control/observation systems (93C65) Observability (93B07)

Related Items

An optimization-based approach to assess non-interference in labeled and bounded Petri net systems, Enforcement for infinite-step opacity and K-step opacity via insertion mechanism, A new approach for the verification of infinite-step and \(K\)-step opacity using two-way observers, Verification and enforcement of current-state opacity based on a state space approach, Privacy-preserving co-synthesis against sensor-actuator eavesdropping intruder, Enforcement and validation (at runtime) of various notions of opacity, Strong current-state and initial-state opacity of discrete-event systems, Active opacity of discrete-event systems, Online prognosis of stochastic discrete event systems with guaranteed performance bound, On almost-sure intention deception planning that exploits imperfect observers, Synthesis of insertion functions for enforcement of opacity security properties, Synthesis of obfuscation policies to ensure privacy and utility, Current-state opacity enforcement in discrete event systems under incomparable observations, Enforcement of opacity by public and private insertion functions, Supervisory control of discrete-event systems under attacks, Opacity of networked discrete event systems, Enhancement of opacity for distributed state estimation in cyber-physical systems, Verification and enforcement of strong infinite- and \(k\)-step opacity using state recognizers, Games with Opacity Condition, Online verification of \(K\)-step opacity by Petri nets in centralized and decentralized structures, Optimization-based assessment of initial-state opacity in Petri nets, Using subobservers to synthesize opacity-enforcing supervisors, Enforcing opacity of regular predicates on modal transition systems