2 citations · 2 across the 2 of their papers we have counts for
5 papers
Equalized Recovery State Estimators for Linear Systems with Delayed and Missing Observations
Syed M. Hassaan, Qiang Shen, Sze Zheng Yong
This paper presents a dynamic state observer design for discrete-time linear time-varying systems that robustly achieves equalized recovery despite delayed or missing observations,…
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…
Development of a General Momentum Exchange Devices Fault Model for Spacecraft Fault-Tolerant Control System Design
Chengfei Yue, Qiang Shen, Xibin Cao +3
This paper investigates the mechanism of various faults of momentum exchange devices. These devices are modeled as a cascade electric motor EM - variable speed drive VSD system. Co…
Mesh-Based Affine Abstraction of Nonlinear Systems with Tighter Bounds
Kanishka Raj Singh, Qiang Shen, Sze Zheng Yong
In this paper, we consider the problem of piecewise affine abstraction of nonlinear systems, i.e., the overapproximation of its nonlinear dynamics by a pair of piecewise affine fun…