1469 search results - page 199 / 294 » Discretization of a Continuous Curve |
203
click to vote
CAV
2003
Springer
15 years 11 months ago
2003
Springer
We consider the problem of synthesizing controllers for timed systems modeled using timed automata. The point of departure from earlier work is that we consider controllers that ha...
136
click to vote
HYBRID
2003
Springer
15 years 11 months ago
2003
Springer
We analyze the observability of the continuous and discrete states of continuous-time linear hybrid systems. For the class of jumplinear systems, we derive necessary and sufficient...
191
click to vote
ASM
2010
ASM
15 years 11 months ago
2010
ASM
Traditionally, simulation is used to perform probabilistic analysis. However, it provides less accurate results and cannot handle large-scale problems due to the enormous CPU time ...
174
click to vote
ICRA
2002
IEEE
15 years 11 months ago
2002
IEEE
In a typical dextrous manipulation task, a goal configuration is reached through a sequence of continuous motions. Most often, a motion plan is computed offline and subsequently...
135
click to vote
CDC
2009
IEEE
15 years 11 months ago
2009
IEEE
— For the optimal approximation of multivariate Gaussian densities by means of Dirac mixtures, i.e., by means of a sum of weighted Dirac distributions on a continuous domain, a n...