385 search results - page 36 / 77 » Symbolic Controller Synthesis for Discrete and Timed Systems |
LICS
1990
IEEE
13 years 11 months ago
1990
IEEE
E cient automatic model checking algorithms for real-time systems have been obtained in recent years based on the state region graph technique of Alur, Courcoubetis and Dill. Howev...
EUROMICRO
1999
IEEE
13 years 12 months ago
1999
IEEE
In this paper we present an improved scheduling technique for the synthesis of time-triggered embedded systems. Our system model captures both the flow of data and that of control...
TWC
2008
13 years 7 months ago
2008
Computationally scalable and accurate estimation, prediction, and simulation of wireless communication channels is critical to the development of more adaptive transceiver algorith...
ACSD
2005
IEEE
14 years 1 months ago
2005
IEEE
Asynchronous data communication mechanisms (ACMs) have been extensively studied as data connectors between independently timed processes in digital systems. In previous work, syst...
ICRA
1994
IEEE
13 years 11 months ago
1994
IEEE
The Network Data Delivery Service NDDS is a novel network data-sharing system. NDDS builds on the model of information producers sources and consumers sinks. Producers generate da...