Reachability analysis of rational eigenvalue linear systems

DOI10.1080/00207720903480691MaRDI QIDQ3072442zbMATH OpenOpenAlexFDO

Authors

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 fractionsexponential polynomialsinterval arithmeticlinear systemsreachability analysisreal 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)

Recommendations

• Symbolic reachability computation for families of linear vector fields
• scientific article; zbMATH DE number 1956651
• Some decidable results on reachability of solvable systems
• Reachability analysis of linear systems with stepwise constant inputs
• Hybrid Systems: Computation and Control

Cites work

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

Cited in

(15)

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

Describes a project that uses

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)