Robustness in real-time systems

机译：实时系统的稳健性

获取原文

页面导航

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

摘要

We review several aspects of robustness of real-time systems, and present recent results on the robust verification of timed automata.

机译：我们回顾了实时系统鲁棒性的几个方面，并提出了关于定时自动机鲁棒性验证的最新结果。

著录项

来源
《6th IEEE International Symposium on Industrial Embedded Systems》|2011年|p.28-34|共7页
会议地点
作者
Markey Nicolas;
展开▼
作者单位

展开▼
会议组织
原文格式 PDF
正文语种
中图分类自动化系统;
关键词

相似文献

外文文献
中文文献
专利

1. Real-time PCR Machine System Modeling and a Systematic Approach for the Robust Design of a Real-time PCR-on-a-Chip System [J] . Da-Sheng Lee Sensors . 2010,第1期

机译：实时PCR机系统建模和系统可靠的实时芯片上PCR系统的系统方法
2. Robust MPC-based bidding strategy for wind storage systems in real-time energy and regulation markets [J] . Xie Yunyun, Guo Weiqing, Wu Qiuwei, International journal of electrical power and energy systems . 2021,第Jana期

机译：基于强大的MPC的招标策略，用于风存放系统在实时能源和监管市场
3. Real-time, Robust and Adaptive Universal Adversarial Attacks Against Speaker Recognition Systems [J] . Xie Yi, Li Zhuohang, Shi Cong, Journal of signal processing systems for signal, image, and video technology . 2021,第10期

机译：对扬声器识别系统的实时，鲁棒和适应性的普遍对抗攻击
4. Real-Time, Universal, and Robust Adversarial Attacks Against Speaker Recognition Systems [C] . Yi Xie, Cong Shi, Zhuohang Li, IEEE International Conference on Acoustics, Speech and Signal Processing . 2020

机译：对说话人识别系统的实时，普遍和强大的对抗攻击
5. Nonlinear Robust Framework for Real-time Hybrid Simulation of Structural Systems: Design, Implementation, and Validation [D] . Maghareh, Amin. 2017

机译：结构系统实时混合仿真的非线性鲁棒框架：设计，实现和验证
6. Real-time PCR Machine System Modeling and a Systematic Approach for the Robust Design of a Real-time PCR-on-a-Chip System [O] . Da-Sheng Lee 2010

机译：实时PCR机系统建模和系统可靠的实时芯片上PCR系统的系统方法
7. Real-time PCR Machine System Modeling and a Systematic Approach for the Robust Design of a Real-time PCR-on-a-Chip System [O] . Lee, Da-Sheng 2010

机译：实时PCR机系统建模和系统可靠的实时芯片上PCR系统的系统方法

Robustness in real-time systems

摘要

著录项

相似文献

相关主题

期刊订阅