Model-based Engineering of Embedded Systems Using the Hybrid Process Algebra Chi

DOI10.1016/j.entcs.2008.04.003zbMath1279.68245OpenAlexW2161598271MaRDI QIDQ2870190

R. J. M. Theunissen, D. A. van Beek, R. R. H. Schiffelers, Jacobus E. Rooda, Michel Reniers, Jos C. M. Baeten, Pieter J. L. Cuijpers

Publication date: 17 January 2014

Published in: Electronic Notes in Theoretical Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/j.entcs.2008.04.003

zbMATH Keywords

verificationmodelingsimulationhybrid systemslinearizationprocess algebrahybrid automata

Mathematics Subject Classification ID

Algebraic theory of languages and automata (68Q70) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Related Items (1)

Rigorous Discretization of Hybrid Systems Using Process Calculi

Uses Software

• SPIN
• PHAVer
• HyTech
• Uppaal
• CADP

Cites Work

• Unnamed Item
• The algebra of timed processes, ATP: Theory and application
• Process algebra with timing
• Uppaal in a nutshell
• Analysis of an industrial system
• Linearization of hybrid processes
• Syntax and consistent equation semantics of hybrid Chi
• Analyzing a \(\chi\) model of a turntable system using Spin, CADP and Uppaal
• Formal specification and analysis of production systems
• Hybrid Systems: Computation and Control

This page was built for publication: Model-based Engineering of Embedded Systems Using the Hybrid Process Algebra Chi