49 citations · 163 across the 51 of their papers we have counts for
8 papers · 1 filter
Learning Constraints from Demonstrations
Glen Chou, Dmitry Berenson, Necmiye Ozay
We extend the learning from demonstration paradigm by providing a method for learning unknown constraints shared across tasks, using demonstrations of the tasks, their cost functio…
Multirobot Coordination with Counting Temporal Logics
Yunus Emre Sahin, Petter Nilsson, Necmiye Ozay
In many multirobot applications, planning trajectories in a way to guarantee that the collective behavior of the robots satisfies a certain high-level specification is crucial. Mot…
Passivity-Based Analysis of Sampled and Quantized Control Implementations
Xiangru Xu, Necmiye Ozay, Vijay Gupta
This paper studies the performance of a continuous controller when implemented on digital devices via sampling and quantization, by leveraging passivity analysis. Degradation of pa…
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…
Non-asymptotic Identification of LTI Systems from a Single Trajectory
Samet Oymak, Necmiye Ozay
We consider the problem of learning a realization for a linear time-invariant (LTI) dynamical system from input/output data. Given a single input/output trajectory, we provide fini…
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…