21 citations · 35 across the 30 of their papers we have counts for
9 papers · 1 filter
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…
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…
Interval Observers for Simultaneous State and Model Estimation of Partially Known Nonlinear Systems
Mohammad Khajenejad, Zeyuan Jin, Sze Zheng Yong
We study the problem of designing interval-valued observers that simultaneously estimate the system state and learn an unknown dynamic model for partially unknown nonlinear systems…
Simultaneous Input and State Interval Observers for Nonlinear Systems with Rank-Deficient Direct Feedthrough
Mohammad Khajenejad, Sze Zheng Yong
We address the problem of designing simultaneous input and state interval observers for Lipschitz continuous nonlinear systems with rank-deficient feedthrough, unknown inputs and b…
Data-Driven Model Invalidation for Unknown Lipschitz Continuous Systems via Abstraction
Zeyuan Jin, Mohammad Khajenejad, Sze Zheng Yong
In this paper, we consider the data-driven model invalidation problem for Lipschitz continuous systems, where instead of given mathematical models, only prior noisy sampled data of…
Simultaneous Input and State Interval Observers for Nonlinear Systems with Full-Rank Direct Feedthrough
Mohammad Khajenejad, Sze Zheng Yong
A simultaneous input and state interval observer is presented for Lipschitz continuous nonlinear systems with unknown inputs and bounded noise signals for the case when the direct…