4693 search results - page 156 / 939 » Verifying Hybrid Systems |
116
click to vote
TC
2011
14 years 7 months ago
2011
—Single and double scalar multiplications are the most computational intensive operations in elliptic curve based cryptosystems. Improving the performance of these operations is ...
CDC
2008
IEEE
15 years 7 months ago
2008
IEEE
— In this paper we propose a testing based method for safety/ reachability analysis of stochastic hybrid systems. Testing based methods are characterized by analysis based on the...
IROS
2006
IEEE
15 years 7 months ago
2006
IEEE
– Robotic systems like humanoid frequently move to undesirable pose while being visually controlled at the boundary of its workspace, because the working environment is quite hug...
121
click to vote
MOBILWARE
2010
ACM
14 years 11 months ago
2010
ACM
An OFDM system is very sensitive to orthogonality relation. For a mobile wireless system, it is impossible to avoid Doppler-induced inter carrier interference (ICI). Moreover, whil...
118
click to vote
CDC
2010
IEEE
14 years 8 months ago
2010
IEEE
Abstract-- We propose a formal method for feedback controller synthesis using interactive computer programs with graphical interface (in short, computer games). The main theoretica...