Sciweavers

298 search results - page 11 / 60
» Sensitivity Analysis of Multivariable Systems in State Space
Sort
View
EEF
2000
15 years 3 months ago
Distributed and Structured Analysis Approaches to Study Large and Complex Systems
Both the logic and the stochastic analysis of discrete-state systems are hindered by the combinatorial growth of the state space underlying a high-level model. In this work, we con...
Gianfranco Ciardo
CORR
2006
Springer
108views Education» more  CORR 2006»
14 years 11 months ago
Static Analysis using Parameterised Boolean Equation Systems
The well-known problem of state space explosion in model checking is even more critical when applying this technique to programming languages, mainly due to the presence of complex...
María-del-Mar Gallardo, Christophe Joubert,...
AUTOMATICA
2005
103views more  AUTOMATICA 2005»
14 years 11 months ago
Periodic signal analysis by maximum likelihood modeling of orbits of nonlinear ODEs
This paper treats a new approach to the problem of periodic signal estimation. The idea is to model the periodic signal as a function of the state of a second-order nonlinear ordi...
Torsten Söderström, Torbjörn Wigren...
CVPR
2008
IEEE
16 years 1 months ago
Robust null space representation and sampling for view-invariant motion trajectory analysis
In this paper, we propose a novel robust retrieval and classification system for video and motion events based on null space representation. In order to analyze the robustness of ...
Xu Chen, Dan Schonfeld, Ashfaq A. Khokhar
APLAS
2010
ACM
14 years 9 months ago
Live Heap Space Bounds for Real-Time Systems
Live heap space analyses have so far been concerned with the standard sequential programming model. However, that model is not very well suited for embedded real-time systems, wher...
Martin Kero, Pawel Pietrzak, Johan Nordlander