机构名称：
¥ 1.0
主要主管：Amy Nejati博士（amy.nejati@newcastle.ac.uk）摘要。该项目的中心愿景是在数据驱动的技术中开创开创性的进步，这些技术为验证和设计安全可安全的自主系统（AS）提供了数学上的信心。随着复杂的现实世界应用程序扩展，分布式物理系统越来越多地与计算组件相互作用，所有这些都在不确定的环境中运行。网络组件与物理环境之间的这种相互作用可能导致信息泄漏，从而使系统安全处于危险之中。因此，必须同时解决安全性和安全性。现代应用程序典范并在各种行业中扮演着至关重要的角色，尤其是在安全至关重要的系统中，例如智能运输系统，机器人技术，生物网络和自动化的制造系统。
安全且安全的自主系统的物理信息数据驱动的技术
主要关键词
相关文件推荐
