Title :
A computationally efficient framework for hybrid controller design
Author :
Lemmon, Michael ; Antsaklis, Panos
Author_Institution :
Dept. of Electr. Eng., Notre Dame Univ., IN, USA
Abstract :
A hybrid control system uses a logical discrete event system (DES) controller to supervise the behaviour of a continuous state plant. An important issue in hybrid control systems concerns precisely what constitutes “logically stable” behaviour in such systems. The challenge concerns the formulation of computationally efficient procedures for designing such logically stable systems. This paper provides a formal definition of hybrid system stability and outlines how this definition leads to a polynomial time procedure for hybrid control system synthesis
Keywords :
computational complexity; control system CAD; computationally efficient framework; computationally efficient procedures; continuous state plant; hybrid control system synthesis; hybrid controller design; logical discrete event system controller; logically stable behaviour; polynomial time procedure; Cascading style sheets; Control system synthesis; Control systems; Discrete event systems; Flexible manufacturing systems; Manufacturing processes; Polynomials; Power system modeling; Semiconductor device manufacture; Stability;
Conference_Titel :
Computer-Aided Control System Design, 1994. Proceedings., IEEE/IFAC Joint Symposium on
Conference_Location :
Tucson, AZ
Print_ISBN :
0-7803-1800-5
DOI :
10.1109/CACSD.1994.288910
