159 search results - page 2 / 32 » Code Synthesis for Timed Automata |
HYBRID
1999
Springer
13 years 9 months ago
1999
Springer
In this work we tackle the following problem: given a timed automaton, and a target set F of configurations, restrict its transition relation in a systematic way so that from ever...
FMICS
2006
Springer
13 years 8 months ago
2006
Springer
Abstract. In this paper, we concentrate on incremental synthesis of timed automata for automatic addition of different types of bounded response properties. Bounded response
EVOW
2010
Springer
13 years 10 months ago
2010
Springer
In this paper we report on the synthesis of sounds using cellular automata, specifically the multitype voter model. The mapping process adopted is based on digital signal processin...
ENTCS
2007
13 years 4 months ago
2007
In this paper, the problem of synthesizing controllers that ensures non interference for multilevel security dense timed discrete event systems modeled by an extension of Timed Au...
ACSD
2006
IEEE
13 years 7 months ago
2006
IEEE
Reuse of IP blocks has been advocated as a means to conquer the complexity of today's system-on-chip (SoC) designs. Component integration and verification in such systems is ...