Charon
From MaRDI portal
Software:31579
swMATH19755MaRDI QIDQ31579FDOQ31579
Author name not available (Why is that?)
Cited In (16)
- Title not available (Why is that?)
- Enclosing the behavior of a hybrid automaton up to and beyond a Zeno point
- Algorithmic analysis of polygonal hybrid systems. I: Reachability
- An algebra of hybrid systems
- Hybrid Systems: Computation and Control
- Bio-PEPA with Events
- Monotonic hybrid systems
- HYST
- 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
- Zélus
- Modeling and simulation of cardiac tissue using hybrid I/O automata
- Java-MaC: A run-time assurance approach for Java programs
- Compositional modeling and refinement for hierarchical hybrid systems
This page was built for software: Charon
