While the goal of verification is to check whether a model of the system under consideration has a desired property, supervisory control achieves correctness by adding a so-called supervisor that prevents the occurrence of incorrect behaviors to the original system. Supervisory control methods are appealing because they can be much more tractable than the corresponding verification problems. He...

Supervisory control of the mobile robot navigation system has critical importance. The supervisory control software development of mobile robot navigation can be performed in an unknown environment or for controlled robots in a known environment. Finite automata and graph theory are functional tools in modeling the robot navigation system through discrete environment. This research has emphasis...

A supervisory fuzzy neural network (FNN) control system is designed to track periodic reference inputs in this study. The control system is composed of a permanent magnet (PM) synchronous servo motor drive with a supervisory FNN position controller. The supervisory FNN controller comprises a supervisory controller, which is designed to stabilize the system states around a defined bound region a...

The application of supervisory control concepts in the control of batch process plants is investigated in the paper. Supervisory control issues in flexible batch plants include co-ordination, resource allocation and process management. The paper utilises the Petri net based supervisory control framework to develop appropriate solutions. A straightforward approach of translating developed Petri ...

Because of their nondeterministic nature of behaviour, the supervisory control of manufacturing systems must be carried out in closed loop. This trait greatly increases the size and complexity of the Discrete-Event System (DES)-based supervisorycontrollers of manufacturing systems. In an attempt t o cope with this complexity, a Hybrid Supervisory Controller HSC) i s proposed. It splits pervisor...