Supervisory control theory enables control system designers to specify a model of an uncontrolled system in combination with associated control requirements, and subsequently to use a synthesis algorithm for automatic controller generation. The use of supervisory control synthesis can significantly reduce development time for supervisory controllers as a result of the unambiguous specification ...

In this paper we present the rst results of our attempt to set up a supervisory theory for nondeterministic discrete event systems. The supervisory control problem for nondeterministic systems is speciied and motivated. A necessary and suucient condition for the existence of a supervisor is derived. Also an algorithm is presented that will automatically generate a supervisor. The results are ex...

This study's premise is that ingratiation and organizational citizenship behaviors are similar hut that supervisors will respond differently to employees depending on whether they lahel their extrarole behaviors as ingratiation or as organizational citizenship hehavior (OCB). Variables based on Kelley's covariation model did not greatly influence supervisory attrihutions. The attrihution of mot...

A third of the Dutch highways is monitored and controlled by roadside units. These RSUs are safety-critical systems, as they safeguard roadworks accidents. Therefore, it essential to have guarantees on correctness unit controller. Using supervisory control theory, a correct-by-construction supervisor obtained from model system its requirements. From model, controller implementation can be autom...

In this paper, we propose a supervisory control system for motion planning of humanoid robots. The proposed system is hierarchically structured into two levels. The lower level controls and monitors the robots using modular state nets. The upper level generates an optimal sequence of motion for user’s requirements using timed Petri nets. Keywords— humanoid robot, modular state net, timed Petri ...

A hierarchical consistency problem for the hierarchical supervisory control of discrete event systems under partial observation is considered, since observability is a practical and general property in real systems. The notion of H-observability is introduced to ensure hierarchical consistency between lowand high-level systems, and an analytical framework for the hierarchical supervisory contro...

Coalgebraic techniques are applied to the supervisory control of discrete-event systems with partial observations. Classical notions from concurrency theory are specialized to control theory. The concept of weak transitions enables the relational characterization of observability and gives rise to a coalgebraic formulation of the necessary and sufficient conditions for the existence of a superv...