-
Knowledge compilation for online decision-making : application to the control...
Controlling autonomous systems requires to make decisions depending on current observations and objectives. This involves some tasks that must be executed online--with... -
Application of Interface Theories to the Separate Compilation of Synchronous ...
International audience -
SystemC waiting-state automata
International audience -
Timed SystemC waiting-state automata
International audience -
Building SystemC waiting state automata
International audience -
Forms of Determinism for Automata
International audience -
Kleene algebra, Rewriting modulo AC and Circuits in Coq.
This thesis describe three formalisations in Coq. The first chapter is devoted to the implementation of an efficient decision procedure for Kleene algebras : as... -
The FCTOOLS User Manual (Version 1.0)
We describe a set of modular extensions to our Auto/Graph verification toolset for networks of communicating processes. These software additions operate from a common... -
A Similar Fragments Merging Approach to Learn Automata on Proteins
We propose here to learn automata for the characterization of proteins families to overcome the limitations of the position-specific characterizations classically used... -
A Decision Procedure for XPath Containment
XPath is the standard language for addressing parts of an XML document. We present a sound and complete decision procedure for containment of XPath queries. The... -
On the transition reduction problem for finite automata
22 pages, 7 figures, submitted. -
Matrix semigroups and applications
We study matrix semigroups with different point of view that overlaps. The growth point of view seems to be related with the geometric point of view : we partially... -
Automata and Constraint Programming for Personnel Scheduling Problems
As soon as a structure is organized, the ability to put the right people at the right time is critical to satisfy the need of a department, a school or a company. We... -
Series-parallel languages on scattered and countable posets
International audience -
Overlapping tile automata
International audience -
A problem around Mahler functions
52 pages -
Symbolic Supervisory Control of Distributed Systems with Communications
We consider the control of distributed systems composed of subsystems communicating asynchronously; the aim is to build local controllers that restrict the behavior of... -
Approximate Membership for Regular Languages modulo the Edit Distance
International audience
