83 search results - page 17 / 17 » Nonlinear Systems: Approximating Reach Sets |
SAS
2010
Springer
13 years 9 months ago
2010
Springer
Proving termination of sequential programs is an important problem, both for establishing the total correctness of systems and as a component of proving more general termination an...
IROS
2006
IEEE
14 years 4 months ago
2006
IEEE
— We propose to classify the behaviors of a mobile robot thanks to topological methods as an alternative to metric ones. To do so, we adapt an analysis scheme from Physics of non...
ICDCS
2006
IEEE
14 years 4 months ago
2006
IEEE
Network coordinates provide a scalable way to estimate latencies among large numbers of hosts. While there are several algorithms for producing coordinates, none account for the f...