Verification of infinite-step opacity and analysis of its complexity
Hadjicostis, Christoforos N.
SourceIFAC Proceedings Volumes (IFAC-PapersOnline)
IFAC Proceedings Volumes (IFAC-PapersOnline)
Google Scholar check
MetadataShow full item record
In this paper, we formulate, analyze, and devise methodologies to verify the notion of infinite-step opacity in discrete event systems that are modeled as (possibly non-deterministic) finite automata with partial observation on their transitions. Specifically, a system is infinitestep opaque if the entrance of the system state at any particular instant to a set of secret states remains opaque (uncertain), for the length of the system operation, to an intruder who observes system activity through some projection map. In other words, based on observations through this map (and complete knowledge of the system model), the intruder can never be certain (and will never be certain) that the system state at any point in time evolves (or has evolved) to the set of secret states. We show that infinite-step opacity can be verified via the construction of a set of appropriate state estimators. We also establish that the verification of infinite-step opacity is a PSPACE-hard problem. © 2009 IFAC.
Showing items related by title, author, creator and subject.
Structural controllability and observability of linear systems over finite fields with applications to multi-agent systems Sundaram, S.; Hadjicostis, Christoforos N. (2013)We develop a graph-theoretic characterization of controllability and observability of linear systems over finite fields. Specifically, we show that a linear system will be structurally controllable and observable over a ...
Decentralized fault accommodation of a class of interconnected nonlinear systems using an adaptive approximation approach Panagi, P.; Polycarpou, Marios M. (2009)This paper presents a decentralized adaptive approximation design for the fault tolerant control of interconnected subsystems. We consider faults that occur in the subsystems local dynamics as well as in the interconnection ...
Centralized Versus Decentralized Optimization of Distributed Stochastic Differential Decision Systems with Different Information Structures-Part I: A General Theory Charalambous, Charalambos D.; Ahmed, N. U. (2017)Decentralized optimization of distributed stochastic dynamical systems with two or more controls of the decision makers (DMs) has been an active area of research for over half a century. Although, such decentralized ...