Formal Semantics of Hybrid Chi

R. R.H. Schiffelers; D. A. Van Beek; K. L. Man; M. A. Reniers; J. E. Rooda

doi:10.1007/978-3-540-40903-8_12

Formal Semantics of Hybrid Chi

R. R.H. Schiffelers^*, D. A. Van Beek, K. L. Man, M. A. Reniers, J. E. Rooda

^*Corresponding author for this work

Eindhoven University of Technology

Research output: Chapter in Book or Report/Conference proceeding › Chapter › peer-review

10 Citations (Scopus)

Abstract

The verification formalism / modeling and simulation language hybrid Chi is defined. The semantics of hybrid Chi is formally specified using Structured Operational Semantics (SOS) and a number of associated functions. The χ syntax and semantics can also deal with local scoping of variables and/or channels, implicit differential algebraic equations, such as higher index systems, and they are very well suited for specification of pure discrete event systems.

Original language	English
Title of host publication	Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Editors	Kim G. Larsen, Peter Niebert
Publisher	Springer Verlag
Pages	151-165
Number of pages	15
ISBN (Print)	3540216715, 9783540216711
DOIs	https://doi.org/10.1007/978-3-540-40903-8_12
Publication status	Published - 2004
Externally published	Yes

Publication series

Name	Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Volume	2791
ISSN (Print)	0302-9743
ISSN (Electronic)	1611-3349

Access to Document

10.1007/978-3-540-40903-8_12

Cite this

Schiffelers, R. R. H., Van Beek, D. A., Man, K. L., Reniers, M. A., & Rooda, J. E. (2004). Formal Semantics of Hybrid Chi. In K. G. Larsen, & P. Niebert (Eds.), Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (pp. 151-165). (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 2791). Springer Verlag. https://doi.org/10.1007/978-3-540-40903-8_12

Schiffelers, R. R.H. ; Van Beek, D. A. ; Man, K. L. et al. / Formal Semantics of Hybrid Chi. Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). editor / Kim G. Larsen ; Peter Niebert. Springer Verlag, 2004. pp. 151-165 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)).

@inbook{6f013717afbf43039f5cbdf548700037,

title = "Formal Semantics of Hybrid Chi",

abstract = "The verification formalism / modeling and simulation language hybrid Chi is defined. The semantics of hybrid Chi is formally specified using Structured Operational Semantics (SOS) and a number of associated functions. The χ syntax and semantics can also deal with local scoping of variables and/or channels, implicit differential algebraic equations, such as higher index systems, and they are very well suited for specification of pure discrete event systems.",

author = "Schiffelers, {R. R.H.} and {Van Beek}, {D. A.} and Man, {K. L.} and Reniers, {M. A.} and Rooda, {J. E.}",

year = "2004",

doi = "10.1007/978-3-540-40903-8_12",

language = "English",

isbn = "3540216715",

series = "Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)",

publisher = "Springer Verlag",

pages = "151--165",

editor = "Larsen, {Kim G.} and Peter Niebert",

booktitle = "Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)",

}

Schiffelers, RRH, Van Beek, DA, Man, KL, Reniers, MA & Rooda, JE 2004, Formal Semantics of Hybrid Chi. in KG Larsen & P Niebert (eds), Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), vol. 2791, Springer Verlag, pp. 151-165. https://doi.org/10.1007/978-3-540-40903-8_12

Formal Semantics of Hybrid Chi. / Schiffelers, R. R.H.; Van Beek, D. A.; Man, K. L. et al.
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). ed. / Kim G. Larsen; Peter Niebert. Springer Verlag, 2004. p. 151-165 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 2791).

Research output: Chapter in Book or Report/Conference proceeding › Chapter › peer-review

TY - CHAP

T1 - Formal Semantics of Hybrid Chi

AU - Schiffelers, R. R.H.

AU - Van Beek, D. A.

AU - Man, K. L.

AU - Reniers, M. A.

AU - Rooda, J. E.

PY - 2004

Y1 - 2004

N2 - The verification formalism / modeling and simulation language hybrid Chi is defined. The semantics of hybrid Chi is formally specified using Structured Operational Semantics (SOS) and a number of associated functions. The χ syntax and semantics can also deal with local scoping of variables and/or channels, implicit differential algebraic equations, such as higher index systems, and they are very well suited for specification of pure discrete event systems.

AB - The verification formalism / modeling and simulation language hybrid Chi is defined. The semantics of hybrid Chi is formally specified using Structured Operational Semantics (SOS) and a number of associated functions. The χ syntax and semantics can also deal with local scoping of variables and/or channels, implicit differential algebraic equations, such as higher index systems, and they are very well suited for specification of pure discrete event systems.

UR - http://www.scopus.com/inward/record.url?scp=35048856453&partnerID=8YFLogxK

U2 - 10.1007/978-3-540-40903-8_12

DO - 10.1007/978-3-540-40903-8_12

M3 - Chapter

AN - SCOPUS:35048856453

SN - 3540216715

SN - 9783540216711

T3 - Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

SP - 151

EP - 165

BT - Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

A2 - Larsen, Kim G.

A2 - Niebert, Peter

PB - Springer Verlag

ER -

Schiffelers RRH, Van Beek DA, Man KL, Reniers MA, Rooda JE. Formal Semantics of Hybrid Chi. In Larsen KG, Niebert P, editors, Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). Springer Verlag. 2004. p. 151-165. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)). doi: 10.1007/978-3-540-40903-8_12

Formal Semantics of Hybrid Chi

Abstract

Publication series

Access to Document

Other files and links

Cite this