1357 search results - page 31 / 272 » Compositional analysis for linear systems |
ESOP
2008
Springer
14 years 11 months ago
2008
Springer
We present a static analysis for inferring the maximum amount of buffer space used by a program consisting of concurrently running processes communicating via buffered channels. We...
CBSE
2008
Springer
14 years 11 months ago
2008
Springer
Abstract. Workflow systems provide support for combining components to achieve a particular outcome. Various approaches from software engineering have been utilized within such sys...
ISCAS
2003
IEEE
15 years 3 months ago
2003
IEEE
In this paper, we study the stability and the stabilisation of 2 0 discrete linear systems with multiple state delays. All of the new results obtained are based on analysis of the...
RC
2007
14 years 9 months ago
2007
Linear systems whose coefficients have large uncertainties arise routinely in finite element calculations for structures with uncertain geometry, material properties, or loads. Ho...
CDC
2010
IEEE
14 years 4 months ago
2010
IEEE
Abstract-- Recovering or estimating the initial state of a highdimensional system can require a potentially large number of measurements. In this paper, we explain how this burden ...