1357 search results - page 104 / 272 » Compositional analysis for linear systems |
108
click to vote
CONCUR
2001
Springer
15 years 5 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 ...
100
Voted
AUTOMATICA
2008
15 years 24 days 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...
120
Voted
CDC
2010
IEEE
14 years 7 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...
171
click to vote
JMLR
2006
15 years 19 days 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....
103
click to vote
CDC
2009
IEEE
15 years 4 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...