4693 search results - page 504 / 939 » Verifying Hybrid Systems |
187
click to vote
ICRA
2010
IEEE
15 years 5 months ago
2010
IEEE
Abstract-- This paper describes a navigation system that allowed a robot to complete 26.2 miles of autonomous navigation in a real office environment. We present the methods requir...
168
click to vote
JMLR
2010
15 years 1 months ago
2010
A parametric version of herding is formulated. The nonlinear mapping between consecutive time slices is learned by a form of self-supervised training. The resulting dynamical syst...
172
click to vote
SCL
2010
15 years 1 months ago
2010
The input-state incidence matrix of control Boolean network is proposed. It is shown that this matrix contains complete information of the input-state mapping. Using it, an easily...
155
click to vote
ICASSP
2011
IEEE
14 years 10 months ago
2011
IEEE
We configure the multiple node interference (MNI) on OFDMA mesh networks and analyze the feature of this MNI as a closed form in terms of timing misalignment between multiple nod...
152
click to vote
VMCAI
2010
Springer
16 years 4 months ago
2010
Springer
Abstract. A technique for elegantly expressing In-lined Reference Monitor (IRM) certification as model-checking is presented and implemented. In-lined Reference Monitors (IRM'...