5 citations · 5 across the 1 of their papers we have counts for
3 papers
cs.RO2013★ 5 cited
Optimal Receding Horizon Control for Finite Deterministic Systems with Temporal Logic Constraints
Mária Svoreňová, Ivana Černá, Calin Belta
In this paper, we develop a provably correct optimal control strategy for a finite deterministic transition system. By assuming that penalties with known probabilities of occurrenc…
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…