49 citations · 163 across the 51 of their papers we have counts for
4 papers · 1 filter
Learning Parametric Constraints in High Dimensions from Demonstrations
Glen Chou, Necmiye Ozay, Dmitry Berenson
We present a scalable algorithm for learning parametric constraints in high dimensions from safe expert demonstrations. To reduce the ill-posedness of the constraint recovery probl…
Mode Clustering for Markov Jump Systems
Zhe Du, Necmiye Ozay, Laura Balzano
In this work, we consider the problem of mode clustering in Markov jump models. This model class consists of multiple dynamical modes with a switching sequence that determines how…
Safety Control with Preview Automaton
Zexiang Liu, Necmiye Ozay
This paper considers the problem of safety controller synthesis for systems equipped with sensor modalities that can provide preview information. We consider switched systems where…
Correct-by-construction control synthesis for buck converters with event-triggered state measurement
Liren Yang, Xiaofan Cui, Al-Thaddeus Avestruz +1
In this paper, we illustrate a new correct-by-construction switching controller for a power converter with event-triggered measurements. The event-triggered measurement scheme is b…