Relating hybrid chi to other formalisms

DOI10.1016/J.ENTCS.2006.09.041MaRDI QIDQ2864397zbMATH OpenOpenAlexFDO

Authors D. A. van Beek, Jacobus E. Rooda, R. R. H. Schiffelers, K. L. Man, Michel A. Reniers

Publication date 6 December 2013

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.2006.09.041

zbMATH Keywords

verificationmodellingsimulationhybrid automatahybrid systemsPWA systems

Mathematics Subject Classification ID

Formal languages and automata (68Q45) Specification and verification (program logics, model checking, etc.) (68Q60)

Recommendations

• Syntax and consistent equation semantics of hybrid Chi
• Formal Modeling and Analysis of Timed Systems
• Model-based engineering of embedded systems using the hybrid process algebra Chi
• Continuity controlled hybrid automata
• scientific article; zbMATH DE number 1507210

Cites work

• scientific article; zbMATH DE number 3716792 (Why is no real title available?)
• scientific article; zbMATH DE number 41285 (Why is no real title available?)
• scientific article; zbMATH DE number 1956646 (Why is no real title available?)
• scientific article; zbMATH DE number 1507210 (Why is no real title available?)
• scientific article; zbMATH DE number 1759494 (Why is no real title available?)
• A calculus of communicating systems
• A structural approach to operational semantics
• Algebraic process verification.
• Algorithmic analysis of nonlinear hybrid systems
• An introduction to hybrid dynamical systems
• Analyzing a \(\chi\) model of a turntable system using Spin, CADP and Uppaal
• Continuity controlled hybrid automata
• Dynamical properties of hybrid automata
• Equivalence of hybrid dynamical models
• Hybrid I/O automata.
• Hybrid Systems: Computation and Control
• Hybrid action systems
• Hybrid process algebra
• Linear hybrid action systems
• Nonlinear regulation: The piecewise linear approach
• Notions of bisimulation and congruence formats for SOS with data
• Process algebra for hybrid systems
• Sliding modes in control and optimization. Transl. from the Russian
• Syntax and consistent equation semantics of hybrid Chi
• The algebra of timed processes, ATP: Theory and application
• The algorithmic analysis of hybrid systems
• Uppaal in a nutshell

Cited in

(5)

• Biform Theories in Chiron
• Model-based engineering of embedded systems using the hybrid process algebra Chi
• Formal Modeling and Analysis of Timed Systems
• Interoperability of Performance and Functional Analysis for Electronic System Designs in Behavioural Hybrid Process Calculus (BHPC)
• Syntax and consistent equation semantics of hybrid Chi

Describes a project that uses

Uses Software

• SPIN
• PHAVer
• HyTech
• Uppaal
• CADP
• Python

This page was built for publication: Relating hybrid chi to other formalisms

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2864397)