Title :
Discrete abstraction and supervisory control of switching systems
Author :
Su, Rong ; Abdelwahed, Sherif ; Karsai, Gabor ; Biswas, Gautam
Author_Institution :
Dept. of Electr. & Comput. Eng., Toronto Univ., Ont., Canada
Abstract :
In this paper we propose a method to create discrete abstraction of state space behavior for continuous-time systems based on gradient analysis of the system dynamics. Then we describe how to use such a discrete model to design a supervisory controller for a given safety specification for the system. Finally we provide an entropy measure of nondeterminism, which can be used to evaluate the quality of the result discrete model as the degree of nondeterminism in that model.
Keywords :
continuous time systems; control system synthesis; discrete event systems; gradient methods; state-space methods; telecommunication switching; continuous time systems; discrete abstraction; entropy; gradient analysis; nondeterminism; state space behavior; supervisory controller design; switching systems; Contracts; Control systems; Ear; Entropy; Safety; Software systems; State-space methods; Supervisory control; Switching systems; Valves;
Conference_Titel :
Systems, Man and Cybernetics, 2003. IEEE International Conference on
Print_ISBN :
0-7803-7952-7
DOI :
10.1109/ICSMC.2003.1243851
