A Formal Verification Method of Hybrid System and Simulation

机译：混合系统的形式化验证方法与仿真

获取原文

页面导航

摘要
著录项
相似文献
相关主题

摘要

Hybrid system it a dynamic system that hat discrete state transfer and continuous state variation. Recently, popular hybrid system model includes threshold-event-driven hybrid systems (TEDHS) and polyhedral invariant hybrid automaton (PIHA). Finite state machine is used to describe the discrete feature of hybrid system and reachable set of stream pipe is used to describe its continuity approximately. These methods of system modeling are given in this paper. Furthermore, a verification tool called CheckMate based on MATLAB is used to realize the modeling, simulation and verification of hybrid system.

机译：混合系统是一个具有离散状态转移和连续状态变化的动态系统。最近，流行的混合系统模型包括阈值事件驱动混合系统（TEDHS）和多面体不变混合自动机（PIHA）。有限状态机用于描述混合系统的离散特征，流管的可达集用于近似地描述其连续性。本文给出了这些系统建模方法。此外，使用基于MATLAB的CheckMate验证工具来实现混合系统的建模，仿真和验证。

著录项

来源
《IEEE international conference on computer science and information technology;ICCSIT 2010》|2010年|p.411-415|共5页
会议地点
作者
Zhang Si-bing; Chen Jie; Wang Ya;
展开▼
作者单位

展开▼
会议组织
原文格式 PDF
正文语种
中图分类计算技术、计算机技术;计算技术、计算机技术;计算技术、计算机技术;
关键词
hybrid system; finite antomaton; stream pipe approximation; CheckMate;

机译：混合动力系统有限反正子流管近似; CheckMate;

相似文献

外文文献
中文文献
专利

1. Formal development method of embedded systems based on refinement verification theory of hybrid models [J] . Satoshi Yamane 電子情報通信学会技術研究報告. ソフトウェアサイエンス. Software Science . 2001,第629期

机译：基于细化验证理论的混合模型嵌入式系统的正式发展方法
2. Formal development method of embedded systems based on refinement verification theory of hybrid models [J] . Satoshi Yamane 電子情報通信学会技術研究報告. ソフトウェアサイエンス. Software Science . 2001,第629期

机译：基于细化验证理论的混合模型嵌入式系统的正式发展方法
3. Joint 22nd International Workshop on Formal Methods for Industrial Critical Systems and 17th International Workshop on Automated Verification of Critical Systems [J] . Ana Cavalcanti, Laure Petrucci, Cristina Seceleanu ERCIM News . 2018,第ERCIMaNEWSa112期

机译：第22届工业关键系统形式方法国际研讨会和第17届关键系统自动验证国际研讨会
4. A Formal Verification Method of Hybrid System and Simulation [C] . Zhang Si-bing, Chen Jie, Wang Ya IEEE International Conference on Computer Science and Information Technology . 2010

机译：混合系统和仿真的正式验证方法
5. Formal Verification of Model Refactorings for Hybrid Control Systems =Formale Verifikation von Modell-Refactorings für hybride Kontrollsysteme [D] . Schlesinger, Sebastian. 2018

机译：用于混合控制系统的模型重构的正式验证=混合控制系统的模型重构的正式验证
6. A Method for the Formal Verification of Human-interactive Systems [O] . Matthew L Bolton, Ellen J. Bass -1

机译：一种人机交互系统的形式化验证方法
7. Integrating Formal Verification and Simulation of Hybrid Systems: Rodin Multi-Simulation Plug-in [O] . Vitaly Savicks 2014

机译：集成混合系统的形式验证和仿真：罗丹多模拟插件

A Formal Verification Method of Hybrid System and Simulation

摘要

著录项

相似文献

相关主题

期刊订阅