swMATH19755MaRDI QIDQ31579FDOQ31579
Author name not available (Why is that?)
Official website: http://rd.springer.com/chapter/10.1007/3-540-46430-1_5
Cited In (25)
- 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
- SysML
- Quartz
- d/dt
- HyDI
- R-Charon
- HyCreate
- Zelus
- SystemModeler
- CellExcite
- 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
- 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
- Compositional modeling and refinement for hierarchical hybrid systems
This page was built for software: Charon
