2205 search results - page 355 / 441 » Mutation Operators for Specifications |
CDC
2010
IEEE
13 years 5 months ago
2010
IEEE
Abstract--In this paper, we investigate the potential of a selfpowered gliding aircraft to remain aloft indefinitely. We focus specifically on operations in the jet stream where pe...
CDC
2010
IEEE
13 years 5 months ago
2010
IEEE
This paper presents a class of multi-agent systems where the state of each agent is driven by its own local protocol, and by exogenous time-varying input signal. These inputs may r...
CDC
2010
IEEE
13 years 5 months ago
2010
IEEE
This paper examines the dynamics of a networked multi-agent system operating with a consensus-type coordination algorithm that can be influenced by external agents. We refer to thi...
CDC
2010
IEEE
13 years 5 months ago
2010
IEEE
In this paper we attempt to further demonstrate connections between information theory and control, in a networked setting. Specifically, we consider the communication problem of b...
CDC
2010
IEEE
13 years 5 months ago
2010
IEEE
Moment computation is essential to the analysis of stochastic kinetic models of biochemical reaction networks. It is often the case that the moment evolution, usually the first and...