4047 search results - page 354 / 810 » The Discrete Basis Problem |
139
click to vote
SODA
2010
ACM
16 years 2 months ago
2010
ACM
We consider the problem of reconstructing a road network from a collection of path traces and provide guarantees on the accuracy of the reconstruction under reasonable assumptions...
187
click to vote
TACAS
2010
Springer
16 years 3 days ago
2010
Springer
We study the model checking problem of timed automata based on SAT solving. Our work investigates alternative possibilities for coding the SAT reductions that are based on parallel...
158
click to vote
SAC
2010
ACM
15 years 12 months ago
2010
ACM
Analysis of systems containing both discrete and continuous dynamics, hybrid systems, is a difficult issue. Most problems have been shown to be undecidable in general, and decidab...
136
click to vote
HYBRID
2009
Springer
15 years 12 months ago
2009
Springer
In this paper, we present an automatable decompositional method for the computation of Lyapunov functions for hybrid systems with complex discrete state spaces. We use graph-based ...
103
click to vote
ICRA
2009
IEEE
15 years 11 months ago
2009
IEEE
— This paper focuses on time-optimal path tracking, which involves planning of robot motions along prescribed geometric paths. Starting from a discretized convex reformulation of...