Pages that link to "Item:Q3021278"
From MaRDI portal
The following pages link to Semantics and Computability of the Evolution of Hybrid Systems (Q3021278):
Displaying 10 items.
- Computation with perturbed dynamical systems (Q355515) (← links)
- A note on pretzelosity TMD parton distribution (Q1716721) (← links)
- Safety verification of non-linear hybrid systems is quasi-decidable (Q2248097) (← links)
- Solutions and reachable sets of hybrid dynamical systems: semicontinuous dependence on initial conditions, time, and perturbations (Q2682316) (← links)
- (Q3113768) (← links)
- (Q4475110) (← links)
- Computable analysis with applications to dynamic systems (Q5220187) (← links)
- Assume–guarantee verification of nonlinear hybrid systems with <scp>Ariadne</scp> (Q5408048) (← links)
- Regularity of optimal solutions and the optimal cost for hybrid dynamical systems via reachability analysis (Q6160741) (← links)
- A computable and compositional semantics for hybrid systems (Q6614877) (← links)