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 条

[41] A PROCESS ALGEBRA FOR TIMED SYSTEMS
HENNESSY, M
REGAN, T
[J]. INFORMATION AND COMPUTATION, 1995, 117 (02) : 221 - 239
[42] A Process Algebra for Supervisory Coordination
Baeten, Jos
van Beek, Bert
van Hulst, Allan
Markovski, Jasen
[J]. ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE, 2011, (60): : 36 - 55
[43] Revisiting timing in process algebra
Middelburg, CA
[J]. JOURNAL OF LOGIC AND ALGEBRAIC PROGRAMMING, 2003, 54 (1-2): : 109 - 127
[44] Product automata and process algebra
Lodaya, Kamal
[J]. SEFM 2006: FOURTH IEEE INTERNATIONAL CONFERENCE ON SOFTWARE ENGINEERING AND FORMAL METHODS, PROCEEDINGS, 2006, : 128 - 136
[45] PROCESS ALGEBRA WITH ITERATION AND NESTING
BERGSTRA, JA
BETHKE, I
PONSE, A
[J]. COMPUTER JOURNAL, 1994, 37 (04): : 243 - 258
[46] Process algebra with partial choice
Baeten, JCM
Bergstra, JA
[J]. CONCUR '94: CONCURRENCY THEORY, 1994, 836 : 465 - 480
[47] The Produoidal Algebra of Process Decomposition
Earnshaw, Matt
Hefford, James
Roman, Mario
[J]. 32ND EACSL ANNUAL CONFERENCE ON COMPUTER SCIENCE LOGIC, CSL 2024, 2024, 288
[48] Process algebra with propositional signals
Baeten, JCM
Bergstra, JA
[J]. THEORETICAL COMPUTER SCIENCE, 1997, 177 (02) : 381 - 405
[49] A Process Algebra Genetic Algorithm
Karaman, Sertac
Shima, Tal
Frazzoli, Emilio
[J]. IEEE TRANSACTIONS ON EVOLUTIONARY COMPUTATION, 2012, 16 (04) : 489 - 503
[50] A process algebra with global variables
Bouwman, Mark
Luttik, Bas
Schols, Wouter
Willemse, Tim A. C.
[J]. ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE, 2020, (322): : 33 - 50

← 1 2 3 4 5 →