3 citations · 13 across the 21 of their papers we have counts for
6 papers · 1 filter
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…
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…
Switching and Data Injection Attacks on Stochastic Cyber-Physical Systems: Modeling, Resilient Estimation and Attack Mitigation
Sze Zheng Yong, Minghui Zhu, Emilio Frazzoli
In this paper, we consider the problem of attack-resilient state estimation, that is to reliably estimate the true system states despite two classes of attacks: (i) attacks on the…
Simultaneous Mode, Input and State Estimation for Switched Linear Stochastic Systems
Sze Zheng Yong, Minghui Zhu, Emilio Frazzoli
In this paper, we propose a filtering algorithm for simultaneously estimating the mode, input and state of hidden mode switched linear stochastic systems with unknown inputs. Using…
On Minimum-time Paths of Bounded Curvature with Position-dependent Constraints
Ricardo G. Sanfelice, Sze Zheng Yong, Emilio Frazzoli
We consider the problem of a particle traveling from an initial configuration to a final configuration (given by a point in the plane along with a prescribed velocity vector) in mi…
A Unified Filter for Simultaneous Input and State Estimation of Linear Discrete-time Stochastic Systems
Sze Zheng Yong, Minghui Zhu, Emilio Frazzoli
In this paper, we present a unified optimal and exponentially stable filter for linear discrete-time stochastic systems that simultaneously estimates the states and unknown inputs…