Robustness; Contracts; Artificial neural networks; Safety; Programming; Cyber-physical systems; Complexity theory;
机译:与工业网络物理系统中的大型分布式无线异构终端的鲁棒协作网状网络
机译:磁悬浮列车系统的自适应神经模糊鲁棒位置控制方案并经过实验验证
机译:强大的扬声器验证系统中的临时谱特征的改进语音信号的频率翘曲比例
机译:早期,强大的验证和验证用于战术环境的支持网络的系统
机译:从MetroII到Metronomy,设计用于网络物理系统时序验证的基于合同的功能-架构协同仿真框架。
机译:网络物理系统中控制模块的正式验证
机译:NNV:用于深度神经网络和启用学习网络系统的神经网络验证工具
机译:从metroII到metronomy,设计基于合同的功能 - 架构协同仿真框架,用于网络物理系统的时序验证。