Cyril Allignol

92%
Libre accès
37
Documents
Affiliation actuelle
  • ENAC - Equipe Optim (OPTIM)
Contact

Présentation

Je suis enseignant-chercheur dans l'équipe OPTIM du laboratoire de recherche de l'ENAC. Mes travaux s'inscrivent principalement dans deux grandes thématiques :

  • la résolution de problèmes d'optimisation combinatoire liés à l'organisation du trafic aérien et des opérations aéroportuaires, principalement via la programmation par contraintes;
  • la formalisation de langages réactifs utilisés pour l'implémentation d'outils d'aide au contrôle aérien ou au pilotage, à des fins de garantie de propriétés sur ces programmes.

Publications

9
6
4
4
4
3
3
2
2
2
2
2
2
2
2
2
2
2
2
2
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
24
14
7
6
4
4
4
3
3
3
3
2
2
2
2
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
3
1
2
1
3
5
2
4
5
4
2
2
1
23
4
3
2
2
1
1
1
1

Publications

Image document

A new multi-commodity flow model to optimize the robustness of the Gate Allocation Problem

Ruixin Wang , Cyril Allignol , Nicolas Barnier , Alexandre Gondran , Jean-Baptiste Gotteland et al.
Transportation research. Part C, Emerging technologies, 2022, 136, pp.103491. ⟨10.1016/j.trc.2021.103491⟩
Article dans une revue hal-03632887 v1
Image document

Cooperation of combinatorial solvers for en-route conflict resolution

Ruixin Wang , Richard Alligier , Cyril Allignol , Nicolas Barnier , Nicolas Durand et al.
Transportation research. Part C, Emerging technologies, 2020, 114, pp.36-58. ⟨10.1016/j.trc.2020.01.004⟩
Article dans une revue hal-02733455 v1
Image document

Measuring the interactions between air traffic control and flow management using a simulation-based framework

Thibault Lehouillier , Jérémy Omer , Cyril Allignol , François Soumis
Computers & Industrial Engineering, 2016, 99, ⟨10.1016/j.cie.2016.07.025⟩
Article dans une revue hal-01353970 v1
Image document

A New Framework for Solving En Route Conflicts

Cyril Allignol , Nicolas Barnier , Nicolas Durand , Jean-Marc Alliot
Air traffic control quarterly : an international journal of engineering and operations, 2013, 21 (3), pp.233-253. ⟨10.2514/atcq.21.3.233⟩
Article dans une revue hal-01517006 v1
Image document

Constraint programming for air traffic management : a survey

Cyril Allignol , Nicolas Barnier , Pierre Flener , Justin Pearson
Knowledge Engineering Review, 2012, 27 (3), pp 361-392. ⟨10.1017/S0269888912000215⟩
Article dans une revue hal-00934670 v1
Image document

Trajectory deconfliction with constraint programming

Nicolas Barnier , Cyril Allignol
Knowledge Engineering Review, 2012, 27 (3), pp 291-307. ⟨10.1017/S0269888912000227⟩
Article dans une revue hal-00935206 v1
Image document

BiCoq : Bigraphs Formalisation with Coq

Cécile Marcon , Cyril Allignol , Celia Picard , Blair Archibald , Michele Sevegnani et al.
SAC '25: 40th ACM/SIGAPP Symposium on Applied Computing, Mar 2025, Catania, Sicily, Italy. pp.1982-1989, ⟨10.1145/3672608.3707824⟩
Communication dans un congrès hal-05088148 v1
Image document

Towards a User Interface Description Language Based on Bigraphs

Nicolas Nalpon , Cyril Allignol , Célia Picard
Theoretical Aspects of Computing – ICTAC 2022, Sep 2022, tbilisi, Georgia
Communication dans un congrès hal-03790499 v1
Image document

Représentation de programmes SMALA grâce à la théorie des bigraphes

Cécile Marcon , Nicolas Nalpon , Cyril Allignol , Célia Picard
AFADL, Jun 2021, En ligne, France
Communication dans un congrès hal-03457039 v1
Image document

Vers la vérification de SMALA, un langage réactif interactif

Nicolas Nalpon , Célia Picard , Cyril Allignol , Sébastien Leriche
AFADL 2020 - 19èmes journées Approches Formelles dans l'Assistance au Développement de Logiciels, Jun 2020, Vannes, France
Communication dans un congrès hal-02916890 v1
Image document

Departure Management with Robust Gate Allocation

Ruixin Wang , Cyril Allignol , Nicolas Barnier , Jean-Baptiste Gotteland
ATM 2019, 13th USA/Europe Air Traffic Management Research and Development Seminar, Jun 2019, Vienna, Austria
Communication dans un congrès hal-02090426 v1
Image document

Large Scale 3D En-Route Conflict Resolution

Cyril Allignol , Nicolas Barnier , Nicolas Durand , Alexandre Gondran , Ruixin Wang
ATM Seminar, 12th USA/Europe Air Traffic Management R&D Seminar, Jun 2017, Seattle, United States
Communication dans un congrès hal-01592235 v1
Image document

Assessing the Robustness of a UAS Detect & Avoid Algorithm

Cyril Allignol , Nicolas Barnier , Nicolas Durand , Guido Manfredi , Éric Blond
12th USA/Europe Air Traffic Management Research and Development Seminar, Jun 2017, Seattle, United States
Communication dans un congrès hal-01519659 v1

Résolution de Conflits Aériens par Méthodes Exactes et Approchées

Alexandre Gondran , Cyril Allignol , Nicolas Barnier , Nicolas Durand
ROADEF 2017, 18ème édition du congrès annuel de la Société Française de Recherche Opérationnelle et d'Aide à la Décision, Feb 2017, Metz, France
Communication dans un congrès hal-01712866 v1
Image document

Detect & Avoid, UAV Integration in the Lower Airspace Traffic

Cyril Allignol , Nicolas Barnier , Nicolas Durand , Éric Blond
ICRAT 2016, 7th International Conference on Research in Air Transportation, Jun 2016, Philadelphia, United States
Communication dans un congrès hal-01351007 v1
Image document

Detect and Avoid Algorithm for UAS with 3D-Maneuvers

Richard Alligier , Cyril Allignol , Nicolas Barnier , Nicolas Durand , Ruixin Wang
ICRAT 2018, 8th International Conference on Research in Air Transportation , Jun 2018, Castelldefels, Spain
Communication dans un congrès hal-01822712 v1
Image document

Integration of UAS in Terminal Control Area

Cyril Allignol , Nicolas Barnier , Nicolas Durand , Guido Manfredi , Éric Blond
DASC 2016 IEEE/AIAA 35th Digital Avionics Systems Conference, Sep 2016, Sacramento, United States. ⟨10.1109/DASC.2016.7778052⟩
Communication dans un congrès hal-01418171 v1
Image document

Detect and Avoid, UAV Integration in the Lower Airspace Traffic

Cyril Allignol , Nicolas Barnier , Nicolas Durand , Eric Blond
7th International Conference on Research in Air Transportation (ICRAT 2016), Jun 2016, Philadelphia, PA, United States
Communication dans un congrès hal-03165027 v1
Image document

Interactions between Operations and Planning in Air Traffic Control

Thibault Lehouillier , Jérémy Omer , François Soumis , Cyril Allignol
ICRAT 2014, 6th International Conference on Research in Air Transportation, May 2014, Istanbul, Turkey. pp xxxx
Communication dans un congrès hal-00998973 v1

Framework for the aircraft conflict resolution problem

Cyril Allignol , Nicolas Barnier , Nicolas Durand , Jean-Marc Alliot
OPDE 2013, 4e conférence " des Outils Pour Décider Ensemble ", May 2013, Montréal, Canada
Communication dans un congrès hal-00911729 v1

Interactions between operations and planning decisions in ATC

Thibault Lehouillier , François Soumis , Cyril Allignol
OPDE 2013, 4e conférence " des Outils Pour Décider Ensemble ", May 2013, Montréal, Canada
Communication dans un congrès hal-00911725 v1
Image document

A new framework for solving en-routes conflicts

Cyril Allignol , Nicolas Barnier , Nicolas Durand , Jean-Marc Alliot
ATM 2013, 10th USA/Europe Air Traffic Management Research and Development Seminar, Jun 2013, Chicago, United States. pp 1-9
Communication dans un congrès hal-00828736 v1
Image document

Conflict resolution by speed regulation

Maxime Galloux , Alexandre Gondran , Cyril Allignol , Nicolas Barnier
INAIR 2012, International Conference on Air Transport, Sep 2012, Zilina, Slovakia. pp xxxx
Communication dans un congrès hal-00938859 v1
Image document

Optimized flight level allocation at the continental scale

Cyril Allignol , Nicolas Barnier , Alexandre Gondran
ICRAT 2012, 5th International Conference on Research in Air Transportation, May 2012, Berkeley, United States. pp xxxx
Communication dans un congrès hal-00938896 v1

Optimized vertical separation in Europe

Nicolas Barnier , Alexandre Gondran , Cyril Allignol
2012 IEEE/AIAA 31st Digital Avionics Systems Conference (DASC), Oct 2012, Williamsburg, United States. ⟨10.1109/DASC.2012.6383010⟩
Communication dans un congrès hal-01859786 v1
Image document

Allocation de créneaux de décollage sans conflit

Cyril Allignol , Nicolas Barnier , Nicolas Durand
ROADEF 2011, 12ème congrès annuel de la Société française de Recherche Opérationnelle et d'Aide à la Décision, Mar 2011, St-Etienne, France
Communication dans un congrès hal-00934796 v1
Image document

The Influence of Uncertainties on Traffic Control using Speed Adjustments

Géraud Granger , Cyril Allignol , Nicolas Durand
ATM Seminar 2011, 9th USA/Europe Air Traffic Management Research and Development Seminar , Eurocontrol, Jun 2011, Berlin, Germany
Communication dans un congrès hal-01293549 v1
Image document

Combining flight level allocation with ground holding to optimize 4D-deconfliction

Nicolas Barnier , Cyril Allignol
ATM Seminar 2011, 9th USA/Europe Air Traffic Management Research and Development Seminar, Jun 2011, Berlin, Germany. pp xxxx
Communication dans un congrès hal-00938500 v1
Image document

A ground holding model for aircraft deconfliction

Nicolas Durand , Cyril Allignol , Nicolas Barnier
DASC 2010, 29th IEEE/AIAA Digital Avionics Systems Conference, Oct 2010, Salt Lake City, United States. pp 2.D.3-1 - 2.D.3-10, ⟨10.1109/DASC.2010.5655481⟩
Communication dans un congrès hal-00938499 v1
Image document

Allocation de créneaux de décollage sans conflit en programmation par contraintes

Cyril Allignol , Nicolas Barnier
ROADEF 2010, 11ème congrès de la Société Française de Recherche Opérationnelle et d'Aide à la Décision, Feb 2010, Toulouse, France
Communication dans un congrès hal-00934797 v1
Image document

An efficient airspace configuration forecast

David Gianazza , Cyril Allignol , Nicolas Saporito
ATM 2009, 8th USA/Europe Air Traffic Management Research and Developpment Seminar, Jun 2009, Napa, United States. pp xxxx
Communication dans un congrès hal-01020720 v1
Image document

4D-trajectory deconfliction through departure time adjustment

Nicolas Barnier , Cyril Allignol
ATM 2009, 8th USA/Europe Air Traffic Management Research and Development Seminar, Jun 2009, Napa, United States. pp xxxx
Communication dans un congrès hal-00938231 v1
Image document

Deconfliction with constraint programming

Nicolas Barnier , Cyril Allignol
INO 2008, 7th Eurocontrol Innovative Research Workshop & Exhibition, Dec 2008, Brétigny-sur-Orge, France. pp xxxx
Communication dans un congrès hal-00938416 v1
Image document

Implémentation des Bigraphes dans Coq

Cécile Marcon , Cyril Allignol , Xavier Thirioux , Célia Picard
AFADL24, Jun 2024, Paris, France. 2024
Proceedings/Recueil des communications hal-04631694 v1
Image document

Planification de trajectoires pour l'optimisation du trafic aérien

Cyril Allignol
Autre [cs.OH]. Institut National Polytechnique de Toulouse - INPT, 2011. Français. ⟨NNT : 2011INPT0104⟩
Thèse tel-01293618 v1