首页> 外文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

著录项

相似文献

相关主题

期刊订阅