[{"quality_controlled":"1","publication_status":"published","ddc":["000"],"has_accepted_license":"1","_id":"9202","author":[{"full_name":"Garcia Soto, Miriam","orcid":"0000-0003-2936-5719","last_name":"Garcia Soto","id":"4B3207F6-F248-11E8-B48F-1D18A9856A87","first_name":"Miriam"},{"full_name":"Prabhakar, Pavithra","last_name":"Prabhakar","first_name":"Pavithra"}],"publisher":"IEEE","conference":{"end_date":"2020-12-04","location":"Houston, TX, USA ","start_date":"2020-12-01","name":"RTTS: Real-Time Systems Symposium"},"oa":1,"file_date_updated":"2021-02-26T16:38:14Z","date_updated":"2025-04-15T06:25:57Z","page":"244-256","project":[{"grant_number":"Z211","name":"Formal methods for the design and analysis of complex systems","_id":"25F42A32-B435-11E9-9278-68D0E5697425","call_identifier":"FWF"}],"user_id":"3E5EF7F0-F248-11E8-B48F-1D18A9856A87","day":"01","external_id":{"isi":["000680435100021"]},"month":"12","abstract":[{"lang":"eng","text":"We propose a novel hybridization method for stability analysis that over-approximates nonlinear dynamical systems by switched systems with linear inclusion dynamics. We observe that existing hybridization techniques for safety analysis that over-approximate nonlinear dynamical systems by switched affine inclusion dynamics and provide fixed approximation error, do not suffice for stability analysis. Hence, we propose a hybridization method that provides a state-dependent error which converges to zero as the state tends to the equilibrium point. The crux of our hybridization computation is an elegant recursive algorithm that uses partial derivatives of a given function to obtain upper and lower bound matrices for the over-approximating linear inclusion. We illustrate our method on some examples to demonstrate the application of the theory for stability analysis. In particular, our method is able to establish stability of a nonlinear system which does not admit a polynomial Lyapunov function."}],"isi":1,"article_processing_charge":"No","department":[{"_id":"ToHe"}],"status":"public","file":[{"checksum":"8f97f229316c3b3a6f0cf99297aa0941","date_updated":"2021-02-26T16:38:14Z","file_name":"main.pdf","file_size":1125794,"content_type":"application/pdf","access_level":"open_access","file_id":"9203","relation":"main_file","creator":"mgarcias","date_created":"2021-02-26T16:38:14Z"}],"oa_version":"Submitted Version","citation":{"ama":"Garcia Soto M, Prabhakar P. Hybridization for stability verification of nonlinear switched systems. In: <i>2020 IEEE Real-Time Systems Symposium</i>. IEEE; 2020:244-256. doi:<a href=\"https://doi.org/10.1109/RTSS49844.2020.00031\">10.1109/RTSS49844.2020.00031</a>","short":"M. Garcia Soto, P. Prabhakar, in:, 2020 IEEE Real-Time Systems Symposium, IEEE, 2020, pp. 244–256.","mla":"Garcia Soto, Miriam, and Pavithra Prabhakar. “Hybridization for Stability Verification of Nonlinear Switched Systems.” <i>2020 IEEE Real-Time Systems Symposium</i>, IEEE, 2020, pp. 244–56, doi:<a href=\"https://doi.org/10.1109/RTSS49844.2020.00031\">10.1109/RTSS49844.2020.00031</a>.","apa":"Garcia Soto, M., &#38; Prabhakar, P. (2020). Hybridization for stability verification of nonlinear switched systems. In <i>2020 IEEE Real-Time Systems Symposium</i> (pp. 244–256). Houston, TX, USA : IEEE. <a href=\"https://doi.org/10.1109/RTSS49844.2020.00031\">https://doi.org/10.1109/RTSS49844.2020.00031</a>","chicago":"Garcia Soto, Miriam, and Pavithra Prabhakar. “Hybridization for Stability Verification of Nonlinear Switched Systems.” In <i>2020 IEEE Real-Time Systems Symposium</i>, 244–56. IEEE, 2020. <a href=\"https://doi.org/10.1109/RTSS49844.2020.00031\">https://doi.org/10.1109/RTSS49844.2020.00031</a>.","ista":"Garcia Soto M, Prabhakar P. 2020. Hybridization for stability verification of nonlinear switched systems. 2020 IEEE Real-Time Systems Symposium. RTTS: Real-Time Systems Symposium, 244–256.","ieee":"M. Garcia Soto and P. Prabhakar, “Hybridization for stability verification of nonlinear switched systems,” in <i>2020 IEEE Real-Time Systems Symposium</i>, Houston, TX, USA , 2020, pp. 244–256."},"date_created":"2021-02-26T16:38:24Z","date_published":"2020-12-01T00:00:00Z","publication":"2020 IEEE Real-Time Systems Symposium","language":[{"iso":"eng"}],"scopus_import":"1","type":"conference","doi":"10.1109/RTSS49844.2020.00031","title":"Hybridization for stability verification of nonlinear switched systems","publication_identifier":{"eisbn":["9781728183244"],"eissn":["2576-3172"]},"acknowledgement":"Miriam Garc´ıa Soto was partially supported by the Austrian Science Fund (FWF) under grant Z211-N23 (Wittgenstein Award). Pavithra Prabhakar was partially supported by NSF CAREER Award No. 1552668, NSF Award No. 2008957 and ONR YIP Award No. N000141712577.","year":"2020"}]