2838 search results - page 185 / 568 » Verifying Controlled Components |
RSP
2003
IEEE
14 years 4 months ago
2003
IEEE
This paper addresses the need for systematic verification of timing properties of real-time prototypes, which consist of timing constraints that must be satisfied at any given tim...
CDC
2009
IEEE
14 years 3 months ago
2009
IEEE
— In this paper, we investigate synchronization in a small-world network of coupled nonlinear oscillators. This network is constructed by introducing random shortcuts in a neares...
CDC
2009
IEEE
14 years 3 months ago
2009
IEEE
— We propose a compositional stability analysis methodology for verifying properties of systems that are interconnections of multiple subsystems. The proposed method assembles st...
CDC
2009
IEEE
14 years 3 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...
CDC
2009
IEEE
14 years 2 months ago
2009
IEEE
This paper proposes a Probability weighted ARX (PrARX) model wherein the multiple ARX models are composed by the probabilistic weighting functions. As the probabilistic weighting f...