352 search results - page 48 / 71 » Extended Timed Automata and Time Petri Nets |
145
click to vote
RTAS
2008
IEEE
15 years 8 months ago
2008
IEEE
In previous work we have shown how modular code can be automatically generated from a synchronous block diagram notation where all blocks fire at all times. Here, we extend this ...
137
click to vote
CONCUR
1992
Springer
15 years 6 months ago
1992
Springer
The states of a computing system bear information and change time, while its events bear time and change information. We develop a primitive algebraic model of this duality of tim...
146
click to vote
LREC
2010
15 years 3 months ago
2010
This paper introduces GernEdiT (short for: GermaNet Editing Tool), a new graphical user interface for the lexicographers and developers of GermaNet, the German version of the Prin...
118
click to vote
FM
1999
Springer
15 years 6 months ago
1999
Springer
We present novel techniques for efficient controller synthesis for untimed and timed systems with respect to invariance and reachability properties. In the untimed case, we give al...
107
click to vote
HYBRID
1994
Springer
15 years 6 months ago
1994
Springer
This paper presents algorithms for the symbolic synthesis of discrete and real-time controllers. At the semantic level the controller is synthesized by nding a winning strategy for...