Xavier Olive

According to our database, Xavier Olive authored at least 18 papers between 2006 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2024

Advanced collision risk estimation in terminal manoeuvring areas using a disentangled variational autoencoder for uncertainty quantification.

Timothé Krauth, Jérôme Morio, Xavier Olive, Benoit Figuet

Eng. Appl. Artif. Intell., 2024

2023

Dual-Horizon Reciprocal Collision Avoidance for Aircraft and Unmanned Aerial Systems.

Richard Alligier, David Gianazza, Nicolas Durand, Xavier Olive

J. Intell. Robotic Syst., 2023

A Benchmark on Uncertainty Quantification for Deep Learning Prognostics.

Luis Basora, Arthur Viens, Manuel Arias Chao, Xavier Olive

CoRR, 2023

2021

The aircraft runway scheduling problem: A survey.

Sana Ikli, Catherine Mancel, Marcel Mongeau, Xavier Olive, Emmanuel Rachelson

Comput. Oper. Res., 2021

2019

Optimizing ground station networks for free space optical communications: Maximizing the data transfer.

Mikael Capelle, Marie-José Huguet, Nicolas Jozefowiez, Xavier Olive

Networks, 2019

traffic, a toolbox for processing and analysing air traffic data.

Xavier Olive

J. Open Source Softw., 2019

A Python Toolbox for Processing Air Traffic Data: A Use Case with Trajectory Clustering.

Xavier Olive, Luis Basora

Proceedings of the 7th OpenSky Workshop 2019, Zurich, Switzerland, November 21-22, 2019., 2019

2018

Ground stations networks for Free-Space Optical communications: maximizing the data transfer.

Mikael Capelle, Marie-José Huguet, Nicolas Jozefowiez, Xavier Olive

Electron. Notes Discret. Math., 2018

2017

A hierarchical approach for the selection of optical ground stations maximizing the data transfer from low-earth observation satellites.

Mikael Capelle, Marie-José Huguet, Nicolas Jozefowiez, Xavier Olive

Proceedings of the IEEE International Conference on Communications, 2017

2012

FDI(R) for satellites: How to deal with high availability and robustness in the space domain?

Xavier Olive

Int. J. Appl. Math. Comput. Sci., 2012

Symbolic Synthesis of Observability Requirements for Diagnosability.

Benjamin Bittner, Marco Bozzano, Alessandro Cimatti, Xavier Olive

Proceedings of the Twenty-Sixth AAAI Conference on Artificial Intelligence, 2012

2011

Symmetries in distributed constraint programming.

Xavier Olive

PhD thesis, 2011

Efficient Representation of Constraints and Propagation of Variable-Value Symmetries in Distributed Constraint Reasoning.

Xavier Olive, Hiroshi Nakashima

J. Inf. Process., 2011

2010

The PEGASE Project: Precise and Scalable Temporal Analysis for Aerospace Communication Systems with Network Calculus.

Marc Boyer, Nicolas Navet, Xavier Olive, Eric Thierry

Proceedings of the Leveraging Applications of Formal Methods, Verification, and Validation, 2010

2009

On-line analytic redundancy relations instantiation guided by component discrete-dynamics for a class of non-linear hybrid systems.

Mehdi Bayoudh, Louise Travé-Massuyès, Xavier Olive

Proceedings of the 48th IEEE Conference on Decision and Control, 2009

2008

Coupling Continuous and Discrete Event System Techniques for Hybrid System Diagnosability Analysis.

Mehdi Bayoudh, Louise Travé-Massuyès, Xavier Olive

Proceedings of the ECAI 2008, 2008

2007

Industrial applications.

Xavier Olive, Jean-Marie Pasquet, Didier Flament

Proceedings of the 2007 Design, Automation and Test in Europe Conference and Exposition, 2007

2006

Diagnosability Analysis Based on Component-Supported Analytical Redundancy Relations.

Louise Travé-Massuyès, Teresa Escobet, Xavier Olive

IEEE Trans. Syst. Man Cybern. Part A, 2006