Title :
A case study on formal design of hybrid control systems
Author :
Thae, Hong Ki ; Van Hung, Dang
Author_Institution :
Int. Inst. for Software Technol., United Nations Univ., Macau
fDate :
6/23/1905 12:00:00 AM
Abstract :
The authors present an approach to the design of hybrid systems by a combination of several comprehensive formalization techniques. We use Duration Calculus (DC) to specify the requirement and design at abstract level of system development. Then the high level designs are further refined in control theory. A formal verification may be done either in DC if it is possible, or in predicate calculus using the semantics of DC or theorems from control theory. We show our techniques through a double water tank case study which is one of the benchmark problems for modern process control engineering
Keywords :
control system CAD; embedded systems; formal logic; formal verification; process control; DC; case study; comprehensive formalization techniques; control theory; discrete design; double water tank; duration calculus; embedded systems; formal design; formal verification; high level designs; hybrid control systems design; predicate calculus; process control engineering; system development; Automatic control; Calculus; Computer aided software engineering; Computer science; Control engineering; Control systems; Control theory; Embedded system; Logic; Process control;
Conference_Titel :
Computer Software and Applications Conference, 2001. COMPSAC 2001. 25th Annual International
Conference_Location :
Chicago, IL
Print_ISBN :
0-7695-1372-7
DOI :
10.1109/CMPSAC.2001.960648
