Searching for "Approximate Simulation Relations for Hybrid Systems." – sorted by Relevance.
3 documents found, showing 1 through 3.
-
Approximate simulation relations for hybrid systems
- …APPROXIMATE SIMULATION RELATIONS FOR HYBRID SYSTEMS 1 Antoine Girard ∗ A. Agung Julius ∗ George J…
- Cited by 5 (1 self) – Add To MetaCart
-
Discrete Event Dyn Syst DOI 10.1007/s10626-007-0029-9 Approximate Simulation Relations for Hybrid
- … of approximate simulation relations which can be used for hybrid systems approximation. For several classes…
- Add To MetaCart
-
An algorithm to quantify behavioural similarity between probabilistic systems
- … and Pappas [GJP06] presented δ-approximate simulation relation for hybrid systems [ATHP00] and an 5 algorithm…
- Cited by 1 (1 self) – Add To MetaCart
Showing 1 through 3.
