loading...
 This Article 
   
 Share 
   
 Bibliographic References 
   
 Add to: 
 
Digg
Furl
Spurl
Blink
Simpy
Google
Del.icio.us
Y!MyWeb
 
 Search 
   
25th Annual International Computer Software and Applications Conference (COMPSAC'01)
A Case Study on Formal Design of Hybrid Control Systems
Chicago, Illinois
October 08-October 12
ISBN: 0-7695-1372-7
ASCII Text
x 
 
Hong Ki Thae, Dang Van Hung, "A Case Study on Formal Design of Hybrid Control Systems," Computer Software and Applications Conference, Annual International, pp. 423, 25th Annual International Computer Software and Applications Conference (COMPSAC'01), 2001.
 
 
BibTex
x
 
@article{ 10.1109/CMPSAC.2001.960648,
author = {Hong Ki Thae and Dang Van Hung},
title = {A Case Study on Formal Design of Hybrid Control Systems},
journal ={Computer Software and Applications Conference, Annual International},
volume = {0},
year = {2001},
issn = {0730-3157},
pages = {423},
doi = {http://doi.ieeecomputersociety.org/10.1109/CMPSAC.2001.960648},
publisher = {IEEE Computer Society},
address = {Los Alamitos, CA, USA},
}
 
 
RefWorks Procite/RefMan/Endnote
x 
 
TY - CONF
JO - Computer Software and Applications Conference, Annual International
TI - A Case Study on Formal Design of Hybrid Control Systems
SN - 0730-3157
SP
EP
A1 - Hong Ki Thae,
A1 - Dang Van Hung,
PY - 2001
KW - Embedded Systems
KW - Discrete Design
KW - Control Theory
KW - Duration Calculus.
VL - 0
JA - Computer Software and Applications Conference, Annual International
ER -
 
Hong Ki Thae, International Institute for Software Technology
Dang Van Hung, International Institute for Software Technology
In this paper, we present an approach to the design of hybrid systems by 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 bench mark problem for modern process control engineering.
Index Terms:
Embedded Systems, Discrete Design, Control Theory, Duration Calculus.
Citation:
Hong Ki Thae, Dang Van Hung, "A Case Study on Formal Design of Hybrid Control Systems," compsac, pp.423, 25th Annual International Computer Software and Applications Conference (COMPSAC'01), 2001
Usage of this product signifies your acceptance of the Terms of Use.