首页> 外文OA文献 >Modelling of the real-time control system for a nuclear fusion experiment using Uppaal

【2h】

Modelling of the real-time control system for a nuclear fusion experiment using Uppaal

机译：使用Uppaal进行核聚变实验的实时控制系统建模

页面导航

著录项
相似文献
相关主题

著录项

作者
Zampieri Emanuele;
展开▼
作者单位

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

相似文献

外文文献
中文文献
专利

1. Modelling a distributed real-time system for feedback control in a nuclear fusion experiment [J] . Manduchi G. IEE Proceedings. Part L . 1999,第2期

机译：为核聚变实验中的反馈控制建模分布式实时系统
2. The 32 bit timing unit of a real-time event-based control system for a nuclear fusion experiment [J] . Sousa J., Combo A. IEEE Transactions on Nuclear Science . 1998,第4期

机译：核聚变实验基于事件的实时控制系统的32位定时单元
3. Modeling selected real-time database concurrency control protocols in Uppaal [J] . Martin Kot Innovations in Systems and Software Engineering . 2009,第2期

机译：在Uppaal中对选定的实时数据库并发控制协议进行建模
4. JRTF: A flexible software framework for real-time control in magnetic confinement nuclear fusion experiments [C] . Zheng W., Zhang M., Zhi C., IEEE-NPSS Real Time Conference . 2014

机译：JRTF：用于磁约束核聚变实验中实时控制的灵活软件框架
5. Verification of a medium-sized real-time software system with model checking tools (Xuppaal and Kronos) [D] . Gil, YunJae 2000

机译：使用模型检查工具（Xuppaal和Kronos）验证中型实时软件系统
6. Multi-Sensor Data Fusion for Real-Time Surface Quality Control in Automated Machining Systems [O] . E. García Plaza, P. J. Núñez López, E. M. Beamud González 2018

机译：多传感器数据融合用于自动化加工系统中的实时表面质量控制
7. Model-Checking Real-Time Control Programs Verifying LEGO � MINDSTORMS ™ Systems Using UPPAAL [O] . Rune G. Madsen, Steffen K. Mortensen, Paul Pettersson, 2009

机译：模型检查实时控制程序，使用UPPAAL验证LEGO�MINDSTORMS™系统
8. Formal Verification of a Power Controller Using the Real-Time Model Checker UPPAAL [R] . Havelund, Klaus, Larsen, Kim Guldstrand, Skou, Arne 1999

机译：使用实时模型检查器UppaaL对电源控制器进行形式验证

Modelling of the real-time control system for a nuclear fusion experiment using Uppaal

著录项

相似文献

相关主题

期刊订阅