Sciweavers

2530 search results - page 94 / 506
» Dynamic topological logic
Sort
View
CLIMA
2007
13 years 11 months ago
Actions with Failures in Interval Temporal Logic
Abstract. Failures are unavoidable in many circumstances. For example, an agent may fail at some point to perform a task in a dynamic environment. Robust systems typically have mec...
Arjen Hommersom, Peter J. F. Lucas
CDC
2008
IEEE
184views Control Systems» more  CDC 2008»
14 years 4 months ago
Almost sure convergence to consensus in Markovian random graphs
— In this paper we discuss the consensus problem for a network of dynamic agents with undirected information flow and random switching topologies. The switching is determined by...
Ion Matei, Nuno C. Martins, John S. Baras
DATE
2006
IEEE
135views Hardware» more  DATE 2006»
14 years 4 months ago
FPGA architecture characterization for system level performance analysis
We present a modular and scalable approach for automatically extracting actual performance information from a set of FPGA-based architecture topologies. This information is used d...
Douglas Densmore, Adam Donlin, Alberto L. Sangiova...
PODC
2003
ACM
14 years 3 months ago
Routing networks for distributed hash tables
Routing topologies for distributed hashing in peer-to-peer networks are classified into two categories: deterministic and randomized. A general technique for constructing determi...
Gurmeet Singh Manku
SIAMADS
2010
95views more  SIAMADS 2010»
13 years 4 months ago
Observing Infinite-dimensional Dynamical Systems
We study the extent to which properties of infinite-dimensional dynamical systems can be accurately detected by examining observations of such systems. Let H be a separable Hilbert...
Jessica Lin, William Ott