539 search results - page 66 / 108 » Observability of Switched Linear Systems |
ARC
2010
Springer
13 years 10 months ago
2010
Springer
: System identification is the art and science of building mathematical models of dynamic systems from observed input-output data. It can be seen as the interface between the real ...
ICPPW
2005
IEEE
14 years 3 months ago
2005
IEEE
We report on a £rst parallel implementation of a recent algorithm to factor positive dimensional solution sets of polynomial systems. As the algorithm uses homotopy continuation,...
CAV
2004
Springer
14 years 1 months ago
2004
Springer
Abstract. We extend the automata-theoretic framework for reasoning about infinitestate sequential systems to handle also the global model-checking problem. Our framework is based o...
PDP
2011
IEEE
13 years 1 months ago
2011
IEEE
—Energy-efficiency is becoming one of the most critical issues in embedded system design. In Network-on-Chip (NoC) based heterogeneous Multiprocessor Systems, the energy consump...
ICC
2007
IEEE
14 years 4 months ago
2007
IEEE
Abstract— In cellular systems a large reuse distance reduces cochannel interference while a small reuse distance increases bandwidth allocated to each cell. The optimal reuse dis...