Synthesis: Words and Traces

13 years 1 months ago

Download hal.archives-ouvertes.fr

The problem of synthesising a reactive system is discussed. The most standard instance of this problem ask to construct a finite input-output automaton satisfying a given regular specification. During

Igor Walukiewicz

Real-time Traffic

ATVA 2010 | Finite Input-output Automaton | Hardware | Regular Specification | Standard Instance |

claim paper

» Weighted Logics for Traces

» On FirstOrder Fragments for Words and Mazurkiewicz Traces

» Synthesis of strategies from interaction traces

» A Synthesis Framework Based on Trace and Automata Theory

» Unfolding Synthesis of Asynchronous Automata

» Shallow Bounding Volume Hierarchies for Fast SIMD Ray Tracing of Incoherent Rays

» Ultimate Traces of Cellular Automata

» High Level Synthesis of Timed Asynchronous Circuits

Post Info
More Details (n/a)

Added	21 Mar 2011
Updated	21 Mar 2011
Type	Journal
Year	2010
Where	ATVA
Authors	Igor Walukiewicz

Comments (0)

Sciweavers

Synthesis: Words and Traces

ATVA 2010 | Finite Input-output Automaton | Hardware | Regular Specification | Standard Instance |

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers