In this paper, we outline a system that supports the communication between passengers by transmitting speech (and maybe also video) of the communication partners back and forth. A...
Angela Mahr, Margarita Pentcheva, Christian A. M&u...
This paper deals with the incremental off-line computation of diagnosis of discrete-event systems. Traditionally, the diagnosis is computed from the global automaton describing th...
Alban Grastien, Marie-Odile Cordier, Christine Lar...