面向混合系统解的高效计算

Proceedings of the 38th IEEE Conference on Decision and Control (Cat. No.99CH36304) Pub Date : 1999-12-07 DOI:10.1109/CDC.1999.827899

C. Tomlin

{"title":"面向混合系统解的高效计算","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":"{\"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}","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

摘要

本文提出了一种基于求解一对耦合Hamilton-Jacobi偏微分方程的混合系统可达集计算算法。该算法允许复杂的非线性连续动力学，但随着这些动力学的顺序和复杂性，计算解的数值难度大大增加。我们回顾了Osher和Sethian(1988)用于数值求解Hamilton-Jacobi方程的水平集技术，并讨论了其对执行混合系统可达性分析的适应性。

本文章由计算机程序翻译，如有差异，请以英文原文为准。

查看原文本刊更多论文

Towards efficient computation of solutions to hybrid systems

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.

求助全文

通过发布文献求助，成功后即可免费获取论文全文。去求助

来源期刊

Proceedings of the 38th IEEE Conference on Decision and Control (Cat. No.99CH36304)

自引率

0.00%

发文量