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

fYear

2001

fDate

6/23/1905 12:00:00 AM

Firstpage

423

Lastpage

428

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;

fLanguage

English

Publisher

ieee

Conference_Titel

Computer Software and Applications Conference, 2001. COMPSAC 2001. 25th Annual International

Conference_Location

Chicago, IL

ISSN

0730-3157

Print_ISBN

0-7695-1372-7

Type

conf

DOI

10.1109/CMPSAC.2001.960648

Filename

960648