64 search results - page 1 / 13 » Compositional and Uniform Modelling of Hybrid Systems |
HYBRID
1995
Springer
13 years 8 months ago
1995
Springer
This paper discusses fundamentals of hybrid system modelling. Emphazis is put on compositionality and the use of multiform time. Compositionality refers to the ability of freely co...
DEDS
1998
13 years 4 months ago
1998
In this paper, we study the control of Composite Hybrid Machines (CHMs) subject to safety speci cations. CHMs are a fairly general class of hybrid systems modeled in modular fashi...
HICSS
1999
IEEE
13 years 8 months ago
1999
IEEE
The behavior of Distributed Shared Memory Systems is dictated by the Memory Consistency Model. Several Memory Consistency Models have been proposed in the literature and they fit ...
JLP
2006
13 years 4 months ago
2006
In this paper, we develop a theory of modular design and refinement of hierarchical hybrid systems. In particular, we present compositional trace-based semantics for the language ...
FCCM
2006
IEEE
13 years 10 months ago
2006
IEEE
In this paper, we present hthreads, a unifying programming model for specifying application threads running within a hybrid CPU/FPGA system. Threads are specified from a single p...