{"title":"Towards efficient computation of solutions to hybrid systems","authors":"C. Tomlin","doi":"10.1109/CDC.1999.827899","DOIUrl":null,"url":null,"abstract":"We present our algorithm for computing reachable sets for hybrid systems, which is based on solving a pair of coupled Hamilton-Jacobi partial differential equations. The algorithm allows for complex nonlinear continuous dynamics, yet the numerical difficulty in computing solutions increases greatly with the order and complexity of these dynamics. We review a level set technique by Osher and Sethian (1988) for numerically solving Hamilton-Jacobi equations, and discuss its adaptation to performing reachability analysis of hybrid systems.","PeriodicalId":137513,"journal":{"name":"Proceedings of the 38th IEEE Conference on Decision and Control (Cat. No.99CH36304)","volume":null,"pages":null},"PeriodicalIF":0.0000,"publicationDate":"1999-12-07","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":"5","resultStr":null,"platform":"Semanticscholar","paperid":null,"PeriodicalName":"Proceedings of the 38th IEEE Conference on Decision and Control (Cat. No.99CH36304)","FirstCategoryId":"1085","ListUrlMain":"https://doi.org/10.1109/CDC.1999.827899","RegionNum":0,"RegionCategory":null,"ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"","JCRName":"","Score":null,"Total":0}
引用次数: 5
Abstract
We present our algorithm for computing reachable sets for hybrid systems, which is based on solving a pair of coupled Hamilton-Jacobi partial differential equations. The algorithm allows for complex nonlinear continuous dynamics, yet the numerical difficulty in computing solutions increases greatly with the order and complexity of these dynamics. We review a level set technique by Osher and Sethian (1988) for numerically solving Hamilton-Jacobi equations, and discuss its adaptation to performing reachability analysis of hybrid systems.