5200 search results - page 25 / 1040 » Symbolic models for control systems |
FOSSACS
2007
Springer
14 years 2 months ago
2007
Springer
Higher-order pushdown systems (PDSs) generalise pushdown systems through the use of higher-order stacks, that is, a nested “stack of stacks” structure. These systems may be us...
QEST
2007
IEEE
14 years 2 months ago
2007
IEEE
The paper introduces symbolic bisimulations for a simple probabilistic π-calculus to overcome the infinite branching problem that still exists in checking ground bisimulations b...
ICC
2007
IEEE
14 years 3 months ago
2007
IEEE
— In this paper we present an analytical approach to evaluate the symbol error rate (SER) of OFDM systems subject to carrier frequency offset (CFO) and channel estimation error i...
IJCNN
2006
IEEE
14 years 2 months ago
2006
IEEE
— Neural networks have been proposed as an ideal cognitive modeling methodology to deal with the symbol grounding problem. More recently, such neural network approaches have been...
VTC
2007
IEEE
14 years 2 months ago
2007
IEEE
—This paper reviews the pertinence and statistical behavior of symbol-spaced tapped-delay-line (TDL) models which are widely used to model wide-sense stationary uncorrelated scat...