Supervisory control of discrete event systems with state-dependent controllability

Authors:
Peng Wang;Kai-Yuan Cai
Affiliations:
Department of Automatic Control, Beihang University (Beijing University of Aeronautics and Astronautics), Beijing 100083, P.R. China;Department of Automatic Control, Beihang University (Beijing University of Aeronautics and Astronautics), Beijing 100083, P.R. China
Venue:
International Journal of Systems Science
Year:
2009

Citing 6
Cited 0

Supervisory control of a class of discrete event processes

SIAM Journal on Control and Optimization
Modular feedback logic for discrete event systems

SIAM Journal on Control and Optimization
On the supermal controllable sublanguage of a given language

SIAM Journal on Control and Optimization
Decentralized supervisory control of discrete-event systems

Information Sciences: an International Journal - Robotics and Automation/Control Series
Optimal Supervisory Control of Discrete Event DynamicalSystems

SIAM Journal on Control and Optimization
An Overview of Software Cybernetics

STEP '03 Proceedings of the Eleventh Annual International Workshop on Software Technology and Engineering Practice

Quantified Score

Hi-index	0.00

Visualization

Abstract

This article studies the supervisory control problem of discrete event systems (DES) with state-dependent controllability. The new problem is given with the background of operating systems where the processes and the interrupt service routines (ISR) are supervised and coordinated. The new model is novel because the controllability of an event is changeable in the lifetime of system evolution, and dependent on the system state. Two fundamental problems are concerned with the new model: supervisor existence problem and supervisor synthesis problem. We derive a necessary and sufficient condition for the existence of the supervisor, and introduce an algorithm to synthesise the supremal supervisor in a given specification. With the background of process and ISR management in operating systems, some examples are given to show how the new model can be applied to practical computing.