Hybrid systems; Control systems; Safety; Self operation; Switching; Verification; Assurance; Autonomous control systems; Certification; Run time verification;
机译:Cyber Isights:网络物理系统赋予的具体风险考虑因素。
机译:系统与复杂性科学的网络物理系统:整体不仅仅是单个和自治的网络物理系统之和
机译:在欺骗攻击下的离散时间复杂网络物理网络的弹性共识
机译:分布式分类帐技术和网络物理系统。多代理系统。概念与趋势
机译:网络物理系统的高度保证控制及其在无人机系统中的应用。
机译:基于信任的故障检测和鲁棒容错控制不确定的网络物理系统免受时间延迟注入攻击的影响
机译:网络物理系统的架构驱动,多关注和无缝保证和认证。