Verifying a Cruise Control System using Simulink and SpaceEx
Abstract
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.
- Publication:
-
arXiv e-prints
- Pub Date:
- December 2020
- DOI:
- 10.48550/arXiv.2101.00102
- arXiv:
- arXiv:2101.00102
- Bibcode:
- 2021arXiv210100102K
- Keywords:
-
- Computer Science - Logic in Computer Science;
- Electrical Engineering and Systems Science - Systems and Control