Hybrid process algebra

被引：60

作者：

Cuijpers, PJL ^{[1
]}

Reniers, MA ^{[1
]}

机构：

[1] Eindhoven Univ Technol, NL-5600 MB Eindhoven, Netherlands

来源：

JOURNAL OF LOGIC AND ALGEBRAIC PROGRAMMING | 2005年 / 62卷 / 02期

关键词：

hybrid systems; process algebra; flows; discrete events; hybrid interaction; discontinuities;

D O I：

10.1016/j.jlap.2004.02.001

中图分类号：

学科分类号：

摘要：

We develop an algebraic theory, called hybrid process algebra (HyPA), for the description and analysis of hybrid systems. HyPA is an extension of the process algebra ACP with the disrupt operator from LOTOS and with flow clauses and re-initialization clauses for the description of continuous behavior and discontinuities. The semantics of HyPA is defined by means of deduction rules that associate a hybrid transition system with each process term. A large set of axioms is presented for a notion of bisimilarity. HyPA may be regarded as an algebraic approach to hybrid automata, although the specific semantics of re-initialization clauses makes HyPA a little more expressive. (C) 2004 Elsevier Inc. All rights reserved.

引用

页码：191 / 245

页数：55

共 50 条

[21] Linear Process Algebra
Pratt, Vaughan
[J]. DISTRIBUTED COMPUTING AND INTERNET TECHNOLOGY, 2011, 6536 : 92 - 111
[22] Process algebra in PVS
Basten, T
Hooman, J
[J]. TOOLS AND ALGORITHMS FOR THE CONSTRUCTION AND ANALYSIS OF SYSTEMS, 1999, 1579 : 270 - 284
[23] AN ALGEBRA FOR PROCESS CREATION
BAETEN, JCM
VAANDRAGER, FW
[J]. ACTA INFORMATICA, 1992, 29 (04) : 303 - 334
[24] Process Algebra as Modelling
Tofts, Chris
[J]. ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE, 2006, 162 : 323 - 326
[25] A Generic Process Algebra
Baeten, Jos C. M.
Bravetti, Mario
[J]. ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE, 2006, 162 : 65 - 71
[26] Analysis of a Mixed-Signal Circuit in Hybrid Process Algebra ACP(hs)(srt)
Man, K. L.
Schellekens, M. P.
[J]. ENGINEERING LETTERS, 2007, 15 (02)
[27] Process Opacity for Timed Process Algebra
Gruska, Damas P.
[J]. PERSPECTIVES OF SYSTEM INFORMATICS, PSI 2014, 2015, 8974 : 151 - 160
[28] Towards an algebra of hybrid systems
Hoefner, Peter
Moeller, Bernhard
[J]. RELATIONAL METHODS IN COMPUTER SCIENCE, 2005, 2006, 3929 : 121 - 133
[29] Hybrid matrix geometric algebra
Sobczyk, G
Erlebacher, G
[J]. COMPUTER ALGEBRA AND GEOMETRIC ALGEBRA WITH APPLICATIONS, 2005, 3519 : 191 - 206
[30] Hybrid reliable load balancing with MOSIX as middleware and its formal verification using process algebra
Mishra, Shakti
Kushwaha, D. S.
Misra, A. K.
[J]. FUTURE GENERATION COMPUTER SYSTEMS-THE INTERNATIONAL JOURNAL OF ESCIENCE, 2011, 27 (05): : 506 - 526

← 1 2 3 4 5 →