@inproceedings{f6da25d1edd640e7804c9093a187ba6a,
title = "Integrating CSP and DC",
abstract = "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 the control program which will force the continuous device to meet its specification. This paper presents a formal description language for hybrid systems, 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.",
keywords = "Assembly, Calculus, Control systems, Digital control, Helium, Logic functions, Mathematics, Real time systems, System testing, Timing",
author = "Jifeng He",
note = "Publisher Copyright: {\textcopyright} 2002 IEEE.; 8th IEEE international Conference on Engineering of Complex Computer Systems, ICECCS 2002 ; Conference date: 02-12-2002 Through 04-12-2002",
year = "2002",
doi = "10.1109/ICECCS.2002.1181497",
language = "英语",
series = "Proceedings of the IEEE International Conference on Engineering of Complex Computer Systems, ICECCS",
publisher = "Institute of Electrical and Electronics Engineers Inc.",
pages = "47--54",
booktitle = "Proceedings - 8th IEEE international Conference on Engineering of Complex Computer Systems, ICECCS 2002",
address = "美国",
}