491 search results - page 18 / 99 » Linear Quantifier Elimination |
PATMOS
2007
Springer
14 years 1 months ago
2007
Springer
Abstract. Until now, the great majority of research in low-power systems has assumed a convex power model. However, recently, due to the confluence of emerging technological and ar...
FSE
2008
Springer
13 years 9 months ago
2008
Springer
Abstract. A corrector is used to reduce or eliminate statistical weakness of a physical random number generator. A description of linear corrector generalizing post-processing desc...
CDC
2008
IEEE
14 years 2 months ago
2008
IEEE
— The problem of rejection of a sinusoidal disturbance of known frequency, acting at the output of a discrete-time complex-valued linear stable plant with unknown dynamics, is co...
JSC
2007
13 years 7 months ago
2007
We present a method based on extended linear real quantifier elimination for multiple object semilinear motion planning, i.e. finding collision-free trajectories for several rob...
IROS
2006
IEEE
14 years 1 months ago
2006
IEEE
— Vision-based control of wheeled vehicles is a difficult problem due to nonholonomic constraints on velocities. This is further complicated in the control of vehicles with drif...