Autonomous systems are highly complex and present unique challenges for the application of formal methods. Autonomous systems act without human intervention, and are often embedded in a robotic system, so that they can interact with the real world. As such, they exhibit the properties of safety-critical, cyber-physical, hybrid, and real-time systems. The goal of FMAS is to bring together leading researchers who are tackling the unique challenges of autonomous systems using formal methods, to present recent and ongoing work. We are interested in the use of formal methods to specify, model, or verify autonomous or robotic systems; in whole or in part. We are also interested in successful industrial applications and potential future directions for this emerging application of formal methods.
翻译:自主系统非常复杂,对应用正规方法提出了独特的挑战;自主系统在没有人类干预的情况下运作,往往嵌入机器人系统,以便与现实世界互动;因此,自主系统具有安全临界系统、网络物理系统、混合系统和实时系统的特点;FMAS的目标是汇集正在利用正规方法应对自主系统独特挑战的主要研究人员,介绍最新和正在进行的工作;我们有兴趣采用正规方法来说明、模拟或核查自主或机器人系统;全部或部分地了解这些系统。我们还有兴趣了解成功的工业应用和新出现正规方法应用的潜在未来方向。