29143 search results - page 110 / 5829 » A Sortation System Model |
TROB
2002
13 years 9 months ago
2002
Dynamic control of constrained mechanical systems, such as robotic manipulators under end-effector constraints, parallel manipulators, and multifingered robotic hands under closure...
COMPSYSTECH
2009
13 years 8 months ago
2009
: Recent advances in Information and Communication Technologies (ICT) and more specifically in wireless networks and mobile computing have driven new directions in the development ...
QEST
2008
IEEE
14 years 4 months ago
2008
IEEE
We present a new version of PROBDIVINE – a parallel tool for verification of probabilistic systems against properties formulated in linear temporal logic. Unlike the previous r...
ER
2007
Springer
14 years 4 months ago
2007
Springer
This paper describes a strategy for modeling and engineering complex e-business systems with built-in quality of adaptiveness. The paper explains the philosophical and scientific ...
HYBRID
2007
Springer
14 years 4 months ago
2007
Springer
Abstract. A measure differential inclusion (MDI) based modeling approach for rigidbody mechanical systems will be introduced, that can exhibit autonomous or controlled mode transi...