Providing a Basin of Attraction to a Target Region of Polynomial Systems by Computation of Lyapunov-Like Functions

Ratschan, Stefan - She, Z.
Providing a Basin of Attraction to a Target Region of Polynomial Systems by Computation of Lyapunov-Like Functions.
SIAM Journal on Control and Optimization. Roč. 48, č. 7 (2010), s. 4377-4394. ISSN 0363-0129. E-ISSN 1095-7138
Impakt faktor: 1.297, rok: 2010
http://hdl.handle.net/11104/0191083

Citováno: 25

--- GIESL, P.A. - HAFSTEIN, S.F. Revised CPA method to compute Lyapunov functions for nonlinear systems. JOURNAL OF MATHEMATICAL ANALYSIS AND APPLICATIONS. ISSN 0022-247X, FEB 1 2014, vol. 410, no. 1, p. 292-306. [WOS]
--- KHODADADI, L. - SAMADI, B. - KHALOOZADEH, H. Estimation of region of attraction for polynomial nonlinear systems: A numerical method. ISA TRANSACTIONS. ISSN 0019-0578, JAN 2014, vol. 53, no. 1, p. 25-32. [WOS]
--- HLADIK, M. Weak and strong solvability of interval linear systems of equations and inequalities. LINEAR ALGEBRA AND ITS APPLICATIONS. ISSN 0024-3795, JUN 1 2013, vol. 438, no. 11, p. 4156-4165. [WOS]
--- XU, M. - ZHU, J.Q. - LI, Z.B. Some decidable results on reachability of solvable systems. INTERNATIONAL JOURNAL OF GENERAL SYSTEMS. ISSN 0308-1079, MAY 1 2013, vol. 42, no. 4, p. 405-425. [WOS]
--- JERBI, H. Estimations of the Domains of Attraction for Classes of Nonlinear Continuous Polynomial Systems. ARABIAN JOURNAL FOR SCIENCE AND ENGINEERING. ISSN 2193-567X, JUL 2017, vol. 42, no. 7, p. 2829-2837. [WOS]
--- GUILBEAU, J.T. - HOSSAIN, M.I. - KARHBET, S.D. - KEARFOTT, R.B. - SANUSI, T.S. - ZHAO, L.H. A review of computation of mathematically rigorous bounds on optima of linear programs. JOURNAL OF GLOBAL OPTIMIZATION. ISSN 0925-5001, JUL 2017, vol. 68, no. 3, p. 677-683. [WOS]
--- BEN SASSI, M.A. - SANKARANARAYANAN, S. - CHEN, X. - ABRAHAM, E. Linear relaxations of polynomial positivity for polynomial Lyapunov function synthesis. IMA JOURNAL OF MATHEMATICAL CONTROL AND INFORMATION. ISSN 0265-0754, SEP 2016, vol. 33, no. 3, p. 723-756. [WOS]
--- BERKENKAMP, F. - MORICONI, R. - SCHOELLIG, A.P. - KRAUSE, A. Safe Learning of Regions of Attraction for Uncertain, Nonlinear Systems with Gaussian Processes. 2016 IEEE 55TH CONFERENCE ON DECISION AND CONTROL (CDC). ISSN 0743-1546, 2016, p. 4661-4666. [WOS]
--- YANG, Z.F. - HUANG, C. - CHEN, X. - LIN, W. - LIU, Z.M. A Linear Programming Relaxation Based Approach for Generating Barrier Certificates of Hybrid Systems. FM 2016: FORMAL METHODS. ISSN 0302-9743, 2016, vol. 9995, p. 721-738. [WOS]
--- GIESL, P. - HAFSTEIN, S. REVIEW ON COMPUTATIONAL METHODS FOR LYAPUNOV FUNCTIONS. DISCRETE AND CONTINUOUS DYNAMICAL SYSTEMS-SERIES B. ISSN 1531-3492, OCT 2015, vol. 20, no. 8, p. 2291-2331. [WOS]
--- SHELLER, B. - D'ALESSANDRO, D. ANALYSIS OF A CANCER DORMANCY MODEL AND CONTROL OF IMMUNO-THERAPY. MATHEMATICAL BIOSCIENCES AND ENGINEERING. ISSN 1547-1063, OCT 2015, vol. 12, no. 5, p. 1037-1053. [WOS]
--- BJORNSSON, J. - GIESL, P. - HAFSTEIN, S.F. - KELLETT, C.M. COMPUTATION OF LYAPUNOV FUNCTIONS FOR SYSTEMS WITH MULTIPLE LOCAL ATTRACTORS. DISCRETE AND CONTINUOUS DYNAMICAL SYSTEMS. ISSN 1078-0947, SEP 2015, vol. 35, no. 9, SI, p. 4019-4039. [WOS]
--- HELWA, M.K. - BROUCKE, M.E. Flow functions, control flow functions, and the reach control problem. AUTOMATICA. ISSN 0005-1098, MAY 2015, vol. 55, p. 108-115. [WOS]
--- DEMENKOV, M. A Matlab Tool for Regions of Attraction Estimation via Numerical Algebraic Geometry. 2015 INTERNATIONAL CONFERENCE ON MECHANICS SEVENTH POLYAKHOVS READING. 2015. [WOS]
--- MOHLMANN, E. - THEEL, O. Breaking Dense Structures - Proving Stability of Densely Structured Hybrid Systems. ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE. ISSN 2075-2180, 2015, no. 184, p. 49-63. [WOS]
--- MOHLMANN, E. - HAGEMANN, W. - THEEL, O. Hybrid Tools for Hybrid Systems - Proving Stability and Safety at Once. FORMAL MODELING AND ANALYSIS OF TIMED SYSTEMS (FORMATS 2015). ISSN 0302-9743, 2015, vol. 9268, p. 222-239. [WOS]
--- SOGOKON, A. - JACKSON, P.B. Direct Formal Verification of Liveness Properties in Continuous and Hybrid Dynamical Systems. FM 2015: FORMAL METHODS. ISSN 0302-9743, 2015, vol. 9109, p. 514-531. [WOS]
--- YANG, Z.F. - LIN, W. - WU, M. Exact Safety Verification of Hybrid Systems Based on Bilinear SOS Representation. ACM TRANSACTIONS ON EMBEDDED COMPUTING SYSTEMS. ISSN 1539-9087, JAN 2015, vol. 14, no. 1. [WOS]
--- LE MEZO, T. - JAULIN, L. - ZERR, B. Bracketing backward reach sets of a dynamical system. INTERNATIONAL JOURNAL OF CONTROL. ISSN 0020-7179. [WOS]
--- GOLDSZTEJN, A. - CHABERT, G. Estimating the robust domain of attraction for non-smooth systems using an interval Lyapunov equation. AUTOMATICA. ISSN 0005-1098, FEB 2019, vol. 100, p. 371-377. [WOS]
--- BOBITI, R. - LAZAR, M. Automated-Sampling-Based Stability Verification and DOA Estimation for Nonlinear Systems. IEEE TRANSACTIONS ON AUTOMATIC CONTROL. ISSN 0018-9286, NOV 2018, vol. 63, no. 11, p. 3659-3674. [WOS]
--- ZHANG, Y.F. - YANG, Z.F. - LIN, W. - ZHU, H.B. - CHEN, X. - LI, X.D. Safety Verification of Nonlinear Hybrid Systems Based on Bilinear Programming. IEEE TRANSACTIONS ON COMPUTER-AIDED DESIGN OF INTEGRATED CIRCUITS AND SYSTEMS. ISSN 0278-0070, NOV 2018, vol. 37, no. 11, SI, p. 2768-2778. [WOS]
--- GUDMUNDSSON, S. - HAFSTEIN, S. Probabilistic Basin of Attraction and Its Estimation Using Two Lyapunov Functions. COMPLEXITY. ISSN 1076-2787, 2018. [WOS]
--- LE MEZO, T. - JAULIN, L. - ZERR, B. An Interval Approach to Compute Invariant Sets. IEEE TRANSACTIONS ON AUTOMATIC CONTROL. ISSN 0018-9286, AUG 2017, vol. 62, no. 8, p. 4236-4242. [WOS]
--- EL-GUINDY, A. - HAN, D. - ALTHOFF, M. Estimating the Region of Attraction via Forward Reachable Sets. 2017 AMERICAN CONTROL CONFERENCE (ACC). ISSN 0743-1619, 2017, p. 1263-1270. [WOS]