1357 search results - page 58 / 272 » Compositional analysis for linear systems |
ASC
2007
13 years 10 months ago
2007
Stability is one of the most important subjects in control systems. As for the stability of nonlinear dynamical systems, Lyapunov’s direct method and linearized stability analys...
CDC
2008
IEEE
14 years 4 months ago
2008
IEEE
— This paper studies the problem of stability analysis for neural networks (NNs) with a time-varying delay. The activation functions are assumed to be neither monotonic, nor diff...
CDC
2008
IEEE
14 years 4 months ago
2008
IEEE
— The problem of rejection of a sinusoidal disturbance of known frequency, acting at the output of a discrete-time complex-valued linear stable plant with unknown dynamics, is co...
SAS
2009
Springer
14 years 10 months ago
2009
Springer
In this paper we present a new shape analysis algorithm. The key distinguishing aspect of our algorithm is that it is completely compositional, bottom-up and non-iterative. We pres...
CONCUR
2004
Springer
14 years 3 months ago
2004
Springer
We develop new methods to statically bound the resources needed for the execution of systems of concurrent, interactive threads. Our study is concerned with a synchronous model of ...