The following pages link to (Q4953375):
Displayed 12 items.
- Enclosing the behavior of a hybrid automaton up to and beyond a Zeno point (Q254170) (← links)
- An algebra of hybrid systems (Q1001892) (← 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)
- A Formal Framework for User Centric Control of Probabilistic Multi-agent Cyber-Physical Systems (Q3393382) (← links)
- Compositional Modeling and Minimization of Time-Inhomogeneous Markov Chains (Q3523111) (← links)
- Bio-PEPA with Events (Q3642952) (← links)
- Synthesizing SystemC Code from Delay Hybrid CSP (Q5055993) (← links)
- A Hybrid Denotational Semantics for Hybrid Systems (Q5458386) (← links)