Xavier Olive

Orcid: 0000-0002-2335-5774

According to our database1, Xavier Olive authored at least 17 papers between 2006 and 2023.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2023
Dual-Horizon Reciprocal Collision Avoidance for Aircraft and Unmanned Aerial Systems.
J. Intell. Robotic Syst., 2023

A Benchmark on Uncertainty Quantification for Deep Learning Prognostics.
CoRR, 2023

2021
The aircraft runway scheduling problem: A survey.
Comput. Oper. Res., 2021

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

traffic, a toolbox for processing and analysing air traffic data.
J. Open Source Softw., 2019

A Python Toolbox for Processing Air Traffic Data: A Use Case with Trajectory Clustering.
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.
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.
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?
Int. J. Appl. Math. Comput. Sci., 2012

Symbolic Synthesis of Observability Requirements for Diagnosability.
Proceedings of the Twenty-Sixth AAAI Conference on Artificial Intelligence, 2012

2011
Symmetries in distributed constraint programming.
PhD thesis, 2011

Efficient Representation of Constraints and Propagation of Variable-Value Symmetries in Distributed Constraint Reasoning.
J. Inf. Process., 2011

2010
The PEGASE Project: Precise and Scalable Temporal Analysis for Aerospace Communication Systems with Network Calculus.
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.
Proceedings of the 48th IEEE Conference on Decision and Control, 2009

2008
Coupling Continuous and Discrete Event System Techniques for Hybrid System Diagnosability Analysis.
Proceedings of the ECAI 2008, 2008

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

2006
Diagnosability Analysis Based on Component-Supported Analytical Redundancy Relations.
IEEE Trans. Syst. Man Cybern. Part A, 2006


  Loading...