Syntax and consistent equation semantics of hybrid Chi
From MaRDI portal
Recommendations
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 1956581 (Why is no real title available?)
- scientific article; zbMATH DE number 1956618 (Why is no real title available?)
- scientific article; zbMATH DE number 1956646 (Why is no real title available?)
- scientific article; zbMATH DE number 1455620 (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?)
- scientific article; zbMATH DE number 821282 (Why is no real title available?)
- scientific article; zbMATH DE number 1444339 (Why is no real title available?)
- A calculus of communicating systems
- Algorithmic analysis of nonlinear hybrid systems
- An introduction to hybrid dynamical systems
- Communicating sequential processes
- Dynamical properties of hybrid automata
- Equivalence of hybrid dynamical models
- Formal Modeling and Analysis of Timed Systems
- Formal specification and analysis of production systems
- Hybrid I/O automata.
- Hybrid Systems: Computation and Control
- Hybrid Systems: Computation and Control
- Hybrid Systems: Computation and Control
- Hybrid process algebra
- Linearization of hybrid processes
- Notions of bisimulation and congruence formats for SOS with data
- On hybrid Petri nets
- Process Algebra
- Process algebra for hybrid systems
- Process algebra with propositional signals
- Process algebra with timing
- Sliding modes in control and optimization. Transl. from the Russian
- Special issue: Hybrid Petri nets
- Structural operational semantics.
- Syntax and consistent equation semantics of hybrid Chi
- The algorithmic analysis of hybrid systems
Cited in
(23)- 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
- Structural operational semantics through context-dependent behaviour
- Declaration of unknowns in DAE-based hybrid system specification
- HYPE Applied to the Modelling of Hybrid Biological Systems
- Model-based engineering of embedded systems using the hybrid process algebra Chi
- Topological aspects of hybrid processes: a proposed treatment using non-standard analysis
- 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
- Bisimulation maps in presheaf categories
- Learning deterministic one-clock timed automata via mutation testing
- Revisiting sequential composition in process calculi
- Verification of Hybrid Systems
- Syntax and consistent equation semantics of hybrid Chi
- Quantified differential temporal dynamic logic for verifying properties of distributed hybrid systems
- Relating hybrid chi to other formalisms
- \(\pi\)\textsc{HyFlow}: formalism, semantics, and applications
- HYPE: A Process Algebra for Compositional Flows and Emergent Behaviour
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)
