Maximally Permissive Mutually & Globally Nonblocking Supervision with Application to Switching Control
Journal article, 2005

A supervisor is said to be mutually nonblocking with respect to a pair of specifications if upon completing a task in any of the specifications, it can continue on to complete the task in the other specification, i.e., the two specifications do not block each other. The notion of mutually nonblocking supervisor was introduced in Fabian and Kumar [2000. Automatica, 36(12), 1863-1869]. In this paper, we present an algorithm of polynomial complexity for computing a maximally permissive mutually and globally nonblocking supervisor. In case such a supervisor does not exist, we present a technique for relaxing the specifications for which a supervisor exists. The algorithms are based on a notion of attractability, and as a special case offer a new way of computing the maximally permissive nonblocking supervisors. The results are then applied to design of maximally permissive switching supervisors so as to allow for switching between the specifications at any time while the system is executing. © 2005 Elsevier Ltd. All rights reserved.

Discrete event systems

Nonblocking

Mutually nonblocking

Supervisory control

Controllability

Author

Ratnesh Kumar

Iowa State University

Shigemasa Takai

Kyoto Institute of Technology

Martin Fabian

Chalmers, Signals and Systems, Systems and control

Toshimitsu Ushio

Osaka University

Automatica

0005-1098 (ISSN)

Vol. 41 8 1299-1312

Subject Categories

Control Engineering

DOI

10.1016/j.automatica.2005.03.011

More information

Created

10/7/2017