当前位置: 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

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
down
wechat
bug