Process algebra for hybrid systems

被引：51
作者：
Bergstra, JA
Middelburg, CA
机构：
[1] Eindhoven Univ Technol, Dept Comp Sci, NL-5600 MB Eindhoven, Netherlands
[2] Univ Amsterdam, Programming Res Grp, NL-1009 DB Amsterdam, Netherlands
[3] Univ Utrecht, Dept Philosophy, NL-3508 TC Utrecht, Netherlands
来源：
THEORETICAL COMPUTER SCIENCE | 2005年 / 335卷 / 2-3期
关键词：
process algebra; hybrid systems; continuous relative timings; propositional signals; state evolutions; state transitions;
D O I：
10.1016/j.tcs.2004.04.019
中图分类号：
TP301 [理论、方法];
学科分类号：
081202 ;
摘要：
We propose a process algebra obtained by extending a combination of the process algebra with continuous relative timing from Baeten and Middelburg (Process Algebra with Timing, Springer, Berlin, 2002, Chapter 4), and the process algebra with propositional signals from Baeten and Bergstra (Theoret. Comput. Sci. 177 (1977) 381-405). The proposed process algebra makes it possible to deal with the behaviour of hybrid systems, i.e. systems in which the instantaneous state transitions caused by performing actions are alternated with continuous state evolutions. This process algebra has, in addition to equational axioms, rules to derive equations with the help of real analysis. (c) 2005 Elsevier B.V. All rights reserved.
引用
收藏
页码：215 / 280
页数：66
相关论文
共 55 条
[1]  
Aceto L., 2001, Handbook of Process Algebra, P197, DOI [10.1016/b978-044482830-9/50021-7, DOI 10.1016/B978-044482830-9/50021-7]
[2]  
ALUR R, 1990, LECT NOTES COMPUT SC, V443, P322, DOI 10.1007/BFb0032042
[3]   Automatic symbolic verification of embedded systems [J].
Alur, R ;
Henzinger, TA ;
Ho, PH .
IEEE TRANSACTIONS ON SOFTWARE ENGINEERING, 1996, 22 (03) :181-201
[4]   THE ALGORITHMIC ANALYSIS OF HYBRID SYSTEMS [J].
ALUR, R ;
COURCOUBETIS, C ;
HALBWACHS, N ;
HENZINGER, TA ;
HO, PH ;
NICOLLIN, X ;
OLIVERO, A ;
SIFAKIS, J ;
YOVINE, S .
THEORETICAL COMPUTER SCIENCE, 1995, 138 (01) :3-34
[5]  
ALUR R, 1994, THEORETICAL COMPUTER, V126, P235
[6]  
ALUR R, 2001, LECT NOTES COMPUTER, V2034, P33
[7]  
Alur Rajeev, 1993, Hybrid Systems, P209, DOI [DOI 10.1007/3-540-57318-6_30, DOI 10.1007/3-540-57318-6]
[8]  
Baeten J. C. M., 1991, Formal Aspects of Computing, V3, P142, DOI 10.1007/BF01898401
[9]  
Baeten J. C. M., 1993, Formal Aspects of Computing, V5, P481, DOI 10.1007/BF01211247
[10]  
Baeten J.C.M., 2001, HDB PROCESS ALGEBRA, P627
123456