Journal
IEEE TRANSACTIONS ON AUTOMATIC CONTROL
Volume 57, Issue 5, Pages 1155-1165Publisher
IEEE-INST ELECTRICAL ELECTRONICS ENGINEERS INC
DOI: 10.1109/TAC.2011.2170453
Keywords
Discrete event systems; opacity; security; supervisory control
Funding
- National Science Foundation (NSF) [0834409]
- European Commission (EC) [INFSO-ICT-223844, PIRG02-GA-2007-224877]
- Division Of Computer and Network Systems
- Direct For Computer & Info Scie & Enginr [0834409] Funding Source: National Science Foundation
Ask authors/readers for more resources
State-based notions of opacity, such as initial-state opacity and infinite-step opacity, emerge as key properties in numerous security applications of discrete event systems. We consider systems that are modeled as partially observed nondeterministic finite automata and tackle the problem of constructing a minimally restrictive opacity-enforcing supervisor (MOES), which limits the system's behavior within some prespecified legal behavior while enforcing initial-state opacity or infinite-step opacity requirements. We characterize the solution to MOES, under some mild assumptions, in terms of the supremal element of certain controllable, normal, and opaque languages. We also show that this supremal element always exists and that it can be implemented using state estimators. The result is a supervisor that achieves conformance to the pre-specified legal behavior while enforcing initial-state opacity by disabling, at any given time, a subset of the controllable system events, in a way that minimally restricts the range of allowable system behavior. Although infinite-step opacity cannot be easily translated to language-based opacity, we show that, by using a finite bank of supervisors, the aforementioned approach can be extended to enforce infinite-step opacity in a minimally restrictive way.
Authors
I am an author on this paper
Click your name to claim this paper and add it to your profile.
Reviews
Recommended
No Data Available