Traditional supervisory control theory of discreteevent systems mainly deals with closed systems, and only ensures correct behaviors that can be generated by the system under certain environments that have been captured by the plant model. However, such control methods cannot be applied for many industrial systems nowadays since they are open systems and their behaviors heavily depend on nontri...

In this paper, we prove that the most important concept of supervisory control of discrete-event systems, the controllability property, is undecidable for two deterministic context-free languages K and L, where L is prefix-closed, even though K is a subset of L. If K is not a subset of L, the undecidability follows from the work by Sreenivas. However, the case where K is a subset of L does not ...

All signals were transmitted between the primary plant and the protection and control system by means of hard-wired secondary cabling. Protection and control panels located in control rooms were equipped with protection relays, panel mimics and control switches. The primary plant and protection and control panels were hard-wired to a supervisory remote terminal unit (RTU) via a supervisory junc...

We propose a new technique for controlled system synthesis on nondeterministic automata for requirements in modal logic. Synthesis, as defined in this paper, restricts a behavioral specification of the uncontrolled system such that it satisfies a given logical expression, while adhering to the rules dictated by supervisory control such as maximal permissiveness and controllability. The applied ...

in this paper, we try to use modeling based on singular perturbation theory, in order to control satellite attitude during the wide rolling angle maneuvering through nonlinear h∞ control strategy. differential equations describing dynamics of the satellite are presented first, and by choosing the appropriate dynamic model for actuators and based on the standard singular perturbation model, the ...

We formalize the notion of optimal supervisory control of discrete event dynamical systems (DEDS's) in the framework of Ramadge and Wonham. A DEDS is modeled as a state machine, and is controlled by disabling some of its transitions. We de ne two types of cost functions: a cost of control function corresponding to disabling transitions in the state machine, and a penalty of control function cor...

With supervisory control theory it is possible to describe controllers which influence the behaviour of a system by disabling controllable events. But sometimes it is desirable to have a controller which not only disables controllable events but also chooses one among the enabled ones. This event can be interpreted as a command given to the plant. This idea is formalized in the concept of an im...

A genetic algorithm (GA) uses the principles of evolution, natural selection, and genetics to offer a method for parallel search of complex spaces. Motivated by past work using the GA as a tool for off-line computer-aided-design of control systems, we introduce several ways to use the GA for on-line identification and controller tuning. In particular, we introduce two new, but closely related a...