102 citations · 204 across the 57 of their papers we have counts for
Showing 2012Show all
2 papers · 1 filter
cs.RO2012
Incremental Control Synthesis in Probabilistic Environments with Temporal Logic Constraints
Alphan Ulusoy, Tichakorn Wongpiromsarn, Calin Belta
In this paper, we present a method for optimal control synthesis of a plant that interacts with a set of agents in a graph-like environment. The control specification is given as a…
math.DS2012
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…