7 citations · 19 across the 10 of their papers we have counts for
14 papers
Finite Bisimulations for Switched Linear Systems
Ebru Aydin Gol, Xuchu Ding, Mircea Lazar +1
In this paper, we consider the problem of constructing a finite bisimulation quotient for a discrete-time switched linear system in a bounded subset of its state space. Given a set…
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…
Receding Horizon Temporal Logic Control for Finite Deterministic Systems
Xuchu Ding, Mircea Lazar, Calin Belta
This paper considers receding horizon control of finite deterministic systems, which must satisfy a high level, rich specification expressed as a linear temporal logic formula. Und…
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…
Temporal Logic Motion Control using Actor-Critic Methods
Xu Chu Ding, Jing Wang, Morteza Lahijanian +2
In this paper, we consider the problem of deploying a robot from a specification given as a temporal logic statement about some properties satisfied by the regions of a large, part…
Robust Multi-Robot Optimal Path Planning with Temporal Logic Constraints
Alphan Ulusoy, Stephen L. Smith, Xu Chu Ding +1
In this paper we present a method for automatically planning robust optimal paths for a group of robots that satisfy a common high level mission specification. Each robot's motion…