线性混合系统稳定性的Averist算法验证

Proceedings of the 21st International Conference on Hybrid Systems: Computation and Control (part of CPS Week) Pub Date : 2018-04-11 DOI:10.1145/3178126.3178154

Miriam García Soto, P. Prabhakar

{"title":"线性混合系统稳定性的Averist算法验证","authors":"Miriam García Soto, P. Prabhakar","doi":"10.1145/3178126.3178154","DOIUrl":null,"url":null,"abstract":"In this paper, we explain the architecture and implementation of the tool Averist that performs stability verification for linear hybrid systems. This tool implements a hybridization method for approximating linear hybrid systems by hybrid systems with polyhedral inclusion dynamics. It also implements a new counterexample guided abstraction refinement framework for analyzing the hybrid systems with polyhedral inclusion dynamics that are generated as a result of the hybridization. Some of the main features of our tool are as follows: (1) our tool is based on algorithmic techniques that do not rely on the computation of Lyapunov functions, (2) it returns a counterexample when it fails to establish stability, (3) it is less prone to numerical instability issues as compared to Lyapunov function based tools.","PeriodicalId":131076,"journal":{"name":"Proceedings of the 21st International Conference on Hybrid Systems: Computation and Control (part of CPS Week)","volume":"35 1","pages":"0"},"PeriodicalIF":0.0000,"publicationDate":"2018-04-11","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":"3","resultStr":"{\"title\":\"Averist: Algorithmic Verifier for Stability of Linear Hybrid Systems\",\"authors\":\"Miriam García Soto, P. Prabhakar\",\"doi\":\"10.1145/3178126.3178154\",\"DOIUrl\":null,\"url\":null,\"abstract\":\"In this paper, we explain the architecture and implementation of the tool Averist that performs stability verification for linear hybrid systems. This tool implements a hybridization method for approximating linear hybrid systems by hybrid systems with polyhedral inclusion dynamics. It also implements a new counterexample guided abstraction refinement framework for analyzing the hybrid systems with polyhedral inclusion dynamics that are generated as a result of the hybridization. Some of the main features of our tool are as follows: (1) our tool is based on algorithmic techniques that do not rely on the computation of Lyapunov functions, (2) it returns a counterexample when it fails to establish stability, (3) it is less prone to numerical instability issues as compared to Lyapunov function based tools.\",\"PeriodicalId\":131076,\"journal\":{\"name\":\"Proceedings of the 21st International Conference on Hybrid Systems: Computation and Control (part of CPS Week)\",\"volume\":\"35 1\",\"pages\":\"0\"},\"PeriodicalIF\":0.0000,\"publicationDate\":\"2018-04-11\",\"publicationTypes\":\"Journal Article\",\"fieldsOfStudy\":null,\"isOpenAccess\":false,\"openAccessPdf\":\"\",\"citationCount\":\"3\",\"resultStr\":null,\"platform\":\"Semanticscholar\",\"paperid\":null,\"PeriodicalName\":\"Proceedings of the 21st International Conference on Hybrid Systems: Computation and Control (part of CPS Week)\",\"FirstCategoryId\":\"1085\",\"ListUrlMain\":\"https://doi.org/10.1145/3178126.3178154\",\"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 21st International Conference on Hybrid Systems: Computation and Control (part of CPS Week)","FirstCategoryId":"1085","ListUrlMain":"https://doi.org/10.1145/3178126.3178154","RegionNum":0,"RegionCategory":null,"ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"","JCRName":"","Score":null,"Total":0}

引用次数: 3

摘要

在本文中，我们解释了对线性混合系统进行稳定性验证的Averist工具的体系结构和实现。该工具实现了用具有多面体包合动力学的杂化系统逼近线性杂化系统的杂化方法。并实现了一种新的反例引导抽象细化框架，用于分析由杂化产生的多面体包涵动力学的杂化系统。我们的工具的一些主要特征如下:(1)我们的工具基于不依赖于Lyapunov函数计算的算法技术，(2)当它无法建立稳定性时，它返回一个反例，(3)与基于Lyapunov函数的工具相比，它不太容易出现数值不稳定问题。

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

查看原文本刊更多论文

Averist: Algorithmic Verifier for Stability of Linear Hybrid Systems

In this paper, we explain the architecture and implementation of the tool Averist that performs stability verification for linear hybrid systems. This tool implements a hybridization method for approximating linear hybrid systems by hybrid systems with polyhedral inclusion dynamics. It also implements a new counterexample guided abstraction refinement framework for analyzing the hybrid systems with polyhedral inclusion dynamics that are generated as a result of the hybridization. Some of the main features of our tool are as follows: (1) our tool is based on algorithmic techniques that do not rely on the computation of Lyapunov functions, (2) it returns a counterexample when it fails to establish stability, (3) it is less prone to numerical instability issues as compared to Lyapunov function based tools.

求助全文

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

来源期刊

Proceedings of the 21st International Conference on Hybrid Systems: Computation and Control (part of CPS Week)

自引率

0.00%

发文量