Reachability in Linear Dynamical Systems
From MaRDI portal
Recommendations
- On recurrent reachability for continuous linear dynamical systems
- A note on the undecidability of the reachability problem for o-minimal dynamical systems
- scientific article; zbMATH DE number 3856905
- scientific article; zbMATH DE number 7559115
- On the Skolem problem for continuous linear dynamical systems
Cites work
- A survey of computational complexity results in systems and control
- An Inequality About Factors of Polynomials
- Deterministic Nonperiodic Flow
- Deux propriétés décidables des suites récurrentes linéaires
- Differential equations, dynamical systems, and an introduction to chaos
- scientific article; zbMATH DE number 6698765 (Why is no real title available?)
- scientific article; zbMATH DE number 3147675 (Why is no real title available?)
- scientific article; zbMATH DE number 47603 (Why is no real title available?)
- scientific article; zbMATH DE number 3484411 (Why is no real title available?)
- scientific article; zbMATH DE number 3497962 (Why is no real title available?)
- scientific article; zbMATH DE number 481933 (Why is no real title available?)
- scientific article; zbMATH DE number 1927563 (Why is no real title available?)
- scientific article; zbMATH DE number 1794363 (Why is no real title available?)
- scientific article; zbMATH DE number 3360098 (Why is no real title available?)
- Irreducibles and the composed product for polynomials over a finite field
- New Computational Paradigms
- Polynomial-time algorithm for the orbit problem
- Reachability analysis of dynamical systems having piecewise-constant derivatives
- The presence of a zero in an integer linear recurrent sequence is NP-hard to decide
Cited in
(26)- Computational bounds on polynomial differential equations
- Equation of the reachability sets
- Reachability analysis of linear dynamic systems with constant, arbitrary, and Lipschitz continuous inputs
- Reachability and observability of linear impulsive systems
- scientific article; zbMATH DE number 3856905 (Why is no real title available?)
- scientific article; zbMATH DE number 5533384 (Why is no real title available?)
- Asymptotic orders of reachability in perturbed linear systems
- scientific article; zbMATH DE number 123744 (Why is no real title available?)
- scientific article; zbMATH DE number 1956651 (Why is no real title available?)
- scientific article; zbMATH DE number 1500537 (Why is no real title available?)
- Continuous-time orbit problems are decidable in polynomial-time
- On the Skolem problem for continuous linear dynamical systems
- On recurrent reachability for continuous linear dynamical systems
- Reachability indices of positive linear systems
- Finite bisimulations for dynamical systems with overlapping trajectories
- On the decidability of reachability in linear time-invariant systems
- scientific article; zbMATH DE number 3234735 (Why is no real title available?)
- What's decidable about discrete linear dynamical systems?
- Synthesis of hybrid automata with affine dynamics from time-series data
- On the decidability of reachability in continuous time linear time-invariant systems
- Model checking linear dynamical systems under floating-point rounding
- Verified propagation of imprecise probabilities in non-linear ODEs
- Invariants for continuous linear dynamical systems
- Axiomatization of compact initial value problems: open properties
- Reachability of time-varying fractional dynamical systems with Riemann-Liouville fractional derivative
- The continuous Skolem-Pisot problem
This page was built for publication: Reachability in Linear Dynamical Systems
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3507439)
