HYBRID
2004
Springer
13 years 9 months ago
2004
Springer
HYBRID
2004
Springer
13 years 9 months ago
2004
Springer
HYBRID
2004
Springer
13 years 9 months ago
2004
Springer
A general notion of bisimulation is studied for dynamical systems. An algebraic characterization of bisimulation together with an algorithm for computing the maximal bisimulation r...
HYBRID
2004
Springer
13 years 9 months ago
2004
Springer
HYBRID
2004
Springer
13 years 9 months ago
2004
Springer
Abstract. An invariant of a system is a predicate that holds for every reachable state. In this paper, we present techniques to generate invariants for hybrid systems. This is achi...
HYBRID
2004
Springer
13 years 9 months ago
2004
Springer
In this paper, we introduce a parametric semantics for timed controllers called the Almost ASAP semantics. This semantics is a relaxation of the usual ASAP3 semantics (also called ...
HYBRID
2004
Springer
13 years 9 months ago
2004
Springer
Some high speed color printers require that the sheets be accurately controlled in order to achieve a precise alignment of colors. To accomplish this goal a steerable nips mechanis...
HYBRID
2004
Springer
13 years 9 months ago
2004
Springer
In this paper we consider the problem of estimating discrete variables in a class of hybrid systems where we assume that the continuous variables are available for measurement. Usi...
HYBRID
2004
Springer
13 years 9 months ago
2004
Springer
HYBRID
2004
Springer
13 years 9 months ago
2004
Springer
Abstract. Biological systems involving genetic reactions are large discrete event systems, and often contain certain species that occur in small quantities, and others that occur i...