45 search results - page 7 / 9 » Absolute stability of third-order systems: A numerical algor... |
CHARME
2003
Springer
14 years 5 days ago
2003
Springer
In formal verification, we verify that a system is correct with respect to a specification. Even when the system is proven to be correct, there is still a question of how complete ...
HYBRID
2001
Springer
14 years 1 months ago
2001
Springer
It has been observed that there are a variety of situations in which the most popular hybrid simulation methods can fail to properly detect the occurrence of discrete events. In th...
CDC
2009
IEEE
14 years 1 months ago
2009
IEEE
— This paper proposes a multiple-model adaptive control methodology, using set-valued observers (MMAC-SVO) for the identification subsystem, that is able to provide robust stabi...
ICRA
2003
IEEE
14 years 1 months ago
2003
IEEE
In this paper, we introduce a new hexapedal locomotion controller that simulation evidence suggests will be capable of driving our RHex robot at speeds exceeding five body length...
ICASSP
2011
IEEE
13 years 8 days ago
2011
IEEE
In our previous work we have proposed a dynamic version of the consensus propagation (CP) algorithm introduced by Moallemi and Van Roy. Here, we pursue a system theoretic approach...