359 search results - page 62 / 72 » Reachability for Continuous and Hybrid Systems |
PLDI
2000
ACM
14 years 2 months ago
2000
ACM
Functional Reactive Programming, or FRP, is a general framework for programming hybrid systems in a high-level, declarative manner. The key ideas in FRP are its notions of behavio...
ICRA
2008
IEEE
14 years 4 months ago
2008
IEEE
— This paper investigates the scenario of a robot making a tradeoff between tracking a time-varying reference trajectory and stopping to communicate at points where the radio sig...
ICRA
2002
IEEE
14 years 3 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...
ICRA
1999
IEEE
14 years 2 months ago
1999
IEEE
We describe a hybrid planar image-based servo algorithm which, for a simplified planar convex rigid body, converges to a static goal for all initial conditions within the workspac...
ISCA
1993
IEEE
14 years 2 months ago
1993
IEEE
Advances in circuit and integration technology are continuously boosting the speed of microprocessors. One of the main challenges presented by such developments is the effective u...