5200 search results - page 290 / 1040 » Symbolic models for control systems |
ICRA
2006
IEEE
14 years 3 months ago
2006
IEEE
Abstract— The roller racer, an undulatory locomotion system, is a toy which can be propelled forward by sitting on it and only oscillating the steering handle. A nonholonomic dyn...
ICAC
2005
IEEE
14 years 3 months ago
2005
IEEE
Methods for automatically managing the performance of computing services must estimate a performance model of that service. This paper explores properties that are necessary for p...
ICC
2009
IEEE
14 years 4 months ago
2009
IEEE
Abstract—In this paper, we explore the “clustering” phenomenon in BT-like systems. A high clustering implies peers have a high tendency to exchange information with peers of ...
CORR
2008
Springer
13 years 9 months ago
2008
Springer
Abstract-- The interface for the next generation of Unmanned Vehicle Systems should be an interface with multi-modal displays and input controls. Then, the role of the interface wi...
IJFCS
2007
13 years 9 months ago
2007
In this technical report, we present a process algebra aimed at modelling PKI-based systems. The new language, SPIKY, extends the spi-calculus by adding primitives for the retriev...