MODELING AND VERIFICATION OF HYBRID SYSTEMS BASED ON EQUATIONS

机译：基于方程的混合系统建模与验证

获取原文

获取原文并翻译 | 示例

页面导航

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

摘要

We describe hybrid observational transition systems, or HOTSs. HOTSs are written in terms of equations and verified by means of equational reasoning. More concretely, CafeOBJ, an algebraic specification language, is used to specify HOTSs and verify that HOTSs have properties by writing proofs, or proof scores. One case study is used to demonstrate how to model hybrid systems as HOTSs, specify HOTSs in CafeOBJ and verify that HOTSs have properties with the CafeOBJ system.

机译：我们描述了混合观测过渡系统或HOTS。 HOTS是根据方程式编写的，并通过方程式推理进行验证。更具体地说，CafeOBJ（一种代数规范语言）用于指定HOTS，并通过编写证明或证明得分来验证HOTS具有属性。一个案例研究用于演示如何将混合系统建模为HOTS，如何在CafeOBJ中指定HOTS，以及验证HOTS具有CafeOBJ系统的属性。

著录项

来源
《IFIP 150; IFIP 18th World Computer Congress TC10 Working Conference on Distributed and Parallel Embedded Systems(DIPES 2004); 20040822-27; Toulouse(FR)》|2004年|P.43-52|共10页
会议地点 Toulouse(FR)
作者
Kazuhiro Ogata; Daigo Yamagishi; Takahiro Seino; Kokichi Futatsugi;
展开▼
作者单位

NEC Software Hokuriku, Ltd. / JAIST;

展开▼
会议组织
原文格式 PDF
正文语种 eng
中图分类新技术的应用;
关键词
CafeOBJ; HOTS; hybrid systems; modeling; verification;

机译：CafeOBJ; HOTS;混合系统;建模;验证;

相似文献

外文文献
中文文献
专利

1. Modeling and verification of real-time systems based on equations [J] . Kazuhiro Ogata, Kokichi Futatsugi Science of Computer Programming . 2007,第2期

机译：基于方程的实时系统建模与验证
2. A Method for Cyber-Physical System Behavior Modeling and Safety Verification Based on Extended Hybrid System Description Language [J] . Ming Fu Tuo12, Xing She Zhou1, Zheng Xin Guo3, MATEC Web of Conferences . 2016,第2016期

机译：基于扩展混合系统描述语言的网络物理系统行为建模与安全验证方法
3. Formal development method of embedded systems based on refinement verification theory of hybrid models [J] . Satoshi Yamane 電子情報通信学会技術研究報告. ソフトウェアサイエンス. Software Science . 2001,第629期

机译：基于细化验证理论的混合模型嵌入式系统的正式发展方法
4. MODELING AND VERIFICATION OF HYBRID SYSTEMS BASED ON EQUATIONS [C] . Kazuhiro Ogata, Daigo Yamagishi, Takahiro Seino, IFIP World Computer Congress TC10 Working Conference on Distributed and Parallel Embedded Systems . 2004

机译：基于方程的混合系统建模与验证
5. Formal Verification of Model Refactorings for Hybrid Control Systems =Formale Verifikation von Modell-Refactorings für hybride Kontrollsysteme [D] . Schlesinger, Sebastian. 2018

机译：用于混合控制系统的模型重构的正式验证=混合控制系统的模型重构的正式验证
6. Controllability in Hybrid Kinetic Equations Modeling Nonequilibrium Multicellular Systems [O] . Carlo Bianca 2013

机译：非平衡多细胞系统混合动力学方程的可控性
7. Modeling and verification of hybrid systems based on equations [O] . Kazuhiro Ogata, Daigo Yamagishi, Takahiro Seino, 2004

机译：基于方程的混合系统建模与验证
8. Particle Scattering in the Resonance Regime: Models Based on Integral Equations and Hybrid Finite Elements - Integral Equation Techniques [R] . Zuffada, C., Crisp, D. 1996

机译：共振状态下的粒子散射：基于积分方程和混合有限元的模型 - 积分方程技术

MODELING AND VERIFICATION OF HYBRID SYSTEMS BASED ON EQUATIONS

摘要

著录项

相似文献

相关主题

期刊订阅