DocumentCode
489913
Title
Optimization of Controller Design for Discrete Event Systems in A Temporal Logic Framework
Author
Lin, Jing-Yue ; Ionescu, Dan
Author_Institution
Department of Electrical Engineering, University of Ottawa, Ottawa, Ontario, Canada KIN 6N5
fYear
1992
fDate
24-26 June 1992
Firstpage
2819
Lastpage
2823
Abstract
In this paper a temporal logic framework is introduced to the optimal control problems of discrete event systems. The temporal logic model is enhanced with the event cost function and a measurement space is also defined. The optimal controller synthesis procedure is guided by the heuristic search methods. For the heuristic search, the A* algorithm is used to solve the problems. An example is shown to illustrate our results.
Keywords
Automatic control; Control system synthesis; Control systems; Cost function; Design optimization; Discrete event systems; Extraterrestrial measurements; Logic design; Optimal control; Search methods;
fLanguage
English
Publisher
ieee
Conference_Titel
American Control Conference, 1992
Conference_Location
Chicago, IL, USA
Print_ISBN
0-7803-0210-9
Type
conf
Filename
4792657
Link To Document