Sciweavers

1237 search results - page 146 / 248
» Simulation sampling with live-points
Sort
View
HAPTICS
2005
IEEE
14 years 2 months ago
The Effect of Quantization and Coulomb Friction on the Stability of Haptic Rendering
Rendering stiff virtual objects remains a core challenge in the field of haptics. A study of this problem is presented, which relates the maximum achievable object stiffness to t...
Nicola Diolaiti, Günter Niemeyer, Federico Ba...
ISCAS
2005
IEEE
154views Hardware» more  ISCAS 2005»
14 years 2 months ago
Boost-buck inverter variable structure control for grid-connected photovoltaic systems
—The present work describes the analysis, modeling and control of a transformerless Boost-Buck power inverter used as a DC-AC power conditioning stage for grid-connected photovol...
Carlos Meza, Domingo Biel, Luis Martinez-Salamero,...
QEST
2005
IEEE
14 years 2 months ago
An approximation algorithm for labelled Markov processes: towards realistic approximation
Abstract— Approximation techniques for labelled Markov processes on continuous state spaces were developed by Desharnais, Gupta, Jagadeesan and Panangaden. However, it has not be...
Alexandre Bouchard-Côté, Norm Ferns, ...
SPAA
2005
ACM
14 years 2 months ago
The expansion and mixing time of skip graphs with applications
We prove that with high probability a skip graph contains a 4-regular expander as a subgraph, and estimate the quality of the expansion via simulations. As a consequence skip grap...
James Aspnes, Udi Wieder
CAV
2005
Springer
133views Hardware» more  CAV 2005»
14 years 2 months ago
On Statistical Model Checking of Stochastic Systems
Statistical methods to model check stochastic systems have been, thus far, developed only for a sublogic of continuous stochastic logic (CSL) that does not have steady state operat...
Koushik Sen, Mahesh Viswanathan, Gul Agha