基于偏序关系的连续和混合系统建模

Proceeding of the 2001 IEEE International Symposium on Intelligent Control (ISIC '01) (Cat. No.01CH37206) Pub Date : 2001-09-05 DOI:10.1109/ISIC.2001.971501

N. Rakoto-Ravalontsalama

{"title":"基于偏序关系的连续和混合系统建模","authors":"N. Rakoto-Ravalontsalama","doi":"10.1109/ISIC.2001.971501","DOIUrl":null,"url":null,"abstract":"The states of a continuous system are approximated by discrete variables. The behavior of the system is then modeled by a finite state automaton. An order relationship over the set of states allows: 1) to define another order relation between the states of a composed automaton; 2) to reduce the number of transitions of the composed automaton; and 3) to write a simple reachability algorithm for finding a goal state.","PeriodicalId":367430,"journal":{"name":"Proceeding of the 2001 IEEE International Symposium on Intelligent Control (ISIC '01) (Cat. No.01CH37206)","volume":"13 1","pages":"0"},"PeriodicalIF":0.0000,"publicationDate":"2001-09-05","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":"1","resultStr":"{\"title\":\"Modeling of continuous and hybrid systems using partial order relations\",\"authors\":\"N. Rakoto-Ravalontsalama\",\"doi\":\"10.1109/ISIC.2001.971501\",\"DOIUrl\":null,\"url\":null,\"abstract\":\"The states of a continuous system are approximated by discrete variables. The behavior of the system is then modeled by a finite state automaton. An order relationship over the set of states allows: 1) to define another order relation between the states of a composed automaton; 2) to reduce the number of transitions of the composed automaton; and 3) to write a simple reachability algorithm for finding a goal state.\",\"PeriodicalId\":367430,\"journal\":{\"name\":\"Proceeding of the 2001 IEEE International Symposium on Intelligent Control (ISIC '01) (Cat. No.01CH37206)\",\"volume\":\"13 1\",\"pages\":\"0\"},\"PeriodicalIF\":0.0000,\"publicationDate\":\"2001-09-05\",\"publicationTypes\":\"Journal Article\",\"fieldsOfStudy\":null,\"isOpenAccess\":false,\"openAccessPdf\":\"\",\"citationCount\":\"1\",\"resultStr\":null,\"platform\":\"Semanticscholar\",\"paperid\":null,\"PeriodicalName\":\"Proceeding of the 2001 IEEE International Symposium on Intelligent Control (ISIC '01) (Cat. No.01CH37206)\",\"FirstCategoryId\":\"1085\",\"ListUrlMain\":\"https://doi.org/10.1109/ISIC.2001.971501\",\"RegionNum\":0,\"RegionCategory\":null,\"ArticlePicture\":[],\"TitleCN\":null,\"AbstractTextCN\":null,\"PMCID\":null,\"EPubDate\":\"\",\"PubModel\":\"\",\"JCR\":\"\",\"JCRName\":\"\",\"Score\":null,\"Total\":0}","platform":"Semanticscholar","paperid":null,"PeriodicalName":"Proceeding of the 2001 IEEE International Symposium on Intelligent Control (ISIC '01) (Cat. No.01CH37206)","FirstCategoryId":"1085","ListUrlMain":"https://doi.org/10.1109/ISIC.2001.971501","RegionNum":0,"RegionCategory":null,"ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"","JCRName":"","Score":null,"Total":0}

引用次数: 1

摘要

连续系统的状态可以用离散变量来近似。然后用有限状态自动机对系统的行为进行建模。状态集合上的顺序关系允许:1)在组合自动机的状态之间定义另一个顺序关系;2)减少组合自动机的过渡次数;3)编写一个简单的可达性算法来寻找目标状态。

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

查看原文本刊更多论文

Modeling of continuous and hybrid systems using partial order relations

The states of a continuous system are approximated by discrete variables. The behavior of the system is then modeled by a finite state automaton. An order relationship over the set of states allows: 1) to define another order relation between the states of a composed automaton; 2) to reduce the number of transitions of the composed automaton; and 3) to write a simple reachability algorithm for finding a goal state.

求助全文

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

来源期刊

Proceeding of the 2001 IEEE International Symposium on Intelligent Control (ISIC '01) (Cat. No.01CH37206)

自引率

0.00%

发文量