Reachability analysis of rational eigenvalue linear systems

References

• Achatz , M , McCallum , S and Weispfenning , V . 2008 . “ Deciding Polynomial-Exponential Problems ” . In in ISSAC 2008 , 215 – 222 . New York : ACM .
   Google Scholar
• Alur , R , Courcoubetis , C , Halbwachs , N , Henzinger , TA , Ho , PH , Nicollin , X , Olivero , A , Sifakis , J and Yovine , S . 1995 . The Algorithmic Analysis of Hybrid Systems . Theoretical Computer Science , 138 : 3 – 34 .
   Web of Science ®Google Scholar
• Alur , R and Dill , D . 1992 . “ The Theory of Timed Automata ” . In Real-Time: Theory in Practice , LNCS 600 Edited by: de Bakker , JW , Huizing , C , de Roever , WR and Rozenberg , G . 43 – 73 . Berlin : Springer .
   Google Scholar
• Anai , H and Weispfenning , V . 2001 . “ Reach Set Computations Using Real Quantifier Elimination ” . In HSCC 2001 , LNCS 2034 Edited by: Benedetto , MDD and Sangiovanni-Vincentelli , A . 63 – 76 . Berlin : Springer .
   Google Scholar
• Asarin , E , Maler , O and Pnueli , A . 1995 . Reachability Analysis of Dynamical Systems Having Piecewise-constant Derivatives . Theoretical Computer Science , 138 : 35 – 65 .
   Web of Science ®Google Scholar
• Collins , GE . Quantifier Elimination for Real Closed Fields by Cylindrical Algebraic Decomposition . Automata Theory and Formal Languages 2nd GI Conference . 1975 . Edited by: Brakhage , H . pp. 134 – 183 . Berlin : Springer . LNCS 33
   Google Scholar
• Collins , GE and Hong , H . 1991 . Partial Cylindrical Algebraic Decomposition for Quantifier Elimination . Journal of Symbolic Computation , 12 : 299 – 328 .
   Web of Science ®Google Scholar
• Dang , T and Maler , O . 1998 . “ Reachability Analysis via Face Lifting ” . In HSCC 1998 , LNCS 1386 Edited by: Henzinger , TA and Sastry , S . 96 – 109 . Berlin : Springer .
   Google Scholar
• Desoer , CA and Wing , J . 1961 . A Minimal Time Discrete System . IRE Transactions on Automatic Control , 6 : 111 – 125 .
   Google Scholar
• Hakan , Y and Pappas , GJ . Geometric Programming Relaxations for Linear System Reachability . American Control Conference, Proceedings of the 2004 . 2004 . pp. 553 – 559 .
   Google Scholar
• Hardy , GH and Wright , EM . 1979 . An Introduction to The Theory of Numbers , 5th , London : Oxford University Press .
   Google Scholar
• Henzinger , TA , Kopke , PW , Puri , A and Varaiya , P . 1998 . What's Decidable about Hybrid Automata? . Journal of Computer and System Sciences , 57 : 94 – 124 .
   Web of Science ®Google Scholar
• Kamke , E . 1967 . Differentialgleichungen , Leipzig : B. G. Teubner GmbH .
   Google Scholar
• Karabacak , Ö and Şengör , NS . 2009 . A Dwell Time Approach to The Stability of Switched Linear Systems Based on The Distance between Eigenvector Sets . International Journal of Systems Science , 40 : 845 – 853 .
   Web of Science ®Google Scholar
• Kurzhanski , AB and Varaiya , P . 2000 . “ Ellipsoidal Techniques for Reachability Analysis ” . In HSCC 2000 , LNCS 1790 Edited by: Lynch , N and Krogh , B . 202 – 214 . Berlin : Springer .
   Google Scholar
• Lafferriere , G , Pappas , GJ and Sastry , S . 2000 . O-Minimal Hybrid Systems . Mathematics of Control, Signals, and Systems , 13 : 1 – 21 .
   Web of Science ®Google Scholar
• Lafferriere , G , Pappas , GJ and Yovine , S . 2001 . Symbolic Reachability Computation for Families of Linear Vector Fields . Journal of Symbolic Computation , 32 : 231 – 253 .
   Web of Science ®Google Scholar
• Lambert , J.H. 1761 . Mémoire sur Quelques Propriét Remarquables des Quantités Transcendantes Circulaires et Logarithmiques . Mémoires de l'Académie des Sciences de Berlin , 17 : 265 – 322 .
   Google Scholar
• Lindemann , F. 1882 . Über di Zahl π . Mathematische Annalen , 20 : 213 – 225 .
   Google Scholar
• Mitchell , I and Tomlin , C . 2000 . “ Level Set Method for Computation in Hybrid Systems ” . In HSCC 2000 , LNCS 1790 Edited by: Lynch , N and Krogh , B . 311 – 323 . Berlin : Springer .
   Google Scholar
• Olds, C.D. (1963), Continued Fractions, New Mathematical Library 9, New York: Random House
   Google Scholar
• Puri , A and Varaiya , P . 1994 . “ Decidability of Hybrid Systems with Rectangular Differential Inclusions ” . In CAV 1994 , LNCS 818 Edited by: Dill , DL . 95 – 104 . Berlin : Springer .
   Google Scholar
• Rakovic , SV , Kerrigan , EC , Mayne , DQ and Lygeros , J . 2006 . Reachability Analysis of Discrete-time Systems with Disturbances . IEEE Transactions on Automatic Control , 51 : 546 – 561 .
   Web of Science ®Google Scholar
• Sabin , GCW and Summers , D . 1990 . Optimal Technique for Estimating The Reachable Set of A Controlled n-Dimensional Linear System . International Journal of Systems Science , 21 : 675 – 692 .
   Web of Science ®Google Scholar
• Siegel , CL . 1949 . Transcendental Numbers , New Jersey : Princeton University Press .
   Google Scholar
• Tarski , A . 1951 . A Decision Method for Elementary Algebra and Geometry , Berkeley : University of California Press .
   Google Scholar
• Tiwari , A and Khanna , G . 2004 . “ Nonlinear Systems: Approximating Reach Sets ” . In HSCC 2004 , LNCS 2993 Edited by: Alur , R and Pappas , G . 171 – 174 . Berlin : Springer .
   Google Scholar
• Zhang , XM , Li , M , Wu , M and She , JH . 2009 . Further Results on Stability and Stabilisation of Linear Systems with State and Input Delays . International Journal of Systems Science , 40 : 1 – 10 .
   Web of Science ®Google Scholar