Pages that link to "Item:Q2566008"
From MaRDI portal
The following pages link to Continuity and computability of reachable sets (Q2566008):
Displaying 26 items.
- Computation with perturbed dynamical systems (Q355515) (← links)
- The ellipsoidal bound of reachable sets for linear neutral systems with disturbances (Q430198) (← links)
- Computability and the morphological complexity of some dynamics on continuous domains (Q930875) (← links)
- Computability in planar dynamical systems (Q1761693) (← links)
- Computability, noncomputability, and hyperbolic systems (Q2018989) (← links)
- Computability of products of chainable continua (Q2035483) (← links)
- Safety verification of non-linear hybrid systems is quasi-decidable (Q2248097) (← links)
- Optimal semicomputable approximations to reachable and invariant sets (Q2642902) (← links)
- Computability and Dynamical Systems (Q2908425) (← links)
- COMPUTABLE SEMANTICS FOR <i>CTL*</i> ON DISCRETE-TIME AND CONTINUOUS-SPACE DYNAMIC SYSTEMS (Q3016218) (← links)
- (Q3496207) (← links)
- Contract-Based Design for Computation and Verification of a Closed-Loop Hybrid System (Q3523098) (← links)
- Singular coverings and non‐uniform notions of closed set computability (Q3528149) (← links)
- Effectivity and effective continuity of multifunctions (Q3570164) (← links)
- (Q3606209) (← links)
- On computably locally compact Hausdorff spaces (Q3616220) (← links)
- Computable CTL * for Discrete-Time and Continuous-Space Dynamic Systems (Q3646256) (← links)
- On the Continuity of Effective Multifunctions (Q4918021) (← links)
- Effectivity on Continuous Functions in Topological Spaces (Q4918040) (← links)
- On Computable Metrization (Q4921450) (← links)
- The Reach-and-Evolve Algorithm for Reachability Analysis of Nonlinear Dynamical Systems (Q4982088) (← links)
- Computability of Differential Equations (Q5024569) (← links)
- A Survey on Analog Models of Computation (Q5024572) (← links)
- Computable analysis with applications to dynamic systems (Q5220187) (← links)
- Assume–guarantee verification of nonlinear hybrid systems with <scp>Ariadne</scp> (Q5408048) (← links)
- A computable and compositional semantics for hybrid systems (Q6614877) (← links)
