4693 search results - page 529 / 939 » Verifying Hybrid Systems |
163
click to vote
ICRA
2006
IEEE
16 years 1 months ago
2006
IEEE
- Time optimal control method for quadruped walking robots are developed and installed into a practical robot system. Each leg is modeled as a two link manipulator whose time optim...
210
click to vote
CRV
2005
IEEE
16 years 18 days ago
2005
IEEE
— Efficient exploration of unknown environments is a fundamental problem in mobile robotics. In this paper we present an approach to distributed multi-robot mapping and explorat...
184
click to vote
DATE
2005
IEEE
16 years 18 days ago
2005
IEEE
Accurate timing analysis is key to efficient embedded system synthesis and integration. While industrial control software systems are developed using graphical models, such as Ma...
216
click to vote
CCS
2005
ACM
16 years 16 days ago
2005
ACM
We study formal security properties of network-attached storage (NAS) in an applied pi calculus. We model NAS as an implementation of a specification based on traditional central...
167
click to vote
ICADL
2005
Springer
16 years 15 days ago
2005
Springer
As tools and systems for producing and disseminating image data have improved significantly in recent years, the volume of digital images has grown rapidly. An efficient mechanism ...