595 search results - page 55 / 119 » Predictive State Representations with State Space Partitioni... |
111
click to vote
CDC
2010
IEEE
14 years 7 months ago
2010
IEEE
Abstract-- We present a computational framework for automatic synthesis of a feedback control strategy for a piecewise affine (PWA) system from a specification given as a Linear Te...
104
Voted
GI
2009
Springer
15 years 4 months ago
2009
Springer
: Large traffic network systems require handling huge amounts of data, often distributed over a large geographical region in space and time. Centralised processing is not then the ...
95
Voted
CSL
2010
Springer
15 years 1 months ago
2010
Springer
We consider two-player games with imperfect information and quantitative objective. The game is played on a weighted graph with a state space partitioned into classes of indistingu...
113
click to vote
CORR
2010
Springer
15 years 20 days ago
2010
Springer
Abstract--This paper focuses on data structures for multicore reachability, which is a key component in model checking algorithms and other verification methods. A cornerstone of a...
92
Voted
FMSD
2006
15 years 17 days ago
2006
Convex polyhedra are often used to approximate sets of states of programs involving numerical variables. The manipulation of convex polyhedra relies on the so-called double descri...