We gratefully acknowledge support from
the Simons Foundation and member institutions.
Full-text links:

Download:

Current browse context:

cs.LO
< prev | next >
new | recent | 2101

Change to browse by:

cs
eess
eess.SY

References & Citations

DBLP - CS Bibliography

listing | bibtex

Bookmark

(what is this?)
CiteULike logo BibSonomy logo Mendeley logo del.icio.us logo Digg logo Reddit logo

Computer Science > Logic in Computer Science

Title: Verifying a Cruise Control System using Simulink and SpaceEx

Authors: Nikolaos Kekatos
(Submitted on 31 Dec 2020)
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.
Subjects: Logic in Computer Science (cs.LO); Systems and Control (eess.SY)
Cite as: arXiv:2101.00102 [cs.LO]
  (or arXiv:2101.00102v1 [cs.LO] for this version)

Submission history

From: Nikolaos Kekatos [view email]
[v1] Thu, 31 Dec 2020 22:46:23 GMT (280kb,D)
Which authors of this paper are endorsers? | Disable MathJax (What is MathJax?)

Link back to: arXiv, form interface, contact.