连续-线性混合系统分析中的混合自动机模型

Proceedings of the 1999 IEEE International Symposium on Intelligent Control Intelligent Systems and Semiotics (Cat. No.99CH37014) Pub Date : 1900-01-01 DOI:10.1109/ISIC.1999.796622

A. Favela

{"title":"连续-线性混合系统分析中的混合自动机模型","authors":"A. Favela","doi":"10.1109/ISIC.1999.796622","DOIUrl":null,"url":null,"abstract":"We introduce some analysis tools for a class of continuous-linear hybrid systems. The continuous-linear term is used in the sense of system theory and it is in this sense that continuous-linear hybrid automata are defined. Using the defined automaton representation, we provide an analytical formulation of the system dynamic behavior. With the analysis results, dynamic properties for reachability and limit cycle analysis purposes are established. Finally, a coupled hybrid case is conducted.","PeriodicalId":300130,"journal":{"name":"Proceedings of the 1999 IEEE International Symposium on Intelligent Control Intelligent Systems and Semiotics (Cat. No.99CH37014)","volume":"11 1","pages":"0"},"PeriodicalIF":0.0000,"publicationDate":"1900-01-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":"5","resultStr":"{\"title\":\"Hybrid automata models in continuous-linear hybrid systems analysis\",\"authors\":\"A. Favela\",\"doi\":\"10.1109/ISIC.1999.796622\",\"DOIUrl\":null,\"url\":null,\"abstract\":\"We introduce some analysis tools for a class of continuous-linear hybrid systems. The continuous-linear term is used in the sense of system theory and it is in this sense that continuous-linear hybrid automata are defined. Using the defined automaton representation, we provide an analytical formulation of the system dynamic behavior. With the analysis results, dynamic properties for reachability and limit cycle analysis purposes are established. Finally, a coupled hybrid case is conducted.\",\"PeriodicalId\":300130,\"journal\":{\"name\":\"Proceedings of the 1999 IEEE International Symposium on Intelligent Control Intelligent Systems and Semiotics (Cat. No.99CH37014)\",\"volume\":\"11 1\",\"pages\":\"0\"},\"PeriodicalIF\":0.0000,\"publicationDate\":\"1900-01-01\",\"publicationTypes\":\"Journal Article\",\"fieldsOfStudy\":null,\"isOpenAccess\":false,\"openAccessPdf\":\"\",\"citationCount\":\"5\",\"resultStr\":null,\"platform\":\"Semanticscholar\",\"paperid\":null,\"PeriodicalName\":\"Proceedings of the 1999 IEEE International Symposium on Intelligent Control Intelligent Systems and Semiotics (Cat. No.99CH37014)\",\"FirstCategoryId\":\"1085\",\"ListUrlMain\":\"https://doi.org/10.1109/ISIC.1999.796622\",\"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 1999 IEEE International Symposium on Intelligent Control Intelligent Systems and Semiotics (Cat. No.99CH37014)","FirstCategoryId":"1085","ListUrlMain":"https://doi.org/10.1109/ISIC.1999.796622","RegionNum":0,"RegionCategory":null,"ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"","JCRName":"","Score":null,"Total":0}

引用次数: 5

摘要

介绍了一类连续-线性混合系统的分析工具。连续-线性项是在系统论的意义上使用的，在这个意义上定义连续-线性混合自动机。使用定义的自动机表示，我们提供了系统动态行为的解析公式。根据分析结果，建立了可达性和极限环分析的动态性质。最后进行了一种耦合混合情况。

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

查看原文本刊更多论文

Hybrid automata models in continuous-linear hybrid systems analysis

We introduce some analysis tools for a class of continuous-linear hybrid systems. The continuous-linear term is used in the sense of system theory and it is in this sense that continuous-linear hybrid automata are defined. Using the defined automaton representation, we provide an analytical formulation of the system dynamic behavior. With the analysis results, dynamic properties for reachability and limit cycle analysis purposes are established. Finally, a coupled hybrid case is conducted.

求助全文

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

来源期刊

Proceedings of the 1999 IEEE International Symposium on Intelligent Control Intelligent Systems and Semiotics (Cat. No.99CH37014)

自引率

0.00%

发文量