使用 Simulink 与 SpaceEx 验证巡航控制系统
计算机科学中的逻辑
2021-01-05 v1 系统与控制
系统与控制
摘要
本文旨在提供一个简单的逐步指南，强调使用形式化验证工具验证控制系统所需的步骤。从用自然语言描述的物理系统与控制目标出发，我们设计被控对象与控制器，使用 Simulink 进行仿真，并采用可达性分析工具 SpaceEx 进行形式化验证。
引用
@article{arxiv.2101.00102,
title = {Verifying a Cruise Control System using Simulink and SpaceEx},
author = {Nikolaos Kekatos},
journal= {arXiv preprint arXiv:2101.00102},
year = {2021}
}