1357 search results - page 37 / 272 » Compositional analysis for linear systems |
AUTOMATICA
2010
13 years 10 months ago
2010
In this paper, a suitable LaSalle principle for continuous-time linear switched systems is used to characterize invariant sets and their associated switching laws. An algorithm to...
ENDM
2010
13 years 7 months ago
2010
In this paper we consider the structural analysis problem for differential-algebraic systems with conditional equations. This consists, given a conditional differential algebraic ...
SOCIALCOM
2010
13 years 8 months ago
2010
Service composition is a new paradigm for efficient and cost-effective IT service provisioning over the network. To safely and effectively deploy composed services within an organi...
ICW
2005
IEEE
14 years 3 months ago
2005
IEEE
— In this paper, we consider the standard state estimation problem over a congested packet-based network. The network is modeled as a queue with a single server processing the pa...
TLCA
2007
Springer
14 years 4 months ago
2007
Springer
Abstract. This paper proposes two typing systems for session interactions in higherorder mobile processes. Session types for the HOπ-calculus capture high-level structures nicatio...