DocumentCode
397595
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
Volume
1
fYear
2003
fDate
5-8 Oct. 2003
Firstpage
415
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;
fLanguage
English
Publisher
ieee
Conference_Titel
Systems, Man and Cybernetics, 2003. IEEE International Conference on
ISSN
1062-922X
Print_ISBN
0-7803-7952-7
Type
conf
DOI
10.1109/ICSMC.2003.1243851
Filename
1243851
Link To Document