Most prior work on control of discrete event systems assume that sensors are reliable so that they can be modeled as a deterministic (point-valued) observation mask. However in certain harsh environments such as nuclear systems, sensors may not be reliable. This results in a nondeterministic (set-valued) observation mask. In this paper, we allow the observation mask to be nondeterministic to capture unreliability of sensors. In this setting finding a supervisor to enforce a given specification has the additional challenge of deciding which observations of a trace of the specification must be enabled (note a trace of the specification is enabled as long as one of its observations is enabled). We propose a method to deal with this challenge by introducing the notion of lifting, and defining the lifting of events, plant, specification, and observation mask. A lifted-specification is said to be safe if its projection on the original events equals the given specification. We show that a supervisor exists if and only if exists a lifted-specification that satisfies closure, safety, controllability, observability, together with a new property called conformity. The class of such languages is not closed under union or intersection, but is closed under union over an increasing chain. As a result, finding a desired liftedspecification can be difficult. We propose a work around this difficulty by replacing the property of observability with the stronger property of normality. The corresponding class of languages is shown to be closed under union, and its nonemptiness serves as a constructive sufficient condition for the existence of a supervisor. We also provide an automaton representation of a control policy based on a nondeterministic observation mask.
[1]
Shengbing Jiang,et al.
Diagnosis of dense-time systems using digital-clocks
,
2006,
2006 American Control Conference.
[2]
D. Thorsley,et al.
Diagnosability of stochastic discrete-event systems under unreliable observations
,
2008,
2008 American Control Conference.
[3]
Shengbing Jiang,et al.
Polynomial synthesis of supervisor for partially observed discrete-event systems by allowing nondeterminism in control
,
2005,
IEEE Transactions on Automatic Control.
[4]
Vijay K. Garg,et al.
Modeling and Control of Logical Discrete Event Systems
,
1994
.
[5]
Walter Murray Wonham,et al.
On observability of discrete-event systems
,
1988,
Inf. Sci..
[6]
S. Xu,et al.
Control of dense-time Discrete Event Systems using digital-clocks to observe event-occurrence times
,
2007,
2007 46th IEEE Conference on Decision and Control.
[7]
Kemal Inan.
Nondeterministic supervision under partial observations
,
1994
.
[8]
K.R. Rohloff.
Sensor Failure Tolerant Supervisory Control
,
2005,
Proceedings of the 44th IEEE Conference on Decision and Control.