Optimal semicomputable approximations to reachable and invariant sets
From MaRDI portal
Publication:2642902
DOI10.1007/s00224-006-1338-3zbMath1118.93320OpenAlexW2023384404MaRDI QIDQ2642902
Publication date: 6 September 2007
Published in: Theory of Computing Systems (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/s00224-006-1338-3
Lua error in Module:PublicationMSCList at line 37: attempt to index local 'msc_result' (a nil value).
Related Items (5)
Verification of Hybrid Systems ⋮ COMPUTABLE SEMANTICS FOR CTL* ON DISCRETE-TIME AND CONTINUOUS-SPACE DYNAMIC SYSTEMS ⋮ Computable analysis with applications to dynamic systems ⋮ The Reach-and-Evolve Algorithm for Reachability Analysis of Nonlinear Dynamical Systems ⋮ Computable CTL * for Discrete-Time and Continuous-Space Dynamic Systems
Uses Software
This page was built for publication: Optimal semicomputable approximations to reachable and invariant sets
