@article{b33bddfd72964cc985373710f774d7f5,
title = "Supervisory control of discrete event systems with state-dependent controllability",
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.",
keywords = "Automata, Discrete event systems, State-dependent controllability, Supervisory control",
author = "Peng Wang and Cai, {Kai Yuan}",
note = "Funding Information: Kai-Yuan Cai received his BS degree in 1984, MS degree in 1987, and PhD degree in 1991, all from Beihang University. He has been a full pro- fessor at Beihang University (Beijing University of Aeronautics and Astronautics) since 1995 and a Cheung Kong Scholar (Chair Professor), jointly appointed by the Ministry of Education of China and the Li Ka Shing Foundation of Hong Kong in 1999. Dr Cai has published over 50 research papers in international journals and is the author of three books: Software Defect and Operational Profile Modeling (Kluwer, Boston, 1998); Introduction to Fuzzy Reliability (Kluwer, Boston, 1996); Elements of Software Reliability Engineering (Tshinghua University Press, Beijing, 1995, in Chinese). He serves on the editorial board of the international journal Fuzzy Sets and Systems and is the editor of the Kluwer International Series on Asian Studies in Computer and Information Science (http:// www.wkap.nl/prod/s/ASIS). His main research interests include software reliability and testing, autonomous flight control and software cybernetics. Funding Information: This work was partially supported by the National Natural Science Foundation of China and Microsoft Research Asia (Grant No. 60633010) and the 863 Programme of China (Grant No. 2006AA01Z174).",
year = "2009",
month = apr,
doi = "10.1080/00207720802436711",
language = "English",
volume = "40",
pages = "357--366",
journal = "International Journal of Systems Science",
issn = "0020-7721",
publisher = "Taylor and Francis Ltd.",
number = "4",
}