首页> 外文OA文献 >Combining a Computer Science and Control Theory Approach to the Verification of Hybrid Systems

【2h】

Combining a Computer Science and Control Theory Approach to the Verification of Hybrid Systems

机译：将计算机科学与控制理论方法结合起来验证混合系统

页面导航

著录项
引文网络
相似文献
相关主题

著录项

作者
Ralf Huuck; Yassine Lakhnech; Luis Urbina; Sebastian Engell; Stefan Kowalewski; Jörg Preußig;
展开▼
作者单位

展开▼
年度 2007
总页数
原文格式 PDF
正文语种
中图分类

相似文献

外文文献
中文文献
专利

1. Development method for control software: an approach to bridge between control theory and computer science [J] . Noriyoshi Sano, Satoshi Yamane, Tohru Naoi 電子情報通信学会技術研究報告. ソフトウェアサイエンス. Software Science . 2000,第570期

机译：控制软件开发方法：控制理论与计算机科学之间的桥梁
2. Development method for control software: an approach to bridge between control theory and computer science [J] . Noriyoshi Sano, Satoshi Yamane, Tohru Naoi 電子情報通信学会技術研究報告. ソフトウェアサイエンス. Software Science . 2000,第570期

机译：控制软件开发方法：控制理论与计算机科学之间的桥梁
3. Development method for control software: an approach to bridge between control theory and computer science [J] . Noriyoshi Sano, Satoshi Yamane, Tohru Naoi 電子情報通信学会技術研究報告. ソフトウェアサイエンス. Software Science . 2000,第570期

机译：控制软件的开发方法：控制理论与计算机科学桥梁桥梁
4. Combining a computer science and control theory approach to the verification of hybrid systems [C] . Huuck, R., Lakhnech, . 1997

机译：结合计算机科学和控制理论方法对混合系统进行验证
5. Formal verification of computer controlled systems. [D] . Harutunian, Shant. 2007

机译：正式验证计算机控制系统。
6. A Hybrid Bayesian Hierarchical Model Combining Cohort and Case-control Studies for Meta-analysis of Diagnostic Tests: Accounting for Partial Verification Bias [O] . Xiaoye Ma, Yong Chen, Stephen R. Cole, -1

机译：结合队列和案例控制研究的混合贝叶斯分层模型对诊断测试进行荟萃分析：考虑部分验证偏差
7. A hybrid approach combining control theory and AI for engineering self-adaptive systems [O] . Ricardo Diniz Caldas, Arthur Rodrigues, Eric Bernd Gil, 2020

机译：一种混合方法组合控制理论与工程自适应系统的AI
8. Verification of Periodically Controlled Hybrid Systems: Application to An Autonomous Vehicle [R] . Wongpiromsarn, T., Mitra, S., Murray, R. M., 2009

机译：周期控制混合系统的验证：在自主车辆中的应用

Combining a Computer Science and Control Theory Approach to the Verification of Hybrid Systems

著录项

引文网络

相似文献

相关主题

期刊订阅