1116 search results - page 146 / 224 » Applying Predicate Abstraction to Abstract State Machines |
IROS
2009
IEEE
15 years 5 months ago
2009
IEEE
Abstract— In this paper, a position based impedance controller (i.e. admittance controller) is designed by utilizing measurements of a force/torque sensor, which is mounted at th...
FM
2009
Springer
15 years 5 months ago
2009
Springer
Abstract. Programming errors found early are the cheapest. Tools applying to the early stage of code development exist but either they suffer from false positives (“noise”) or...
GLOBECOM
2008
IEEE
15 years 5 months ago
2008
IEEE
Abstract—In this contribution, we propose an original algorithm for self-localization in mobile ad-hoc networks. The proposed technique, based on interval analysis, is suited to ...
ICCS
2007
Springer
15 years 5 months ago
2007
Springer
Abstract. Classical formulations of data-assimilation perform poorly when forecast locations of weather systems are displaced from their observations. They compensate position erro...
ETFA
2006
IEEE
15 years 5 months ago
2006
IEEE
Abstract. In this paper, reverse partially-marked safe net condition/event systems (RsNCES) are introduced, rules of their functioning are defined and convenient interpretation met...