Syntax and consistent equation semantics of hybrid Chi
DOI10.1016/J.JLAP.2005.10.005zbMATH Open1088.68111OpenAlexW2126489030MaRDI QIDQ2368698FDOQ2368698
Authors: D. A. van Beek, K. L. Man, R. R. H. Schiffelers, Michel A. Reniers, Jacobus E. Rooda 
Publication date: 28 April 2006
Published in: The Journal of Logic and Algebraic Programming (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1016/j.jlap.2005.10.005
Recommendations
Formal languages and automata (68Q45) Specification and verification (program logics, model checking, etc.) (68Q60) Semantics in the theory of computing (68Q55)
Cites Work
- Hybrid Systems: Computation and Control
- 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
- Syntax and consistent equation semantics of hybrid Chi
- Notions of bisimulation and congruence formats for SOS with data
- Structural operational semantics.
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Equivalence of hybrid dynamical models
- A calculus of communicating systems
- Communicating sequential processes
- Dynamical properties of hybrid automata
- The algorithmic analysis of hybrid systems
- Process algebra with propositional signals
- Process Algebra
- On hybrid Petri nets
- Process algebra with timing
- Title not available (Why is that?)
- Hybrid I/O automata.
- Title not available (Why is that?)
- Linearization of hybrid processes
- Title not available (Why is that?)
- Special issue: Hybrid Petri nets
- Algorithmic analysis of nonlinear hybrid systems
- Hybrid Systems: Computation and Control
- Title not available (Why is that?)
- Formal Modeling and Analysis of Timed Systems
- Formal specification and analysis of production systems
- Title not available (Why is that?)
- Title not available (Why is that?)
Cited In (21)
- Analyzing a \(\chi\) model of a turntable system using Spin, CADP and Uppaal
- Lost in Translation: Hybrid-Time Flows vs. Real-Time Transitions
- Modelling and analysing neural networks using a hybrid process algebra
- A Hybrid Denotational Semantics for Hybrid Systems
- HYPE: hybrid modelling by composition of flows
- Quantified Differential Temporal Dynamic Logic for Verifying Properties of Distributed Hybrid Systems
- Structural operational semantics through context-dependent behaviour
- HYPE Applied to the Modelling of Hybrid Biological Systems
- Model-based engineering of embedded systems using the hybrid process algebra Chi
- A probabilistic calculus of cyber-physical systems
- Repairing time-determinism in the process algebra for hybrid systems
- A compositional modelling and analysis framework for stochastic hybrid systems
- Formal Modeling and Analysis of Timed Systems
- Learning deterministic one-clock timed automata via mutation testing
- Bisimulation maps in presheaf categories
- Revisiting sequential composition in process calculi
- Verification of Hybrid Systems
- Syntax and consistent equation semantics of hybrid Chi
- Relating hybrid chi to other formalisms
- Topological Aspects of Hybrid Processes
- HYPE: A Process Algebra for Compositional Flows and Emergent Behaviour
Uses Software
This page was built for publication: Syntax and consistent equation semantics of hybrid Chi
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2368698)
