101 search results - page 12 / 21 » Series expansions for analytic systems linear in control |
ICC
2007
IEEE
14 years 1 months ago
2007
IEEE
—The realistic performance of a multi-input multi-output (MIMO) communication system depends strongly on the spatial correlation properties introduced by clustering in the propag...
FROCOS
2007
Springer
14 years 26 days ago
2007
Springer
Often when formalising dynamic systems, constraints such as exactly “n” of a set of values hold. In this paper, we consider reasoning about propositional linear time temporal ...
HYBRID
2010
Springer
14 years 1 months ago
2010
Springer
We consider an anytime control algorithm for the situation when the processor resource availability is time-varying. The basic idea is to calculate the components of the control i...
DAC
2006
ACM
14 years 7 months ago
2006
ACM
For statistical timing and power analysis that are very important problems in the sub-100nm technologies, stochastic analysis of power grids that characterizes the voltage fluctua...
IROS
2006
IEEE
14 years 22 days ago
2006
IEEE
— In this paper we derive theoretical results for the problem of on-line sensor calibration for a mobile robot. We consider the case of the odometry sensor. A first series of re...