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 条

[1] Process algebra for hybrid systems
Bergstra, JA
Middelburg, CA
[J]. THEORETICAL COMPUTER SCIENCE, 2005, 335 (2-3) : 215 - 280
[2] Embeddings of hybrid automata in process algebra
Willemse, TAC
[J]. INTEGRATED FORMAL METHODS, PROCEEDINGS, 2004, 2999 : 343 - 362
[3] Case studies in the hybrid process algebra HyPA
Man, KL
Reniers, MA
Cuijpers, PJL
[J]. INTERNATIONAL JOURNAL OF SOFTWARE ENGINEERING AND KNOWLEDGE ENGINEERING, 2005, 15 (02) : 299 - 305
[4] Modelling and analysing neural networks using a hybrid process algebra
Colvin, Robert J.
[J]. THEORETICAL COMPUTER SCIENCE, 2016, 623 : 15 - 64
[5] Analysis of a mixed-signal circuit in hybrid process algebra ACPsrths
Man, K. L.
Schellekens, M. P.
[J]. IMECS 2007: INTERNATIONAL MULTICONFERENCE OF ENGINEERS AND COMPUTER SCIENTISTS, VOLS I AND II, 2007, : 568 - +
[6] Repairing time-determinism in the process algebra for hybrid systems ACPhssrt
Khadim, U.
Cuijpers, P. J. L.
[J]. THEORETICAL COMPUTER SCIENCE, 2012, 446 : 20 - 47
[7] TRANSLATING TIMED PROCESS ALGEBRA INTO PRIORITIZED PROCESS ALGEBRA
JEFFREY, A
[J]. LECTURE NOTES IN COMPUTER SCIENCE, 1991, 571 : 493 - 506
[8] Process Algebra Approach to Verifying Safety Specification of Hybrid Embedded Systems
Wu, Jinzhao
Yang, Shihan
[J]. PROCEEDINGS OF THE INTERNATIONAL CONFERENCE ON COMMUNICATION SOFTWARE AND NETWORKS, 2009, : 129 - +
[9] ‘Closed Interval Process Algebra’ versus ‘Interval Process Algebra’
Flavio Corradini
Marco Pistore
[J]. Acta Informatica, 2001, 37 : 467 - 509
[10] 'Closed interval process algebra' versus 'Interval process algebra'
Corradini, F
Pistore, M
[J]. ACTA INFORMATICA, 2001, 37 (07) : 467 - 510

← 1 2 3 4 5 →