293 search results - page 12 / 59 » Computing Stable Models by Using the ATMS |
ICRA
1999
IEEE
14 years 27 days ago
1999
IEEE
This paper proposes a hybrid control method of using the impedance control and the computed-torque control for biped robot locomotion. The computedtorque control is used for suppo...
Publication
We develop a simulation model for the ATM ABR service, and use it to engineer ABR congestion control behavior. Although significant work has been performed on ABR rate allocation a...
Publication
The current Internet only supports best-effort traffic. New high-speed technologies such as ATM (asynchronous transfer mode), gigabit Ethernet, fast Ethernet, and frame relay, have...
FORMATS
2006
Springer
14 years 8 days ago
2006
Springer
We propose a symbolic algorithm for the analysis of the robustness of timed automata, that is the correctness of the model in presence of small drifts on the clocks or imprecision ...
ICASSP
2011
IEEE
13 years 10 days ago
2011
IEEE
In this paper we present Poisson sum series representations for α-stable (αS) random variables and α-stable processes, in particular concentrating on continuous-time autoregres...