1357 search results - page 97 / 272 » Compositional analysis for linear systems |
177
click to vote
SCL
2011
14 years 7 months ago
2011
In this paper we present a technique for design of decentralized controllers for mean square stability of a large scale system with cascaded clusters of subsystems. Each subsystem...
93
Voted
CC
2005
Springer
15 years 6 months ago
2005
Springer
We introduce a new approach, called completeness analysis, to computing points-to sets for incomplete Java programs such as library modules or applications in the presence of dynam...
105
click to vote
GLOBECOM
2010
IEEE
14 years 10 months ago
2010
IEEE
In this paper, we study multi-hop non-regenerative multiple-input multiple-output (MIMO) relay communications with any number of hops. We design the optimal source precoding matrix...
93
Voted
CDC
2009
IEEE
14 years 10 months ago
2009
IEEE
In this paper, we investigate the cell design of bacteria during the exponential growth. To this purpose, we propose to formulate the problem as a non differentiable convex optimiz...
ENTCS
2007
15 years 20 days ago
2007
This paper promotes compositional reasoning in the context of safety-critical systems, and demonstrates a safety-oriented component model using an application from the automotive ...