Optimal semicomputable approximations to reachable and invariant sets

DOI10.1007/S00224-006-1338-3MaRDI QIDQ2642902zbMATH OpenOpenAlexFDO

Authors Pieter Collins

Publication date 6 September 2007

Published in Theory of Computing Systems (Search for Journal in Brave)

Copyright license Creative Commons Attribution-NonCommercial 4.0 International

Full work available at URL https://doi.org/10.1007/s00224-006-1338-3

zbMATH Keywords

computable analysisdiscrete-time systemsTuring machines

Mathematics Subject Classification ID

Attainable sets, reachability (93B03) Nonlinear systems in control theory (93C10) Discrete-time control/observation systems (93C55)

Recommendations

• Continuity and computability of reachable sets
• scientific article; zbMATH DE number 1507212
• Semidefinite Approximations of Reachable Sets for Discrete-time Polynomial Systems
• Approximation of reachable sets using optimal control algorithms
• Computing the viability kernel using maximal reachable sets

Cited in

(7)

• Semantics and computability of the evolution of hybrid systems
• Continuity and computability of reachable sets
• Computable semantics for \(\text{CTL}^*\) on discrete-time and continuous-space dynamic systems
• Verification of Hybrid Systems
• The Reach-and-Evolve Algorithm for Reachability Analysis of Nonlinear Dynamical Systems
• Computable analysis with applications to dynamic systems
• Computable CTL * for Discrete-Time and Continuous-Space Dynamic Systems

Describes a project that uses

Uses Software

• GAIO
• HyTech
• PHAVer

This page was built for publication: Optimal semicomputable approximations to reachable and invariant sets

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2642902)