HYBRID
2005
Springer
14 years 5 months ago
2005
Springer
— Analyses of position and force control laws in the case of perfectly rigid bodies have been made so far with strong assumptions on the state of the contacts such as supposing t...
ISCA
2005
IEEE
14 years 5 months ago
2005
IEEE
As chip densities and clock rates increase, processors are becoming more susceptible to transient faults that can affect program correctness. Up to now, system designers have prim...
LICS
2006
IEEE
14 years 5 months ago
2006
IEEE
In this paper, we consider the control of general hybrid systems. In this context we show that time-abstract bisimulation is not adequate for solving such a problem. That is why w...
LFCS
2007
Springer
14 years 5 months ago
2007
Springer
We combine first-order dynamic logic for reasoning about possible behaviour of hybrid systems with temporal logic for reasoning about the temporal behaviour during their operation...
HYBRID
2007
Springer
14 years 5 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
14 years 5 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
14 years 5 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
14 years 5 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
14 years 5 months ago
2007
Springer
HYBRID
2007
Springer
14 years 5 months ago
2007
Springer
