4693 search results - page 568 / 939 » Verifying Hybrid Systems |
193
click to vote
ICNP
2009
IEEE
15 years 4 months ago
2009
IEEE
Abstract--To ensure state synchronization of signalling operations, many signaling protocol designs choose to establish "soft" state that expires if it is not refreshed. ...
164
click to vote
ICRA
2009
IEEE
16 years 1 months ago
2009
IEEE
—Collision safety between humans and robots has drawn much attention since service robots are increasingly being used in human environments. A safe robot arm based on passive com...
236
click to vote
JCSC
2002
15 years 6 months ago
2002
There is a growing need to analyze and optimize the stand-by component of power in digital circuits designed for portable and battery-powered applications. Since these circuits re...
162
click to vote
ICARCV
2008
IEEE
16 years 1 months ago
2008
IEEE
—This paper presents the controller synthesis for a fine actuation system of a 3-DOF micro parallel positioning platform. The platform is composed of a dual stage servo system fo...
158
click to vote
SEUS
2007
IEEE
16 years 1 months ago
2007
IEEE
We propose a framework that supports user-friendly configuration of a new location sensor system and its automatic integration with a location manager. The framework abstracts out...