4434 search results - page 52 / 887 » On the Composition of Hybrid Systems |
171
click to vote
ESAW
2000
Springer
15 years 9 months ago
2000
Springer
We present a first approach that combines the mobile agent and the compositional paradigms into a new agent-based compositional model. The aim of this work is to explore the capabi...
206
click to vote
HYBRID
2010
Springer
15 years 8 months ago
2010
Springer
In this paper, we describe a receding horizon scheme that satisfies a class of linear temporal logic specifications sufficient to describe a wide range of properties including saf...
124
click to vote
WCE
2007
15 years 7 months ago
2007
– In this paper “Digital Transceiver using Hybrid Ternary Technique” gives the details about digital transmitter and receiver with the design of a hybrid ternary line coding....
162
click to vote
CCE
2008
15 years 5 months ago
2008
Scheduling of processes in mixed batch/continuous plants, due to their hybrid nature can become very complex. This paper presents the Timed Hybrid Petri net (THPN) as a suitable t...
194
click to vote
HCW
1998
IEEE
15 years 10 months ago
1998
IEEE
A heterogeneous computing system provides a variety of different machines, orchestrated to perform an application whose subtasks have diverse execution requirements. The subtasks ...