Relating Hybrid Chi to Other Formalisms

DOI10.1016/j.entcs.2006.09.041zbMath1277.68149OpenAlexW2130774155MaRDI QIDQ2864397

K. L. Man, Jacobus E. Rooda, D. A. van Beek, R. R. H. Schiffelers, Michel 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 systemshybrid automataPWA systems

Mathematics Subject Classification ID

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

Uses Software

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

Cites Work

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