activity
20122023
most citedVerifying Controllers with Convolutional Neural Network-based Perception: A Case for Intelligible, Safe, and Precise Abstractions

36 citations · 113 across the 35 of their papers we have counts for

collaborators
Showing 2018Show all

2 papers · 1 filter

eess.SY2018

CODEV: Automated Model Predictive Control Design and Formal Verification (Tool Paper)

Nicole Chan, Sayan Mitra

We present CODEV, a Matlab-based tool for verifying systems employing Model Predictive Control (MPC). The MPC solution is computed offline and modeled together with the physical sy…

eess.SY2018

Verifying nonlinear analog and mixed-signal circuits with inputs

Chuchu Fan, Yu Meng, Jürgen Maier +3

We present a new technique for verifying nonlinear and hybrid models with inputs. We observe that once an input signal is fixed, the sensitivity analysis of the model can be comput…