HYBRID
2007
Springer
13 years 11 months ago
2007
Springer
In this paper we show how file sharing peer to peer systems can be modeled by hybrid systems with a continuous part corresponding to a fluid limit of files and a discrete part c...
HYBRID
2007
Springer
13 years 11 months ago
2007
Springer
This paper addresses the problem of estimating human body dynamics from 3-D visual data. That is, our goal is to estimate the state of the system, joint angle trajectories and velo...
HYBRID
2007
Springer
13 years 11 months ago
2007
Springer
HYBRID
2007
Springer
13 years 11 months ago
2007
Springer
In this paper we propose a new technique for verification by simulation of continuous and hybrid dynamical systems with uncertain initial conditions. We provide an algorithmic met...
HYBRID
2007
Springer
13 years 11 months ago
2007
Springer
HYBRID
2007
Springer
13 years 11 months ago
2007
Springer
Hybrid discrete-continuous models, such as Jump Markov Linear Systems, are convenient tools for representing many real-world systems; in the case of fault detection, discrete jumps...
HYBRID
2007
Springer
13 years 11 months ago
2007
Springer
We consider the problem of verifying reachability properties of stochastic real-time systems modeled as generalized semi-Markov processes (GSMPs). The standard simulation-based tec...
HYBRID
2007
Springer
13 years 11 months ago
2007
Springer
HYBRID
2007
Springer
13 years 11 months ago
2007
Springer
HYBRID
2007
Springer
13 years 11 months ago
2007
Springer
The aim of this paper is twofold. On one hand we present an approach to the general problem of nonlinear control in the framework of (differentiable) groupoids, which, in our opin...