The following pages link to Charon (Q31579):
Displaying 16 items.
- Enclosing the behavior of a hybrid automaton up to and beyond a Zeno point (Q254170) (← links)
- An algebra of hybrid systems (Q1001892) (← links)
- Java-MaC: A run-time assurance approach for Java programs (Q1878917) (← links)
- Modeling and simulation of cardiac tissue using hybrid I/O automata (Q2271452) (← links)
- Compositional modeling and refinement for hierarchical hybrid systems (Q2368695) (← links)
- Algorithmic analysis of polygonal hybrid systems. I: Reachability (Q2373713) (← links)
- Monotonic hybrid systems (Q2486564) (← links)
- Spatial networks of hybrid I/O automata for modeling excitable tissue (Q2870297) (← links)
- From synchronous programs to symbolic representations of hybrid systems (Q2985863) (← links)
- Zélus (Q2986915) (← links)
- HYST (Q2988924) (← links)
- A Formal Framework for User Centric Control of Probabilistic Multi-agent Cyber-Physical Systems (Q3393382) (← links)
- Bio-PEPA with Events (Q3642952) (← links)
- (Q4953375) (← links)
- Synthesizing SystemC Code from Delay Hybrid CSP (Q5055993) (← links)
- Hybrid Systems: Computation and Control (Q5898992) (← links)