Sciweavers

1469 search results - page 55 / 294
» Discretization of a Continuous Curve
Sort
View
121
Voted
CDC
2009
IEEE
160views Control Systems» more  CDC 2009»
15 years 8 months ago
Receding horizon temporal logic planning for dynamical systems
— This paper bridges the advances in computer science and control to allow automatic synthesis of control strategies for complex dynamical systems which are guaranteed, by constr...
Tichakorn Wongpiromsarn, Ufuk Topcu, R. Richard Mu...
123
Voted
COMPGEOM
2006
ACM
15 years 9 months ago
Envelope surfaces
We construct a class of envelope surfaces in Rd , more precisely envelopes of balls. An envelope surface is a closed C1 (tangent continuous) manifold wrapping tightly around the u...
Nico Kruithof, Gert Vegter
DCC
2000
IEEE
15 years 3 months ago
Discrete Logarithms: The Past and the Future
The first practical public key cryptosystem to be published, the Diffie-Hellman key exchange algorithm, was based on the assumption that discrete logarithms are hard to compute. T...
Andrew M. Odlyzko
HYBRID
2007
Springer
15 years 10 months ago
A Controller Design Method Under Infrequent, Asynchronous Sensing
Abstract. We use discrete quadratic Lyapunov functions to design controllers for a class of systems where time intervals between state measurements are longer than time intervals b...
Fumin Zhang, Naomi Ehrich Leonard
137
Voted
ICIA
2007
15 years 6 months ago
Intent Recognition for Human-Robot Interaction
Effective human-robot cooperation requires robotic devices that understand human goals and intentions. We frame the problem of intent recognition as one of tracking and predicting...
Andreas G. Hofmann, Brian C. Williams