FM-18 2130 Supervisory Control of Nondeterministic Systems Under Partial Observation *
Ratnesh Kumar, Mark A. Shayman · 1994
In this paper we extend our earlier work on supervisory control of nondeterministic discrete event systems (DES) using prioritized synchronization as the control mechanism and trajectory model as the modeling formalism by considering design of supervisors un- der partial observation. We introduce the notion of obseruation- compatible systems and show that prioritized synchronous compo- sition of observation-compatible systems can be used as a mech- anism of control of nondeterministic systems under partial obser- vation in presence of driven events. Conditions for the existence of a supervisor in the above setting are obtained. Although these conditions are similar to the standard conditions of controllability and observability found in literature, they are siginificantly dif- ferent, as they depend on the trajectory model of the plant as opposed to its language model.