Weak Safe Reachability for Nonlinear Systems with State-Dependent Switching

Aysegül Kivilcim; Rafal Wisniewski

doi:10.1109/CDC45484.2021.9683662

Weak Safe Reachability for Nonlinear Systems with State-Dependent Switching

Publikation: Bidrag til bog/antologi/rapport/konference proceeding › Konferenceartikel i proceeding › Forskning › peer review

Abstract

Our aim is to certify that the solutions starting from a specific set of initial states reach the target set without entering unsafe states. This temporal property is called safe reachability, and it has been studied in the literature for nonlinear systems using barrier functions and barrier densities [1]. In the present paper, the safe reachability result on nonlinear systems has been extended to nonlinear systems with state-dependent switching. To derive sufficient conditions for safe reachability, we consider both Carathéodory and Filippov solutions of nonlinear systems. The sum of squares method, together with Putinar Positivstellensatz, has been used to exemplify the results of the paper.

Originalsprog	Engelsk
Titel	2021 60th IEEE Conference on Decision and Control (CDC)
Antal sider	6
Forlag	IEEE
Publikationsdato	2021
Sider	5350-5355
Artikelnummer	9683662
ISBN (Trykt)	978-1-6654-3660-1
ISBN (Elektronisk)	978-1-6654-3659-5
DOI	https://doi.org/10.1109/CDC45484.2021.9683662
Status	Udgivet - 2021
Begivenhed	2021 60th IEEE Conference on Decision and Control (CDC) - Austin, USA Varighed: 14 dec. 2021 → 17 dec. 2021

Konference

Konference	2021 60th IEEE Conference on Decision and Control (CDC)
Land/Område	USA
By	Austin
Periode	14/12/2021 → 17/12/2021

Navn	I E E E Conference on Decision and Control. Proceedings
ISSN	0743-1546

Bibliografisk note

Publisher Copyright:
© 2021 IEEE.

Adgang til dokumentet

10.1109/CDC45484.2021.9683662

AUB Link

Søg efter materialet i Aalborg Universitetsbiblioteks søgemaskine

Andre filer og links

Link to publication in Scopus

Citationsformater

@inproceedings{d736dc8cdc6e49e79f329e689921f232,

title = "Weak Safe Reachability for Nonlinear Systems with State-Dependent Switching",

abstract = "Our aim is to certify that the solutions starting from a specific set of initial states reach the target set without entering unsafe states. This temporal property is called safe reachability, and it has been studied in the literature for nonlinear systems using barrier functions and barrier densities [1]. In the present paper, the safe reachability result on nonlinear systems has been extended to nonlinear systems with state-dependent switching. To derive sufficient conditions for safe reachability, we consider both Carath{\'e}odory and Filippov solutions of nonlinear systems. The sum of squares method, together with Putinar Positivstellensatz, has been used to exemplify the results of the paper.",

author = "Ayseg{\"u}l Kivilcim and Rafal Wisniewski",

note = "Funding Information: This work has been supported by the Poul Due Jensen Foundation in the project SWIft. A. Kıvılcım and R. Wisniewski is with the Department of Electronic Systems, Aalborg University, 9200 Aalborg, Denmark Publisher Copyright: {\textcopyright} 2021 IEEE.; 2021 60th IEEE Conference on Decision and Control (CDC) ; Conference date: 14-12-2021 Through 17-12-2021",

year = "2021",

doi = "10.1109/CDC45484.2021.9683662",

language = "English",

isbn = "978-1-6654-3660-1",

series = "I E E E Conference on Decision and Control. Proceedings",

publisher = "IEEE",

pages = "5350--5355",

booktitle = "2021 60th IEEE Conference on Decision and Control (CDC)",

address = "United States",

}

Kivilcim, A & Wisniewski, R 2021, Weak Safe Reachability for Nonlinear Systems with State-Dependent Switching. i 2021 60th IEEE Conference on Decision and Control (CDC)., 9683662, IEEE, I E E E Conference on Decision and Control. Proceedings, s. 5350-5355, 2021 60th IEEE Conference on Decision and Control (CDC), Austin, Texas, USA, 14/12/2021. https://doi.org/10.1109/CDC45484.2021.9683662

Weak Safe Reachability for Nonlinear Systems with State-Dependent Switching. / Kivilcim, Aysegül ; Wisniewski, Rafal.
2021 60th IEEE Conference on Decision and Control (CDC). IEEE, 2021. s. 5350-5355 9683662 (I E E E Conference on Decision and Control. Proceedings).

Publikation: Bidrag til bog/antologi/rapport/konference proceeding › Konferenceartikel i proceeding › Forskning › peer review

TY - GEN

T1 - Weak Safe Reachability for Nonlinear Systems with State-Dependent Switching

AU - Kivilcim, Aysegül

AU - Wisniewski, Rafal

N1 - Funding Information: This work has been supported by the Poul Due Jensen Foundation in the project SWIft. A. Kıvılcım and R. Wisniewski is with the Department of Electronic Systems, Aalborg University, 9200 Aalborg, Denmark Publisher Copyright: © 2021 IEEE.

PY - 2021

Y1 - 2021

N2 - Our aim is to certify that the solutions starting from a specific set of initial states reach the target set without entering unsafe states. This temporal property is called safe reachability, and it has been studied in the literature for nonlinear systems using barrier functions and barrier densities [1]. In the present paper, the safe reachability result on nonlinear systems has been extended to nonlinear systems with state-dependent switching. To derive sufficient conditions for safe reachability, we consider both Carathéodory and Filippov solutions of nonlinear systems. The sum of squares method, together with Putinar Positivstellensatz, has been used to exemplify the results of the paper.

AB - Our aim is to certify that the solutions starting from a specific set of initial states reach the target set without entering unsafe states. This temporal property is called safe reachability, and it has been studied in the literature for nonlinear systems using barrier functions and barrier densities [1]. In the present paper, the safe reachability result on nonlinear systems has been extended to nonlinear systems with state-dependent switching. To derive sufficient conditions for safe reachability, we consider both Carathéodory and Filippov solutions of nonlinear systems. The sum of squares method, together with Putinar Positivstellensatz, has been used to exemplify the results of the paper.

UR - http://www.scopus.com/inward/record.url?scp=85126053108&partnerID=8YFLogxK

U2 - 10.1109/CDC45484.2021.9683662

DO - 10.1109/CDC45484.2021.9683662

M3 - Article in proceeding

AN - SCOPUS:85126053108

SN - 978-1-6654-3660-1

T3 - I E E E Conference on Decision and Control. Proceedings

SP - 5350

EP - 5355

BT - 2021 60th IEEE Conference on Decision and Control (CDC)

PB - IEEE

T2 - 2021 60th IEEE Conference on Decision and Control (CDC)

Y2 - 14 December 2021 through 17 December 2021

ER -

Weak Safe Reachability for Nonlinear Systems with State-Dependent Switching

Abstract

Konference

Bibliografisk note

Adgang til dokumentet

AUB Link

Andre filer og links

Fingeraftryk

Citationsformater