Relating hybrid chi to other formalisms

DOI10.1016/J.ENTCS.2006.09.041zbMATH Open1277.68149OpenAlexW2130774155MaRDI QIDQ2864397FDOQ2864397

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

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

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

zbMATH Keywords

verificationmodellingsimulationhybrid automatahybrid systemsPWA systems

Mathematics Subject Classification ID

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

Cites Work

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

Cited In (3)

• Biform Theories in Chiron
• Formal Modeling and Analysis of Timed Systems
• Syntax and consistent equation semantics of hybrid Chi

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)