HYBRID
2007
Springer
13 years 8 months ago
2007
Springer
Abstract. In this paper, we propose a new approach for formal verification of hybrid systems. To do so, we present a new refinement proof technique, a weak refinement using step in...
HYBRID
2007
Springer
13 years 8 months ago
2007
Springer
We study the possibility to steer the state of a single-input single-output linear switched system to the origin in finite time by output feedback with finite memory. We show that ...
HYBRID
2007
Springer
13 years 10 months ago
2007
Springer
Abstract. This paper considers piecewise affine models of genetic regulatory networks and focuses on the problem of detecting switches among different modes of operation in gene e...
HYBRID
2007
Springer
13 years 10 months ago
2007
Springer
We review state-space control models in order to identify timing properties that can favour flexible scheduling of real-time control tasks. First, from the state-space model of a ...
HYBRID
2007
Springer
13 years 10 months ago
2007
Springer
Abstract. Testing is an important tool for validation of the system design and its implementation. Model-based test generation allows to systematically ascertain whether the system...
HYBRID
2007
Springer
13 years 10 months ago
2007
Springer
The standard approach in feedback control systems is to sample and control periodically. For some applications, such as networked control systems or severely energy-constrained sys...
HYBRID
2007
Springer
13 years 10 months ago
2007
Springer
HYBRID
2007
Springer
13 years 10 months ago
2007
Springer
HYBRID
2007
Springer
13 years 10 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 10 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...