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