7 citations · 19 across the 10 of their papers we have counts for
4 papers · 1 filter
Formal Abstraction of Linear Systems via Polyhedral Lyapunov Functions
Xuchu Ding, Mircea Lazar, Calin Belta
In this paper we present an abstraction algorithm that produces a finite bisimulation quotient for an autonomous discrete-time linear system. We assume that the bisimulation quotie…
An Optimal Control Approach to the Persistent Monitoring Problem
Christos. G. Cassandras, Xuchao Lin, Xu Chu Ding
We propose an optimal control framework for persistent monitoring problems where the objective is to control the movement of mobile nodes to minimize an uncertainty metric in a giv…
An Optimal Control Approach for the Persistent Monitoring Problem
Christos G. Cassandras, Xu Chu Ding, Xuchao Lin
We propose an optimal control framework for persistent monitoring problems where the objective is to control the movement of mobile agents to minimize an uncertainty metric in a gi…
Probabilistically Safe Vehicle Control in a Hostile Environment
Igor Cizelj, Xu Chu Ding, Morteza Lahijanian +2
In this paper we present an approach to control a vehicle in a hostile environment with static obstacles and moving adversaries. The vehicle is required to satisfy a mission object…