1357 search results - page 104 / 272 » Compositional analysis for linear systems |
CONCUR
2001
Springer
14 years 3 months ago
2001
Springer
We present a process algebraic approach for extending to the probabilistic setting the classical logical information flow analysis of computer systems. In particular, we employ a ...
AUTOMATICA
2008
13 years 10 months ago
2008
In this paper we will extend the input-to-state stability (ISS) framework to continuous-time discontinuous dynamical systems (DDS) adopting piecewise smooth ISS Lyapunov functions...
CDC
2010
IEEE
13 years 5 months ago
2010
IEEE
We consider impulsive systems with several reset maps triggered by independent renewal processes, i.e., the intervals between jumps associated with a given reset map are identicall...
JMLR
2006
13 years 10 months ago
2006
This paper introduces a learning method for two-layer feedforward neural networks based on sensitivity analysis, which uses a linear training algorithm for each of the two layers....
CDC
2009
IEEE
14 years 2 months ago
2009
IEEE
Traffic burstiness has a significant impact on network performance. Burstiness can cause buffer overflows and packet drops and is particularly problematic in the context of small-b...