混合系统验证的设计方法

2010 IEEE 9th International Conference on Cyberntic Intelligent Systems Pub Date : 2010-09-01 DOI:10.1109/UKRICIS.2010.5898146

M. Pluska, D. Sinclair

{"title":"混合系统验证的设计方法","authors":"M. Pluska, D. Sinclair","doi":"10.1109/UKRICIS.2010.5898146","DOIUrl":null,"url":null,"abstract":"Hybrid systems are gaining interest in control engineering because the ability to provide information for verification of the system by using hybrid automata. Moreover the importance of the model based approach is growing in the software engineering. In research related to the hybrid systems any structured design methodology did not get enough attention up to now.","PeriodicalId":359942,"journal":{"name":"2010 IEEE 9th International Conference on Cyberntic Intelligent Systems","volume":"84 1","pages":"0"},"PeriodicalIF":0.0000,"publicationDate":"2010-09-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":"0","resultStr":"{\"title\":\"The design methodology for hybrid system verification\",\"authors\":\"M. Pluska, D. Sinclair\",\"doi\":\"10.1109/UKRICIS.2010.5898146\",\"DOIUrl\":null,\"url\":null,\"abstract\":\"Hybrid systems are gaining interest in control engineering because the ability to provide information for verification of the system by using hybrid automata. Moreover the importance of the model based approach is growing in the software engineering. In research related to the hybrid systems any structured design methodology did not get enough attention up to now.\",\"PeriodicalId\":359942,\"journal\":{\"name\":\"2010 IEEE 9th International Conference on Cyberntic Intelligent Systems\",\"volume\":\"84 1\",\"pages\":\"0\"},\"PeriodicalIF\":0.0000,\"publicationDate\":\"2010-09-01\",\"publicationTypes\":\"Journal Article\",\"fieldsOfStudy\":null,\"isOpenAccess\":false,\"openAccessPdf\":\"\",\"citationCount\":\"0\",\"resultStr\":null,\"platform\":\"Semanticscholar\",\"paperid\":null,\"PeriodicalName\":\"2010 IEEE 9th International Conference on Cyberntic Intelligent Systems\",\"FirstCategoryId\":\"1085\",\"ListUrlMain\":\"https://doi.org/10.1109/UKRICIS.2010.5898146\",\"RegionNum\":0,\"RegionCategory\":null,\"ArticlePicture\":[],\"TitleCN\":null,\"AbstractTextCN\":null,\"PMCID\":null,\"EPubDate\":\"\",\"PubModel\":\"\",\"JCR\":\"\",\"JCRName\":\"\",\"Score\":null,\"Total\":0}","platform":"Semanticscholar","paperid":null,"PeriodicalName":"2010 IEEE 9th International Conference on Cyberntic Intelligent Systems","FirstCategoryId":"1085","ListUrlMain":"https://doi.org/10.1109/UKRICIS.2010.5898146","RegionNum":0,"RegionCategory":null,"ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"","JCRName":"","Score":null,"Total":0}

引用次数: 0

摘要

混合动力系统在控制工程中越来越受到关注，因为它能够通过使用混合动力自动机为系统的验证提供信息。此外，基于模型的方法在软件工程中的重要性与日俱增。在有关混合动力系统的研究中，任何结构化的设计方法目前都没有得到足够的重视。

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

查看原文本刊更多论文

The design methodology for hybrid system verification

Hybrid systems are gaining interest in control engineering because the ability to provide information for verification of the system by using hybrid automata. Moreover the importance of the model based approach is growing in the software engineering. In research related to the hybrid systems any structured design methodology did not get enough attention up to now.

求助全文

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

来源期刊

2010 IEEE 9th International Conference on Cyberntic Intelligent Systems

自引率

0.00%

发文量