52 citations · 65 across the 11 of their papers we have counts for
Showing 2012Show all
2 papers · 1 filter
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…
eess.SY2012
Time-Constrained Temporal Logic Control of Multi-Affine Systems
Ebru Aydin Gol, Calin Belta
In this paper, we consider the problem of controlling a dynamical system such that its trajectories satisfy a temporal logic property in a given amount of time. We focus on multi-a…