4434 search results - page 6 / 887 » On the Composition of Hybrid Systems |
79
Voted
FTRTFT
1998
Springer
15 years 1 months ago
1998
Springer
Visual description techniques are particularly important for the design of hybrid systems because specifications of such systems must usually be discussed between engineers from a ...
105
Voted
EMSOFT
2009
Springer
15 years 4 months ago
2009
Springer
This paper advocates a strict compositional and hybrid approach for obtaining key (performance) metrics of embedded At its core the developed methodology abstracts system componen...
HYBRID
2010
Springer
14 years 7 months ago
2010
Springer
A specification theory combines notions of specifications and implementations with a satisfaction relation, a refinement relation and a set of operators supporting stepwise design...
HYBRID
2007
Springer
15 years 3 months ago
2007
Springer
We propose the use of formal languages of infinite words over the alphabet of task identifiers as an interface between control designs and software implementations. We argue that...
73
Voted
HYBRID
2009
Springer
15 years 4 months ago
2009
Springer