Synthesis of Maximally Permissive Supervisors for Partially-Observed Discrete-Event Systems
- 23 July 2015
- journal article
- Published by Institute of Electrical and Electronics Engineers (IEEE) in IEEE Transactions on Automatic Control
- Vol. 61 (5), 1239-1254
- https://doi.org/10.1109/tac.2015.2460391
Abstract
We present new results on the synthesis of safe, non-blocking, and maximally permissive supervisors for partially observed discrete event systems. We consider the case where the legal language is a non-prefix-closed sublanguage of the system language, i.e., non-blockingness must be ensured in addition to safety. To solve this problem, we define a new bipartite transition system, called the Non-blocking All Inclusive Controller (NB-AIC), that embeds all safe and non-blocking supervisors. We present an algorithm for the construction of the NB-AIC and discuss its properties. We obtain the necessary and sufficient conditions for the solvability of the maximally permissive control problem. We then provide a synthesis algorithm, based on the NB-AIC, that constructs a supervisor that is safe, non-blocking and maximally permissive, if one exists. This is the first algorithm with such properties.Keywords
Funding Information
- National Science Foundation (CCF-1138860, CNS-1446298)
This publication has 21 references indexed in Scilit:
- Synthesis of maximally permissive non-blocking supervisors for partially observed discrete event systemsPublished by Institute of Electrical and Electronics Engineers (IEEE) ,2014
- A General Approach for Synthesis of Supervisors for Partially-Observed Discrete-Event SystemsIFAC Proceedings Volumes, 2014
- Solvability of Centralized Supervisory Control Under Partial ObservationDiscrete Event Dynamic Systems, 2006
- Algorithms for Omega-Regular Games with Imperfect InformationLecture Notes in Computer Science, 2006
- Control of Discrete-Event Systems with Partial Observations Using Coalgebra and CoinductionDiscrete Event Dynamic Systems, 2005
- Polynomial synthesis of supervisor for partially observed discrete-event systems by allowing nondeterminism in controlIEEE Transactions on Automatic Control, 2005
- Games for synthesis of controllers with partial observationTheoretical Computer Science, 2003
- Centralized and distributed algorithms for on-line synthesis of maximal control policies under partial observationDiscrete Event Dynamic Systems, 1996
- On-line control of partially observed discrete event systemsDiscrete Event Dynamic Systems, 1994
- Formulas for a class of controllable and observable sublanguages larger than the supremal controllable and normal sublanguageSystems & Control Letters, 1993