当前位置:
X-MOL 学术
›
arXiv.cs.LO
›
论文详情
Our official English website, www.x-mol.net, welcomes your
feedback! (Note: you will need to create a separate account there.)
Verifying a Cruise Control System using Simulink and SpaceEx
arXiv - CS - Logic in Computer Science Pub Date : 2020-12-31 , DOI: arxiv-2101.00102 Nikolaos Kekatos
arXiv - CS - Logic in Computer Science Pub Date : 2020-12-31 , DOI: arxiv-2101.00102 Nikolaos Kekatos
This article aims to provide a simple step-by-step guide highlighting the
steps needed to verify a control system with formal verification tools.
Starting from a description of the physical system and a control objective in
natural language, we design the plant and the controller, we use Simulink for
simulation and we employ a reachability analysis tool, SpaceEx, for formal
verification.
中文翻译:
使用Simulink和SpaceEx验证巡航控制系统
本文旨在提供一个简单的分步指南,重点介绍使用正式验证工具验证控制系统所需的步骤。从以自然语言描述物理系统和控制目标开始,我们设计工厂和控制器,使用Simulink进行仿真,并使用可达性分析工具SpaceEx进行形式验证。
更新日期:2021-01-05
中文翻译:
使用Simulink和SpaceEx验证巡航控制系统
本文旨在提供一个简单的分步指南,重点介绍使用正式验证工具验证控制系统所需的步骤。从以自然语言描述物理系统和控制目标开始,我们设计工厂和控制器,使用Simulink进行仿真,并使用可达性分析工具SpaceEx进行形式验证。