output
20072026
most citedThe pitfalls of verifying floating-point computations

211 citations

researchers with a paper here
collaborating institutions
Showing 2020Show all

5 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

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…

cs.DC2020

MIMOS: A Deterministic Model for the Design and Update of Real-Time Systems

Wang Yi, Morteza Mohaqeqi, Susanne Graf

Inspired by the pioneering work of Gilles Kahn on concurrent systems, we propose to model timed systems as a network of software components (implemented as real-time processes or t…

eess.SY2020

Safe and efficient collision avoidance control for autonomous vehicles

Qiang Wang, Dachuan Li, Joseph Sifakis

We study a novel principle for safe and efficient collision avoidance that adopts a mathematically elegant and general framework abstracting as much as possible from the controlled…

cs.CG2020

A task-based approach to parallel parametric linear programming solving, and application to polyhedral computations

Camille Coti, David Monniaux, Hang Yu

Parametric linear programming is a central operation for polyhedral computations, as well as in certain control applications.Here we propose a task-based scheme for parallelizing i…