Sciweavers

383 search results - page 11 / 77
» Stable concurrent synchronization in dynamic system networks
Sort
View
CDC
2008
IEEE
147views Control Systems» more  CDC 2008»
13 years 9 months ago
Synchronization in networks of identical linear systems
The paper investigates the synchronization of a network of identical linear state-space models under a possibly time-varying and directed interconnection structure. The main resul...
Luca Scardovi, Rodolphe Sepulchre
TCAD
1998
95views more  TCAD 1998»
13 years 7 months ago
A framework for comparing models of computation
—We give a denotational framework (a “meta model”) within which certain properties of models of computation can be compared. It describes concurrent processes in general term...
Edward A. Lee, Alberto L. Sangiovanni-Vincentelli
ASPLOS
2008
ACM
13 years 9 months ago
Concurrency control with data coloring
Concurrency control is one of the main sources of error and complexity in shared memory parallel programming. While there are several techniques to handle concurrency control such...
Luis Ceze, Christoph von Praun, Calin Cascaval, Pa...
DAC
2005
ACM
14 years 8 months ago
Simulation based deadlock analysis for system level designs
In the design of highly complex, heterogeneous, and concurrent systems, deadlock detection and resolution remains an important issue. In this paper, we systematically analyze the ...
Xi Chen, Abhijit Davare, Harry Hsieh, Alberto L. S...
CDC
2009
IEEE
139views Control Systems» more  CDC 2009»
14 years 8 days ago
Input-to-state dynamical stability of interconnected systems
Abstract— We consider networks of input-to-state dynamically stable (ISDS) systems and provide a small gain condition under which the entire network is again ISDS. A Lyapunov for...
Sergey Dashkovskiy, Lars Naujok