4131 search results - page 205 / 827 » The Generalized Max-Controlled Set Problem |
101
Voted
TACAS
2010
Springer
15 years 10 months ago
2010
Springer
Abstract. We present a general theory that exploits simulation relations on transition systems to obtain antichain algorithms for solving the reachability and repeated reachability...
115
click to vote
AI
2007
Springer
15 years 3 months ago
2007
Springer
We present an efficient algorithm that checks the consistency of partial descriptions of ordered trees. The constraint language of these descriptions was introduced by Cornell in c...
109
click to vote
AUTOMATICA
2006
15 years 3 months ago
2006
In this paper we solve the general problem of designing a feedback controller to reach a set of facets of an n-dimensional simplex in finite time, for a system evolving with linea...
119
click to vote
TAMC
2009
Springer
15 years 10 months ago
2009
Springer
In this paper we define the notion of an f(k)-uniform parameterized exponential time scheme. We show that a problem can be solved in parameterized O(2o(f(k)) p(n)) time if and on...
113
Voted
SIAMCO
2002
15 years 3 months ago
2002
Abstract. We formulate a robust optimal control problem for a general nonlinear system with finitely many admissible control settings and with costs assigned to switching of contro...