|
| This Article | ||
| ||
| Share | ||
| Bibliographic References | ||
| Add to: | ||
 Digg  Furl  Spurl  Blink  Simpy  Google  Del.icio.us  Y!MyWeb | ||
| Search | ||
| ||
Eighth IEEE International Conference on Engineering of Complex Computer Systems (ICECCS'02)
Integrating CSP and DC
Greenbelt, Maryland
December 02-December 04
ISBN: 0-7695-1757-9
| ASCII Text | x | ||
| Jifeng He, "Integrating CSP and DC," Engineering of Complex Computer Systems, IEEE International Conference on, pp. 47, Eighth IEEE International Conference on Engineering of Complex Computer Systems (ICECCS'02), 2002. | |||
| BibTex | x | ||
| @article{ 10.1109/ICECCS.2002.1181497, author = {Jifeng He}, title = {Integrating CSP and DC}, journal ={Engineering of Complex Computer Systems, IEEE International Conference on}, volume = {0}, year = {2002}, issn = {1050-4729}, pages = {47}, doi = {http://doi.ieeecomputersociety.org/10.1109/ICECCS.2002.1181497}, publisher = {IEEE Computer Society}, address = {Los Alamitos, CA, USA}, } | |||
| RefWorks Procite/RefMan/Endnote | x | ||
| TY - CONF JO - Engineering of Complex Computer Systems, IEEE International Conference on TI - Integrating CSP and DC SN - 1050-4729 SP EP A1 - Jifeng He, PY - 2002 KW - null VL - 0 JA - Engineering of Complex Computer Systems, IEEE International Conference on ER - | |||
Hybrid systems are interactive systems of continuous devices and digital control programs. Typical examples are digital modules that control a physical environment evolving over time. The principal problem of the subject is to model them so that given a specification for the continuous component of the system, we can extract, if this is possible, from the description of the total system and the specification of the continuous component, the specification of thecontrol program which will force the continuous device to meet its specification.This paper presents a formal description language for hybrid sys- tems, which is an integration of CSP, which describes digital control programs, and DC for specification of continuous devices. We define primitive operators over systems in DC and prove that so defined operators meet basic algebraic laws of these operators.
Citation:
Jifeng He, "Integrating CSP and DC," iceccs, pp.47, Eighth IEEE International Conference on Engineering of Complex Computer Systems (ICECCS'02), 2002
Usage of this product signifies your acceptance of the Terms of Use.