2266 search results - page 4 / 454 » Generalizing parametric timing analysis |
ISQED
2007
IEEE
14 years 1 months ago
2007
IEEE
TECS
2010
13 years 2 months ago
2010
ATVA
2004
Springer
14 years 1 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, ...
TROB
2010
13 years 2 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...
SIAMCO
2010
13 years 2 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...