Stéphanie Roussel — accepted AI-conference papers

2020

Model-Based Synthesis of Incremental and Correct Estimators for Discrete Event Systems

Stéphanie Roussel, Xavier Pucel, Valentin Bouziat, Louise Travé-Massuyès

IJCAI 2020poster

State tracking, i.e. estimating the state over time, is always an important problem in autonomous dynamic systems. Run-time requirements advocate for incremental estimation and memory limitations lead us to consider an estimation strategy that retains only one state out of the set of candidate estim…

Cited by 0 Source ↗PDF ↗Scholar ↗

2019

Synthesis of Real-Time Observers from Past-Time Linear Temporal Logic and Timed Specification

Charles Lesire, Stéphanie Roussel, David Doose, Christophe Grand

ICRA 2019poster

Fault-tolerant architectures are mandatory to ensure the robustness of autonomous robots performing missions in complex and uncertain environments. The first step of a fault-tolerant mechanism is the detection of a faulty behavior of the system. It is then important to provide tools to help robot de…

Cited by 6 Source ↗Scholar ↗