Reachability analysis of rational eigenvalue linear systems

DOI10.1080/00207720903480691zbMath1206.93013OpenAlexW2028881181MaRDI QIDQ3072442

No author found.

Publication date: 3 February 2011

Published in: International Journal of Systems Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1080/00207720903480691

zbMATH Keywords

linear systemsinterval arithmeticcontinued fractionsreachability analysisexponential polynomialsreal root isolation

Mathematics Subject Classification ID

Linear systems in control theory (93C05) Pole and zero placement problems (93B55) General methods in interval analysis (65G40) Attainable sets, reachability (93B03)

Related Items (11)

Solution of the delayed single degree of freedom system equation by exponential matrix method ⋮ Recent advances in program verification through computer algebra ⋮ Positive root isolation for poly-powers by exclusion and differentiation ⋮ Time-bounded termination analysis for probabilistic programs with delays ⋮ Quantifier elimination for a class of exponential polynomial formulas ⋮ An exponential matrix method for solving systems of linear differential equations ⋮ Exponential collocation method for solutions of singularly perturbed delay differential equations ⋮ An exponential approximation for solutions of generalized pantograph-delay differential equations ⋮ An exponential collocation method for the solutions of the HIV infection model of CD4+T cells ⋮ Some decidable results on reachability of solvable systems ⋮ Partial eigenstructure assignment problem and its application to the constrained linear problem

Uses Software

• Maple

Cites Work

• The algorithmic analysis of hybrid systems
• Partial cylindrical algebraic decomposition for quantifier elimination
• What's decidable about hybrid automata?
• Reachability analysis of dynamical systems having piecewise-constant derivatives
• O-minimal hybrid systems.
• Optimal technique for estimating the reachable set of a controlledn-dimensional linear system
• Further results on stability and stabilisation of linear systems with state and input delays
• A dwell time approach to the stability of switched linear systems based on the distance between eigenvector sets
• Reachability Analysis of Discrete-Time Systems With Disturbances
• Deciding polynomial-exponential problems
• Symbolic reachability computation for families of linear vector fields

This page was built for publication: Reachability analysis of rational eigenvalue linear systems