Some decidable results on reachability of solvable systems

References

• Achatz , M. , McCallum , S. and Weispfenning , V. 2008 . “ Deciding polynomial–exponential problems ” . In ISSAC 2008 , Edited by: Sendra , J. R. and Gonzalez-Vega , L. 215 – 222 . New York : ACM Press .
   Google Scholar
• Alur , R. , Courcoubetis , C. , Halbwachs , N. , Henzinger , T. A. , Ho , P. , Nicollin , X. , Olivero , A. , Sifakis , J. and Yovine , S. 1995 . The algorithmic analysis of hybrid systems . Theoretical Computer Science , 138 ( 1 ) : 3 – 34 .
   Web of Science ®Google Scholar
• Anai , H. and Weispfenning , V. 2001 . “ Reach set computations using real quantifier elimination ” . In HSCC 2001 , LNCS Edited by: Benedetto , M. D. D. and Sangiovanni-Vincentelli , A. L. Vol. 2034 , 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 ( 1 ) : 35 – 65 .
   Web of Science ®Google Scholar
• Aziz , A. , Sanwal , K. , Singhal , V. and Brayton , R. 2000 . Model-checking continuous-time Markov chains . ACM Transactions on Computational Logic , 1 ( 1 ) : 162 – 170 .
   Google Scholar
• Baker , A. 1975 . Transcendental number theory , London : Cambridge University Press .
   Google Scholar
• Buchberger , B. , Collins , G. E. and Loos , R. , eds. 1983 . Computer algebra: Symbolic and algebraic computation , 2nd ed. , Berlin : Springer .
   Google Scholar
• Chatterjee , D. , Ramponi , F. , Hokayem , P. and Lygeros , J. 2012 . On mean square boundedness of stochastic linear systems with bounded controls . Systems & Control Letters , 61 ( 2 ) : 375 – 380 .
   Web of Science ®Google Scholar
• Collins , G. E. 1975 . “ Quantifier elimination for real closed fields by cylindrical algebraic decomposition ” . In Automata theory and formal languages 1975 , LNCS Edited by: Brakhage , H. Vol. 33 , 134 – 183 . Berlin : Springer .
   Google Scholar
• Dolzmann , A. and Sturm , T. 1997 . Redlog: Computer algebra meets computer logic . ACM SIGSAM Bulletin , 31 ( 2 ) : 2 – 9 .
   Google Scholar
• Gargantini , I. and Henrici , P. 1972 . Circular arithmetic and the determination of polynomial zeros . Numerische Mathematik , 18 ( 4 ) : 305 – 320 .
   Web of Science ®Google Scholar
• Hardy , G. H. and Wright , E. M. 1979 . An introduction to the theory of numbers , 5th ed. , Oxford : Oxford University Press .
   Google Scholar
• Henzinger , T. A. , Kopke , P. W. , Puri , A. and Varaiya , P. 1998 . What's decidable about hybrid automata? . Journal of Computer and System Sciences , 57 ( 1 ) : 94 – 124 .
   Web of Science ®Google Scholar
• Kailath , T. 1980 . Linear systems , Upper Saddle River, NJ : Prentice Hall .
   Google Scholar
• Kamke , E. 1967 . Differentialgleichungen , Leipzig : B. G. Teubner GmbH .
   Google Scholar
• Lafferriere , G. , Pappas , G. J. and Yovine , S. 2001 . Symbolic reachability computaion for families of linear vector fields . Journal of Symbolic Computation , 32 ( 3 ) : 231 – 253 .
   Web of Science ®Google Scholar
• Liu , P. L. 2011 . Delay-dependent stabilization for linear time-delay uncertain systems with saturating actuators . International Journal of General Systems , 40 ( 3 ) : 301 – 312 .
   Web of Science ®Google Scholar
• Liu , J. , Zhan , N. and Zhao , H. 2011 . “ Computing semi-algebraic invariants for polynomial dynamical systems ” . In EMSOFT 2011 , Edited by: Chakraborty , S. , Jerraya , A. , Baruah , S. K. and Fischmeister , S. 97 – 106 . New York : ACM Press .
   Google Scholar
• Manna , Z. and Pnueli , A. 1993 . “ Verifying hybrid systems ” . In Hybrid systems , LNCS Edited by: Grossman , R. L. , Nerode , A. , Ravn , A. P. and Rischel , H. Vol. 736 , 4 – 35 . Berlin : Springer .
   Google Scholar
• Mitchell , I. M. and Tomlin , C. J. 2003 . Overapproximating reachable sets by Hamilton–Jacobi projections . Journal of Scientific Computing , 19 ( 1–3 ) : 323 – 346 .
   Web of Science ®Google Scholar
• Olds , C. D. 1963 . Continued fractions , New York : Random House .
   Google Scholar
• Platzer , A. and Clarke , E. M. 2008 . “ Computing differential invariants of hybrid systems as fixedpoints ” . In CAV 2008 , LNCS Edited by: Gupta , A. and Malik , S. Vol. 5123 , 176 – 189 . Berlin : Springer .
   Google Scholar
• Prajna , S. 2006 . Barrier certificates for nonlinear model validation . Automatica , 42 ( 1 ) : 117 – 126 .
   Web of Science ®Google Scholar
• Ratschan , S. and She , Z. 2010 . Providing a basin of attraction to a target region of polynomial systems by computation of Lyapunov-like functions . SIAM Journal on Control and Optimization , 48 ( 7 ) : 4377 – 4394 .
   Web of Science ®Google Scholar
• Rebiha , R. , Matringe , N. and Moura , A. V. 2012 . “ Transcendental inductive invariants generation for non-linear differential and hybrid systems ” . In HSCC 2012 , Edited by: Dang , T. and Mitchell , I. M. 25 – 34 . New York : ACM Press .
   Google Scholar
• Rodríguez-Carbonell , E. and Kapur , D. 2004 . “ Automatic generation of polynomial loop invariants: Algebraic foundations ” . In ISSAC 2004 , Edited by: Gutierrez , J. 266 – 273 . New York : ACM Press .
   Google Scholar
• Rodríguez-Carbonell , E. and Kapur , D. 2007 . Generating all polynomial invariants in simple loops . Journal of Symbolic Computation , 42 ( 4 ) : 443 – 476 .
   Web of Science ®Google Scholar
• Tarski , A. 1951 . A decision method for elementary algebra and geometry , 2nd ed. , Berkeley, CA : University of California Press .
   Google Scholar
• Tiwari , A. and Khanna , G. 2004 . “ Nonlinear systems: Approximating reach sets ” . In HSCC 2004 , LNCS Edited by: Alur , R. and Pappas , G. J. Vol. 2993 , 600 – 614 . Berlin : Springer .
   Google Scholar
• Wang , Z. , Shu , H. and Liu , X. 2005 . Reliable stabilization of stochastic time-delay systems with nonlinear disturbances . International Journal of General Systems , 34 ( 5 ) : 523 – 535 .
   Web of Science ®Google Scholar
• Xu , M. , Chen , L. , Zeng , Z. and Li , Z. B. 2010 . Reachability analysis of rational eigenvalue linear systems . International Journal of Systems Science , 41 ( 12 ) : 1411 – 1419 .
   Web of Science ®Google Scholar