Verifying a Cruise Control System using Simulink and SpaceEx
classification
💻 cs.LO
cs.SYeess.SY
keywords
controlsystemformalsimulinkspaceexverificationaimsanalysis
read the original 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.
This paper has not been read by Pith yet.
discussion (0)
Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.