49 citations · 163 across the 51 of their papers we have counts for
6 papers · 1 filter
Finite Sample Identification of Bilinear Dynamical Systems
Yahya Sattar, Samet Oymak, Necmiye Ozay
Bilinear dynamical systems are ubiquitous in many different domains and they can also be used to approximate more general control-affine systems. This motivates the problem of lear…
Efficient Backward Reachability Using the Minkowski Difference of Constrained Zonotopes
Liren Yang, Hang Zhang, Jean-Baptiste Jeannin +1
Backward reachability analysis is essential to synthesizing controllers that ensure the correctness of closed-loop systems. This paper is concerned with developing scalable algorit…
On the Convergence of the Backward Reachable Sets of Robust Controlled Invariant Sets For Discrete-time Linear Systems
Zexiang Liu, Necmiye Ozay
This paper considers discrete-time linear systems with bounded additive disturbances, and studies the convergence properties of the backward reachable sets of robust controlled inv…
Safe Output Feedback Motion Planning from Images via Learned Perception Modules and Contraction Theory
Glen Chou, Necmiye Ozay, Dmitry Berenson
We present a motion planning algorithm for a class of uncertain control-affine nonlinear systems which guarantees runtime safety and goal reachability when using high-dimensional s…
Mode Reduction for Markov Jump Systems
Zhe Du, Laura Balzano, Necmiye Ozay
Switched systems are capable of modeling processes with underlying dynamics that may change abruptly over time. To achieve accurate modeling in practice, one may need a large numbe…
An Invariant Set Construction Method, Applied to Safe Coordination of Thermostatic Loads
Sunho Jang, Necmiye Ozay, Johanna L. Mathieu
We consider the problem of coordinating a collection of switched subsystems under both local and global constraints for safe operation of the system. Although an invariant set can…