Pages that link to "Item:Q3465677"
From MaRDI portal
The following pages link to Symbolic models for time-varying time-delay systems via alternating approximate bisimulation (Q3465677):
Displayed 5 items.
- Optimal multirate sampling in symbolic models for incrementally stable switched systems (Q1716572) (← links)
- Symbolic abstractions for nonlinear control systems via feedback refinement relation (Q2174020) (← links)
- Symbolic models for retarded jump-diffusion systems (Q2288645) (← links)
- Synthesizing SystemC Code from Delay Hybrid CSP (Q5055993) (← links)
- Switching controller synthesis for delay hybrid systems under perturbations (Q6201580) (← links)
