Title :
Control analysis, synthesis and verification in hybrid control systems using I/O automata-a case study
Author :
Zhenyu, Yang ; Jian, Lu ; Chen Zhongji
Author_Institution :
Dept. of Autom. Control, Beijing Univ. of Aeronaut. & Astronaut., China
Abstract :
This paper is about control analysis, synthesis and verification of hybrid control systems (HCSs). Two kind of I/O automata are presented for modeling the extended plant of HCSs. DES I/O automata are defined by additionally introducing control alphabet, input and output events. Timed I/O automata are defined based on DES I/O automata by taking time delay into consideration. The decision-maker can be synthesised by using the proposed models. Some rules are presented for partial verification of correctness of the design. An inverted pendulum is used to illustrate our modeling techniques and proposed methods for control synthesis and verification
Keywords :
automata theory; control engineering; control system analysis; control system synthesis; delay systems; discrete event systems; DES I/O automata; control alphabet; control analysis; control synthesis; control verification; decision-maker; discrete event systems; hybrid control systems; inverted pendulum; time delay; timed I/O automata; Automata; Automatic control; Computer aided software engineering; Continuous time systems; Control system analysis; Control system synthesis; Control systems; Delay effects; Digital control; Transfer functions;
Conference_Titel :
Computer-Aided Control System Design, 1996., Proceedings of the 1996 IEEE International Symposium on
Conference_Location :
Dearborn, MI
Print_ISBN :
0-7803-3032-3
DOI :
10.1109/CACSD.1996.555194
