4 citations · 6 across the 3 of their papers we have counts for
Showing 2020Show all
2 papers · 1 filter
eess.SY2020★ 2 cited
Tractable Compositions of Discrete-Time Control Barrier Functions with Application to Lane Keeping and Obstacle Avoidance
Matthew Cavorsi, Mohammad Khajenejad, Ruochen Niu +2
This paper introduces control barrier functions for discrete-time systems, which can be shown to be necessary and sufficient for controlled invariance of a given set. Moreover, we…
math.OC2020
Incremental Affine Abstraction of Nonlinear Systems
Syed M. Hassaan, Mohammad Khajenejad, Spencer Jensen +2
In this paper, we propose an incremental abstraction method for dynamically over-approximating nonlinear systems in a bounded domain by solving a sequence of linear programs, resul…