3 citations · 5 across the 4 of their papers we have counts for
7 papers
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…
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…
Simultaneous Mode, Input and State Set-Valued Observers with Applications to Resilient Estimation Against Sparse Attacks
Mohammad Khajenejad, Sze Zheng Yong
A simultaneous mode, input and state set-valued observer is proposed for hidden mode switched linear systems with bounded-norm noise and unknown input signals. The observer consist…