Charon
From MaRDI portal
Cited in
(26)- Bio-PEPA with Events
- scientific article; zbMATH DE number 1444338 (Why is no real title available?)
- Algorithmic analysis of polygonal hybrid systems. I: Reachability
- A Formal Framework for User Centric Control of Probabilistic Multi-agent Cyber-Physical Systems
- Modeling and simulation of cardiac tissue using hybrid I/O automata
- Compositional modeling and refinement for hierarchical hybrid systems
- Synthesizing SystemC Code from Delay Hybrid CSP
- Zélus: a synchronous language with ODEs
- HYST: a source transformation and translation tool for hybrid automaton models
- Java-MaC: A run-time assurance approach for Java programs
- SPeeDI
- SysML
- Quartz
- d/dt
- HyDI
- Enclosing the behavior of a hybrid automaton up to and beyond a Zeno point
- R-Charon
- HyCreate
- Zelus
- SystemModeler
- CellExcite
- Hybrid Systems: Computation and Control
- Monotonic hybrid systems
- Spatial networks of hybrid I/O automata for modeling excitable tissue
- An algebra of hybrid systems
- From synchronous programs to symbolic representations of hybrid systems
This page was built for software: Charon
