3458 search results - page 378 / 692 » Abstracting Control |
133
click to vote
CDC
2008
IEEE
15 years 6 months ago
2008
IEEE
Abstract-- A network of nodes communicate via noisy channels. Each node has some real-valued initial measurement or message. The goal of each of the nodes is to acquire an estimate...
148
click to vote
CDC
2008
IEEE
15 years 6 months ago
2008
IEEE
Abstract-- This paper studies distributed coordination algorithms for multiple fractional-order systems over a directed communication graph. A general fractional-order consensus mo...
156
click to vote
ISSTA
2010
ACM
15 years 6 months ago
2010
ACM
This paper presents a new technique, called Symbolic Program Decomposition (or SPD), for symbolic execution of multiple paths that is more scalable than existing techniques, which...
128
click to vote
CDC
2008
IEEE
15 years 6 months ago
2008
IEEE
Abstract-- This paper introduces a global uncertainty propagation scheme for the attitude dynamics of a rigid body, through a combination of numerical parametric uncertainty techni...
134
click to vote
CDC
2008
IEEE
15 years 6 months ago
2008
IEEE
Abstract-- The aim of this paper is to address left invertibility for dynamical systems with inputs and outputs in discrete sets. We study systems that evolve in discrete time with...