Publication:3072442

DOI10.1080/00207720903480691zbMATH Open1206.93013OpenAlexW2028881181MaRDI QIDQ3072442FDOQ3072442

Author name not available (Why is that?)

Publication date: 3 February 2011

Published in: International Journal of Systems Science. Principles and Applications of Systems and Integration (Search for Journal in Brave)

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

zbMATH Keywords

continued fractionslinear systemsinterval arithmeticreachability analysisexponential polynomialsreal root isolation

Mathematics Subject Classification ID

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

Cites Work

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

Cited In (12)

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

Uses Software

• Maple

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

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