1302 search results - page 180 / 261 » Free-Style Theorem Proving |
189
click to vote
ASM
2010
ASM
15 years 11 months ago
2010
ASM
Traditionally, simulation is used to perform probabilistic analysis. However, it provides less accurate results and cannot handle large-scale problems due to the enormous CPU time ...
154
click to vote
CDC
2009
IEEE
15 years 11 months ago
2009
IEEE
— In this paper, we prove that a discrete-time switched linear system is exponentially stabilizable if and only if there exists a stationary hybrid-control law that consists of a...
148
click to vote
CDC
2009
IEEE
15 years 11 months ago
2009
IEEE
Abstract— Multi-agent systems (MAS) have received an increasing attention over the past few years. Here an MAS is a system consisted of multiple interacting intelligent agents. T...
175
click to vote
HYBRID
2009
Springer
15 years 11 months ago
2009
Springer
This paper studies the exponential stabilization problem for discrete-time switched linear systems based on a control-Lyapunov function approach. A number of versions of converse c...
234
click to vote
COLT
2001
Springer
15 years 10 months ago
2001
Springer
We prove strong noise-tolerance properties of a potential-based boosting algorithm, similar to MadaBoost (Domingo and Watanabe, 2000) and SmoothBoost (Servedio, 2003). Our analysi...