A Uniform Approach for Synthesizing Property-Enforcing Supervisors for Partially-Observed Discrete-Event Systems
- 1 October 2015
- journal article
- research article
- Published by Institute of Electrical and Electronics Engineers (IEEE) in IEEE Transactions on Automatic Control
- Vol. 61 (8), 2140-2154
- https://doi.org/10.1109/tac.2015.2484359
Abstract
The problem under consideration in this paper is that of enforcement by supervisory control of a given property on a partially-observed discrete-event system. We present a general methodology that is applicable to a large class of properties previously studied (individually) in the literature. These properties include, but are not restricted to, safety, diagnosability, opacity, detectability, anonymity and attractability. When the given system does not satisfy the considered property, the objective is to synthesize a supervisor that restricts the system's behavior and provably enforces the given property; moreover, it is required that this supervisor be maximally permissive. We consider the general case where the system's events are partitioned into observable and unobservable events, and controllable and uncontrollable events, and we do not make any assumptions about these two partitions; in particular, we do not assume that all controllable events are observable. Our uniform approach first maps the considered property to a suitably-defined information state for the partially-observed system and then develops a supervisor synthesis methodology based on a finite bipartite transition system that embeds all reachable information states and all admissible supervisory control strategies. This transition system is called the All Enforcement Structure (or AES). We present an algorithm for the construction of the AES and discuss its properties. Then we use the AES to develop a synthesis algorithm that constructs a supervisor that is provably property enforcing and maximally permissive. We illustrate the application of our uniform approach to the enforcement of the above-mentioned properties.Keywords
Funding Information
- National Science Foundation (NSF) (CCF-1138860)
- (Expeditions in Computing project ExCAPE: Expeditions in Computer Augmented Program Engineering) (CNS-1421122, CNS-1446298)
- TerraSwarm Research Center
- STARnet phase of the Focus Center Research Program (FCRP) a Semiconductor Research Corporation program
- MARCO and DARPA
This publication has 35 references indexed in Scilit:
- Opacity of discrete event systems and its applicationsAutomatica, 2011
- Opacity generalised to transition systemsInternational Journal of Information Security, 2008
- Active diagnosis of discrete-event systemsIEEE Transactions on Automatic Control, 1998
- Centralized and distributed algorithms for on-line synthesis of maximal control policies under partial observationDiscrete Event Dynamic Systems, 1996
- Diagnosability of discrete-event systemsIEEE Transactions on Automatic Control, 1995
- Supervisory control of timed discrete-event systems under partial observationIEEE Transactions on Automatic Control, 1995
- Stability and stabilizability of discrete event dynamic systemsJournal of the ACM, 1991
- Stabilization of discrete-event processesInternational Journal of Control, 1990
- On observability of discrete-event systemsInformation Sciences, 1988
- Supervisory control of discrete-event processes with partial observationsIEEE Transactions on Automatic Control, 1988