640 search results - page 4 / 128 » On Timed Simulation Relations for Hybrid Systems and Composi... |
94
Voted
HYBRID
1997
Springer
15 years 1 months ago
1997
Springer
Hybrid transition systems in their full generality describe continuous behaviour by a set of equations in each mode an algebraic or di erential equation for each state variable in ...
HYBRID
2000
Springer
15 years 1 months ago
2000
Springer
Abstract. We propose a language, called Charon, for modular specification of interacting hybrid systems. For hierarchical description of the system architecture, Charon supports bu...
ENTCS
2007
14 years 9 months ago
2007
The hybrid χ (Chi) formalism is suited to modeling, simulation and verification of hybrid systems. It integrates concepts from dynamics and control theory with concepts from com...
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...
79
Voted
COMPOS
1997
Springer
15 years 1 months ago
1997
Springer
We introduce a mathematical model of components that can be used for the description of both hardware and software units forming distributed interactive systems. As part of a distr...