385 search results - page 56 / 77 » Symbolic Controller Synthesis for Discrete and Timed Systems |
IPPS
1997
IEEE
13 years 11 months ago
1997
IEEE
Several optimizations to the Time Warp synchronization protocol for parallel discrete event simulation have been proposed and studied. Many of these optimizations have included so...
SIGMETRICS
2003
ACM
14 years 26 days ago
2003
ACM
In this paper we present a general hybrid systems modeling framework to describe the flow of traffic in communication networks. To characterize network behavior, these models use...
Publication
A large class of systems of biological and technological relevance can be described as analog networks, that is, collections of dynamic devices interconnected by links of varying s...
PET
2004
Springer
14 years 29 days ago
2004
Springer
Abstract. In a Ubiquitous Computing environment, sensors are actively collecting data, much of which can be very sensitive. Data will often be streaming at high rates (video and au...
FSTTCS
2008
Springer
13 years 8 months ago
2008
Springer
Regular games provide a very useful model for the synthesis of controllers in reactive systems. The complexity of these games depends on the representation of the winning condition...