Cyril Allignol

90 %
Libre accès
39
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
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
1
1
1
1
1
1
25
14
7
7
4
4
4
3
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
2
1
3
1
2
1
3
5
2
4
5
4
2
2
1
23
4
4
2
2
1
1
1
1
1

Publications

Assessment of operating strategies for airport future developments using optimized simulation

Ruixin Wang , Cyril Allignol , Nicolas Barnier , Jean-Baptiste Gotteland , Lv Zhang

Journal of Air Transport Management, In press, 134, pp.102986. ⟨10.1016/j.jairtraman.2026.102986⟩

Article dans une revue hal-05528417v1
Deposit thumbnail

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-03632887v1
Deposit thumbnail

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-02733455v1
Deposit thumbnail

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-01353970v1
Deposit thumbnail

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-01517006v1
Deposit thumbnail

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-00934670v1
Deposit thumbnail

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-00935206v1
Deposit thumbnail

Reactive Semantics for User Interface Description Languages

Basile Pesin , Celia Picard , Cyril Allignol

18th Interaction and Concurrency Experience, Jun 2025, Lille, France. ⟨10.48550/arXiv.2508.13610⟩

Communication dans un congrès hal-05268507v1
Deposit thumbnail

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-05088148v1
Deposit thumbnail

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-03790499v1
Deposit thumbnail

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-03457039v1
Deposit thumbnail

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-02916890v1
Deposit thumbnail

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-02090426v1
Deposit thumbnail

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-01519659v1
Deposit thumbnail

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-01592235v1

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-01712866v1
Deposit thumbnail

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-01822712v1
Deposit thumbnail

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-01351007v1
Deposit thumbnail

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-01418171v1
Deposit thumbnail

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-03165027v1
Deposit thumbnail

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-00998973v1
Deposit thumbnail

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-00828736v1

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-00911729v1

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-00911725v1
Deposit thumbnail

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-00938859v1
Deposit thumbnail

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-00938896v1

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-01859786v1
Deposit thumbnail

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-00938500v1
Deposit thumbnail

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-00934796v1
Deposit thumbnail

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-01293549v1
Deposit thumbnail

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-00938499v1
Deposit thumbnail

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-00934797v1
Deposit thumbnail

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-00938231v1
Deposit thumbnail

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-01020720v1
Deposit thumbnail

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-00938416v1
Deposit thumbnail

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-04631694v1
Deposit thumbnail

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-01293618v1