2508 search results - page 128 / 502 » An analytic approach to stability |
ESOP
2010
Springer
15 years 11 months ago
2010
Springer
Abstract. We propose a new formalisation of stability for Rely-Guarantee, in which an assertion's stability is encoded into its syntactic form. This allows two advances in mod...
111
click to vote
ICCAD
2006
IEEE
15 years 10 months ago
2006
IEEE
Recent successful techniques for the efficient simulation of largescale interconnect models rely on the sparsification of the inverse of the inductance matrix L. While there are...
108
click to vote
IROS
2009
IEEE
15 years 8 months ago
2009
IEEE
— A stable non-linear oscillator for autonomous biped stepping control is designed in a top-down manner by morphing dynamics of standing regulator. It resolves three problems whi...
126
click to vote
ESA
2009
Springer
15 years 8 months ago
2009
Springer
We study the performance of approximate Nash equilibria for congestion games with polynomial latency functions. We consider how much the price of anarchy worsens and how much the ...
85
Voted
CDC
2008
IEEE
15 years 8 months ago
2008
IEEE
— This paper introduces a convenient framework based on passivity and Linear Matrix Inequalities (LMIs) for stability analysis and controller design for haptic systems involving ...