34 citations · 106 across the 32 of their papers we have counts for
Showing 2012Show all
2 papers · 1 filter
eess.SY2012★ 2 cited
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…
math.OC2012★ 4 cited
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…