Sciweavers

3457 search results - page 192 / 692
» A Symbol Is Not a Symbol
Sort
View
CDC
2010
IEEE
129views Control Systems» more  CDC 2010»
15 years 1 months ago
A symbolic approach to controlling piecewise affine systems
Abstract-- We present a computational framework for automatic synthesis of a feedback control strategy for a piecewise affine (PWA) system from a specification given as a Linear Te...
Jana Tumova, Boyan Yordanov, Calin Belta, Ivana Ce...
JAR
2011
49views more  JAR 2011»
15 years 1 months ago
A Survey of Symbolic Methods in Computational Analysis of Cryptographic Systems
Véronique Cortier, Steve Kremer, Bogdan War...
IEICET
2010
92views more  IEICET 2010»
15 years 1 months ago
Multiple-Symbol Differential Detection for Unitary Space-Time-Frequency Coding
Ziyan Jia, Shiro Handa, Fumihito Sasamori, Shinjir...