loading...
Integrating CSP and DC
Greenbelt, Maryland December 02-December 04
DOI Bookmark: http://doi.ieeecomputersociety.org/10.1109/ICECCS.2002.1181497Eighth IEEE International Conference ...
 This Article 
 
Buy PURCHASE ARTICLE: $19
PDF
HTML
Buy IEEE Xplore Subscribers
 
 Share 
   
 Bibliographic References 
   
 Add to: 
 
Digg
Furl
Spurl
Blink
Simpy
Google
Del.icio.us
Y!MyWeb
 
 Search 
   
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 -
 
Jifeng He, United Nations University
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.