首页> 外文OA文献 >Formal Verification of Intelligent Mechatronic Systems with Decentralized Control Logic

【2h】

Formal Verification of Intelligent Mechatronic Systems with Decentralized Control Logic

机译：基于分散控制逻辑的智能机电系统形式化验证

页面导航

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

著录项

作者
Sandeep Patil; Valeriy Vyatkin; Majid Sorouri;
展开▼
作者单位

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

相似文献

外文文献
中文文献
专利

1. Functional and temporal formal modelling of embedded controllers for intelligent mechatronic systems [J] . Christoph Sunder, Valeriy Vyatkin International Journal of Mechatronics and Manufacturing Systems . 2009,第1a2期

机译：智能机电系统嵌入式控制器的功能和时间形式化建模
2. Formal Design and Verification of Self-Adaptive Systems with Decentralized Control [J] . Arcaini Paolo, Riccobene Elvinia, Scandurra Patrizia ACM transactions on autonomous and adaptive systems . 2016,第4期

机译：分散控制的自适应系统的形式化设计与验证
3. Formal Verification of Logic Control Systems with Nondeterministic Behaviors [J] . Saifulza Alwi, Yasutaka Fujimoto IEEJ Journal of Industry Applications . 2013,第6期

机译：具有不确定行为的逻辑控制系统的形式验证
4. Formal verification of Intelligent Mechatronic Systems with decentralized control logic [C] . Patil Sandeep, Vyatkin Valeriy, Sorouri Majid 2012 IEEE 17th Conference on Emerging Technologies amp; Factory Automation. . 2012

机译：具有分散控制逻辑的智能机电系统的形式验证
5. Formal verification for analysis and design of logic controllers for reconfigurable manufacturing systems. [D] . Kalita, Dhrubajyoti. 2001

机译：用于可重构制造系统的逻辑控制器的分析和设计的形式验证。
6. Formal Verification of Control Modules in Cyber-Physical Systems [O] . Iwona Grobelna 2020

机译：网络物理系统中控制模块的正式验证
7. Formal verification and dynamic validation of logic-based control systems [O] . Park Taeshin 1966- 1998

机译：基于逻辑的控制系统的形式验证和动态验证

Formal Verification of Intelligent Mechatronic Systems with Decentralized Control Logic

著录项

引文网络

相似文献

相关主题

期刊订阅