2 citations · 3 across the 5 of their papers we have counts for
Showing 2020Show all
3 papers · 1 filter
cs.LO2020
Verifying a Cruise Control System using Simulink and SpaceEx
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…
cs.FL2020
Encoding sinusoidal functions in hybrid automata formalism
Nikolaos Kekatos
Hybrid systems can express a plethora of physical phenomena and systems as they can combine continuous and discrete dynamics. There exist several tools that enable the reachability…
cs.FL2020
Quantitative Corner Case Feature Analysis of Hybrid Automata with ForFET
Antonio Anastasio Bruto da Costa, Pallab Dasgupta, Nikolaos Kekatos
The analysis and verification of hybrid automata (HA) models against rich formal properties can be a challenging task. Existing methods and tools can mainly reason whether a given…