2266 search results - page 4 / 454 » Generalizing parametric timing analysis |
ISQED
2007
IEEE
15 years 8 months ago
2007
IEEE
TECS
2010
14 years 8 months ago
2010
131
click to vote
ATVA
2004
Springer
15 years 7 months ago
2004
Springer
Timed Bisimulation Preserving Abstraction for Parametric Time-Interval Automata Akio Nakata, Tadaaki Tanimoto, Suguru Sasaki, Teruo Higashino Department of Information Networking, ...
158
Voted
TROB
2010
14 years 8 months ago
2010
The robot hand applying force on a deformable object will result in a changing wrench space due to the varying shape and normal of the contact area. Design and analysis of a manipu...
117
Voted
SIAMCO
2010
14 years 8 months ago
2010
Abstract. We establish results for the problem of tracking a time-dependent manifold arising in realtime optimization by casting this as a parametric generalized equation. We demon...