49 citations · 163 across the 51 of their papers we have counts for
3 papers · 2 filters
Using control synthesis to generate corner cases: A case study on autonomous driving
Glen Chou, Yunus E. Sahin, Liren Yang +3
This paper employs correct-by-construction control synthesis, in particular controlled invariant set computations, for falsification. Our hypothesis is that if it is possible to co…
A Robust Algorithm for Online Switched System Identification
Zhe Du, Necmiye Ozay, Laura Balzano
In this paper, we consider the problem of online identification of Switched AutoRegressive eXogenous (SARX) systems, where the goal is to estimate the parameters of each subsystem…
Nonuniform abstractions, refinement and controller synthesis with novel BDD encodings
Oscar Lindvall Bulancea, Petter Nilsson, Necmiye Ozay
This paper presents a control synthesis algorithm for dynamical systems to satisfy specifications given in a fragment of linear temporal logic. It is based on an abstraction-refine…