D. Peaucelle, IFAC-PapersOnLine, Deputy Editor in Chief

S. Tarbouriech, IEEE Control Systems Letters (L-CSS), 2017.

D. Arzelier, E. Automatica, and . Associé,

A. Tanwani, Automatica, Editeur associé, 2018.

S. Tarbouriech, E. Automatica, and . Associée,

L. Zaccarian, Automatica, Editeur associé, 2015.

I. Queinnec and . Trans, Automatic Control, Editrice associée

S. Tarbouriech and . Trans, Automatic Control, Editrice associée

L. Zaccarian and . Trans, Automatic Control, Editeur associé

S. Tarbouriech and . Trans, Control Systems Technology, Editrice associée, 2016.

A. Seuret, International Journal of Control, Editeur associé, 2017.

C. Artigues, Journal of Scheduling

J. B. Lasserre, SIAM Journal on Applied Algebra & Geometry, Editeur associé, 2016.

D. Henrion, SIAM Journal on Optimization

. Production-de-connaissances,

L. Travé-massuyes, Artificial Intelligence

C. Artigues, Editeur associé. (toute la période) 17. S. Tarbouriech, European Journal of Control, Editrice associée. (toute la période) 18. S. Tarbouriech, IET Control Theory and Applications, Editrice associée. (jusqu'en 2014) 19. I. Queinnec, IET Control Theory and Applications, European Journal of Industrial Engineering

D. Henrion, Mathematics of Control, Signals and Systems , Editeur associé. (toute la période) 21, J.B. Lasserre, Mathematics of Operations Research

M. Combacau and . Int, Journal of Intelligent Manufacturing Technologies, Editeur associé. (toute la période) 23. I. Queinnec, Nonlinear Analysis : Hybrid Systems, Editrice associée, 2016.

S. Tarbouriech and ;. Jauberthie, Journal Européen des Systèmes Automatisés, Co-Editrice en

F. Gouaisbaut and J. D. Macs, , 2017.

E. Hébrard, , 2016.

L. Zaccarian, Program vice-chair, IEEE Conference on Decision and Control, 2018.

I. Queinnec, IFAC Symposium on Robust Control Design (ROCOND, Florianopolis, Brésil, IPC vice-chair Industry, 2018.

L. Zaccarian, Program vicechair, IEEE Conference on Decision and Control, 2017.

D. Peaucelle, D. Dochain, and D. Henrion, World IFAC Congress, 2017.

D. Henrion, IPC co-chair, World IFAC Congress, 2017.

L. Travé-massuyes, World IFAC Congress, 2017.

L. Zaccarian, Area chair for invited session, IFAC Nonlinear Control Systems Symposium (NOLCOS, 2016.

D. Peaucelle, International Conference on Informatics in Control, Automation and Robotic (ICINCO, 2016.

D. Henrion, IEEE Conference on Decision and Control, 2015.

L. Zaccarian, Program vice-chair, IEEE Conference on Decision and Control (CDC, 2014.

E. Hébrard, IJCAI, Senior PC member, 2015.

D. Mac, ;. Manière-générale, and A. E. , des membres de MAC sontéditeurs associés pour l'IEEE-CSS Conference Editorial Board (ACC et CDC) et l'EUCA Conference Editorial Board (ECC)

-. Albea-sanchez, , vol.61, pp.2015-2019

M. Combacau, CNU, section 61, pp.2015-2019

C. Garcia, , vol.61, pp.2010-2015

A. Queinnec, .. Tarbouriech, and A. Ces40, ANR, CES40 vice-présidente, 2019. -I. Queinnec, ANR, Comité d'évaluation des pré-propositions, Queinnec, ANR, CES27, revue mi-parcours, 2015.

S. Tarbouriech, . Inria, . De, and . Dr, Tarbouriech, INRIA, jury de concours CR Saclay, 2016. -I. Queinnec, INRIA, jury de concours CR Lille, 2014.

M. Huguet, CoS maître assistant, vol.13, 2014.

;. S. Lopez, . Ngueveu, M. Cos, and . Inp-ensiacet, CoS maître assistant, 2015.

M. Combacau, M. Cos, and U. P. Sabatier, , 2016.

C. Ribot, . Mcf, M. Cos, U. P. Sabatier-;-albea-sanchez, M. Cos et al., CoS MCF, CNAM, 2016. -L. Travé-Massuyes, 2016.

C. Garcia, . Mcf, .. Uvhc, . Jozefowiez, M. Cos et al., CoS MCF, 2017.

. Albea-sanchez, M. Cos, U. Paris, V. Albea-sanchez, M. Cos et al., , 2018.

C. Artigues, . Mcf, and . Enac, , 2018.

M. Huguet, M. Cos, and . Insa-toulouse, , 2018.

M. Huguet, M. Cos, . Univ, ;. Montpellier, . Lopez et al., , 2018.

;. E. Albea-sanchez, . Chanthery, M. Cos, and . Inp-toulouse, , 2019.

M. Poema, Polynomial Optimization, Efficiency through Moments and Algebra, pp.2019-2022

(. Mathamsud and B. Chili, Colombie) ICoPS : Inverse and control problems for physical systems, pp.2017-2018

. Gdri-cnrs-spadisco, Systèmesà paramètres distribués et contraintes, pp.2017-2020

. Ecos-nord, Colombie) : Problèmes des moments en contrôle et optimisation, pp.2019-2020

P. Anr, . Fui, and . Inca, en tant que porteur 1. ANR : RESPET, octobre 2012-juillet 2015 2. ANR : LIMICOS, janvier 2013-décembre, 2016.

, ANR : PI COMODALITE, pp.2015-2019

. Anr-:-handy, , pp.2019-2023

C. Anr-jeune, , pp.2017-2021

C. Anr-jeune, , pp.2018-2022

, MAISEO, Nouvelles solutions pour faire face aux restrictions d'eau en combinant cultureécologiquement intensive du maïs et optimisation de la gestion territoriale de l'eau, pp.2013-2015

P. Anr, . Fui, and . Inca, Contrats nationaux, 2019.

, ANR : FAST RELAX, pp.2014-2019

, ANR : PERF4MANCE, octobre 2018-septembre 2022

, Contrats avec les collectivités territoriales en tant que porteur 1. Région Occitanie : Evolearn, Apprentissageévolutif pour la maintenance prédictive, pp.2018-2019

, Région Occitanie : One StockPerf, One Stock Performances, p.2016, 2018.

R. Midi-pyrénées, Smart Cooperation in Transportation & Logistics, décembre, 2014.

, Région Midi-Pyrénées : ODEXA, Optimisation de la digestion par Extraction continue ou discontinue de l'Ammoniac, pp.2014-2016

, Mise au point d'un pronostic moléculaire fin et rapide du grade de tumeur de cancer du sein en innovant dans la technologie de fabrication des biopucesà ADN et l'aideà la décision par application de l'intelligence artificielle, p.2014, 2015.

-. Sucha-;-u-guizhou, . Guiyang, -. J. Chine, and . Mo, Ecole Normale Supérieure d'Informatique d'Alger, 2014.

P. Jimenez, F. Millan-gata, A. Gomez-estern, P. Sferlazza, P. Trutman et al.,

B. Ebihara, V. Jaywardhana, S. Leite, V. Foucart, M. Cibulka et al.,

M. Sanfelice, M. Putinar, D. Petreczky, A. Astolfi, S. Selivanov et al.,

T. Kruzik, D. Hanis, R. Dimarogonas, M. A. Sven-risuleo, G. Gomes-alvarez et al.,

S. Trefethen, R. Trenn, C. Leus, E. Lagoa, and A. Goubault,

J. Lasserre, -. Simons, and . Professor, Soutenu par la fondation Simons, prix attribuéà des chercheurs reconnus exceptionnels en mathématiques. Il permet au CRM (Montréal) de les inviter pour des séjours longs, 2019.

E. Hébrard, Orateurs choisis parmi jeunes chercheurs (5-10 ans post-thèse) ayant un dossier de publication exceptionnel et une grande visibilité, IJCAI-ECAI, vol.2018, 2018.

S. U. Ngueveu and P. Faure, Prix triennal décernéà de jeunes chercheurs (35 ans max) par la société française de Recherche Opérationnelle ROADEF pour une contribution originale en RO et aideà la décision, 2018.

L. Travé-massuyès, Pour les contributions en tant que "financial chair, du IFAC World Congress, pp.9-14, 2017.

J. Lasserre, John von Neumann Theory Prize, Prix annuel décerné par l'INFORMS pour avoir apporté des contributions théoriques fondamentales et durables en recherche opérationnelle et sciences de la gestion, 2015.

J. Lasserre and K. Prize, Prix annuel décerné par l'Optimization Society de l'INFORMSà une personne ou uneéquipe pour l'ensemble de leur carrière, 2015.

F. Ferrante, Pour sa thèse sur la quantification et l'intermittence de mesures dans les systèmes de commande : stabilité, stabilisation et synthèse d'observateurs, soutenue en, Prix des meilleures thèses GdR MACS, 2015.

C. Carbonnel, Prix de la meilleure thèse de l'Association for Constraint Programming (ACP) pour sa thèse "Harnessing tractability in constraint satisfaction problems, Doctoral Research Award, 2017.

C. Carbonnel and P. Léopold-escande, Meilleures thèses de doctorat de Toulouse INP, pour sa thèse intitulée "Harnessing tractability in constraint satisfaction problems, 2017.

M. Siala, European Association for Artificial Intelligence (EurAI) pour sa thèse "Search, propagation, and learning in sequencing and scheduling problems, Dissertation Award Honorable Mentions, 2016.

E. Hébrard, Best Paper Awardà la conférence internationale CP, 2018.

C. Carbonnel, The Dichotomy for Conservative Constraint Satisfaction Is Polynomially Decidable, Best Student Paperà la conférence internationale CP, 2016.
URL : https://hal.archives-ouvertes.fr/hal-01413124

C. Carbonnel, Meilleur papierétudiant de l'Association Française pour l'Intelligence Artificielleà la conférence nationale JFPC (Montpellier), 2016.

L. Berghman, C. Briand, R. Leus, and P. Lopez, The Truck scheduling problem at crossdocking terminals : exclusive versus mixed mode, Best Paper Award (Track Applications)à la conf. internationale ICORES, 2015.
URL : https://hal.archives-ouvertes.fr/hal-01230870

N. Chaabane, C. Briand, and M. Huguet, A Multi-Agent Min-Cost Flow problem with Controllable CapacitiesComplexity of Finding a Maximum-flow Nash Equilibrium" Distinctions 1. IEEE Fellow, 2016, L. Zaccarian (IEEE Fellow est la plus haute reconnaissance au sein des membres IEEE dont les travaux sont jugés d'un niveau exceptionnel dans les domaines d'intérêt de la société savante internationale IEEE (Institut of Electrical and Electronic Engineers), Best Paper Award (Track Methodologies and Technologies) a la conf. int. ICORES, 2014.

;. J. Siam-fellow, Lasserre (Le SIAM Fellows Program récompense des membres de la société savante internationale SIAM pour l'excellence de leurs contributions scientifiques qui ont permis des avancées majeures dans les domaines des mathématiques appliquées, 2014.

, Responsabilités dans des sociétés savantes internationales (si les dates ne sont pas mentionnées l'activité est sur l'ensemble de la période

, ACP -Membreélu du Bureau exécutif de l'Association for Constraint Programming -E. Hébrard, 2018.

, IFAC Technical Committee SAFEPROCESS -L. Travé-Massuyès, A. Subias 3. IFAC Technical Committee Aerospace -C. Louembet, 2017.

, IFAC Technical Committee Manufacturing Modelling for Management and Control -C, 2014.

, IFAC Technical Committee Modelling and Control of Enviromental Systems -I. Queinnec 8. IFAC Technical Committee Biosystems and Bioprocesses -I. Queinnec 9

, IFAC Policy Committee -D. Peaucelle, 2017.

, IFAC Task force on conferences website development -D. Peaucelle, L. Zaccarian, 2019.

, IFAC Task force on support for conferences -D. Peaucelle, 2018.

. Ieee-css-board-of-governors, IEEE-CSS Technical Committee on Systems with Uncertainties -D. Henrion, D. Peaucelle 17. IEEE-CSS Technical Committee on Computational Aspects of Control System Design -D. Henrion, D. Peaucelle 18. IEEE-CSS Technical Committee on Hybrid Systems -S. Tarbouriech, L. Zaccarian 19. IEEE-CSS Technical Committee on Nonlinear Systems and Control -L, Student Activities Chair -L. Zaccarian, vol.16, 2010.

, Responsabilités dans réseaux nationaux (si les dates ne sont pas mentionnées l'activité est sur l'ensemble de la période

G. T. Co-animateur,

, GT Sûreté / Surveillance / Supervision du GdR MACS -A. Subias, 2019.

, Membre du bureau de la ROADEF (société française de Recherche Opérationnelle et Aideà la Décision), 2013.

, GT inter GdR IM/IA (Informatique-Mathéamtique/Intelligence Artificielle) -E. Hebrard, 2018.

, Membre du conseil scientifique de la Fondation de recherche pour l'aéronautique et espace -L

, Membre du conseil d'administration de l'AFPC (Association Française pour la Programmation par Contraintes) -E. Hébrard, 2016.

C. Membre-du and G. Directeur, Linearization techniques for MINLP : recent developments, Briand Invitationsà des colloques / congrès internationnaux 1. International network optimization conference (INOC), 2019.

, Rio de Janeiro (Brésil), 2018, The moment-SOS hierarchy, International Congress of Mathematicians (ICM)

, Modern Topics in Quantum Information Conference and Workshop, International Institute of Physics (IIP), UFRN, Natal (Brésil), 2017.

, Moments and Positive Polynomials in Optimization and More, SIAM Conference on Control and Its Applications (CT17), 2017.

, Validated numerics for robust space mission design, Foundations of Computational Mathematics (FOCM2017), 2017.

P. Matematické-kolokvium, Moments and positive polynomials for optimization and more, 2017.

. Int, Validated numerics for robust space mission design, Symposium on Scientific Computing, Computer Arithmetics and Verified Numerics, 2016.

J. Lasserre, Workshop Non convex Optimization in Machine Learning de la Neural Information Processing Systems Foundation (NIPS 2016) conference, 2016.

. Int and . Conf, The moment-LP and moment-SOS approaches in polynomial optimization and some other applications, on NETwork Games, COntrol and Optimization (NETCOOP), 2016.

, Recent developments in mixed integer linear programming formulations for the resource-constrained scheduling problem, 11. Int. Conf. on Project Management & Scheduling (PMS), 2014.

, IFAC Symposium on Robust Control Design (ROCOND), 2015.

. Allemagne, . Belgique, . Espagne, . Estonie, . Hollande et al., Séjours dans des laboratoiresétrangers L'analyse des séjoursà l'étranger (hors conférences) donne une estimation de plus de 2400 jours dans des séjoursà l'étranger. Les destinations sont principalement en Europe

D. Henrion, Czech Tech Univ. (financement PICS et autres)

L. Zaccarian, Italie. plus de 20 séjours d'une semaineà 2 mois

I. Queinnec, . Univ, and . Trento, Trento, Italie. 1 mois en 2017, 2018.

S. Tarbouriech, . Univ, and . Trento, Trento, Italie. 1 mois en 2017, 2018.

S. U. Ngueveu, CIRRELT (mobilité INP), 2019.

S. Marx, Univ. of Deusto (invité), 2019.

C. Artigues, Melbourne, Australie. 1 mois en, 2017.

E. Hébrard, Melbourne, Australie. 1 mois en, 2017.

Y. Pencolé, Melbourne, Australie. 1 mois en, 2016.

L. Zaccarian, , 2017.

A. Tanwani, New York University (nvité), 2017.

C. Artigues, , 2015.

S. U. Ngueveu, UANL (mobilité INP), Monterrey, Mexique. 2 × un mois en, 2014.

, Mobilités de doctorants en cours de thèse. A défaut de renseignement le financement est conjoint par lesécoles doctorales et leséquipes

O. P. Mejia, Université de Hagen, Allemagne. 1 mois en, 2019.

P. Coupechoux, Melbourne, Australie. 3 × 1 mois en, 2016.

M. Barreau, . Univ, and . Stuttgart, Allemagne. 3 mois en, 2018.

S. Bélières, L. Univ, and . Chicago, Etats-Unis. 2 mois en, 2018.

S. Bélières, Université Technologique d'Eindhoven, Hollande. 2 mois en, 2018.

. Production-de-connaissances,

E. Glize, , 2018.

S. Hadjeras and . Séville, Espagne. 2 mois en, 2018.

H. Leduc, Politecnico di Milano, Italie. 2 mois en, 2016.

P. Morin and . Ku-leuven, , 2015.

M. Nattaf, Chili. 3 × 1 mois en, 2014.

L. Col, K. , and S. , , 2015.

R. Hess, . Cwi, and H. Amsterdam, , 2015.

M. Nattaf, Institut informatique de Budapest, Hongrie. 1 mois en, 2014.

N. Chaabane, ;. Sienne, E. Ribot, E. L. Chanthery, C. Corronc et al., Louembet Local arrangements chairs and vice-chairs -L. Houssin, L. Baudouin IFAC 2017 events chairs and vice-chairs -A. Seuret, S. Tarbouriech, L. Zaccarian, F. Gouaisbaut Program support chairs and vice-chairs -C, Italie. 1 mois en 2014. Organisation de colloques / congrès IFAC World Congress 2017 Toulouse

I. Queinnec, Comité d'organisation) Organizer, Brazil, 9th IFAC Symposium on Robust Control Design (ROCOND'18), 2018.

L. Travé-massuyès, 29th International Workshop on Principles of Diagnosis (DX-2018) (Chair) Internationale, Varsovie, Pologne, 2018.

M. Huguet, E. Hebrard, and P. Lopez, International Conference on Principles and Practice of Constraint Programming, pp.15-24, 2016.

N. Jozefowiez, Sixth international Workshop on Freight Transportation and Logictics (Comité d'organisation) Internationale

Y. Pencolé and L. Travé-massuyès, 26th International Workshop on Principles of Diagnosis (DX-2015) (Chairs) Internationale

A. Subias, Supervision and Safety for Technical Processes SA-FEPROCESS'15 (National Organizing Committee member) Internationale, 9th IFAC Symposium on Fault Detection

E. Hebrard, M. Siala, P. Lopez, and M. Huguet, Journées Francophones de Programmation par Contraintes (Organizer) Communauté francophone, pp.12-14, 2019.

M. Huguet, Plate-Forme Intelligence Artificielle PFIA 2019 (Comité d'organisation) Internationale, 2019.

C. Artigues, Master Class Méthodes hybrides en optimisation combinatoire -Labex CIMI (Organizer) Nationale, 2018.

C. Briand, S. Ulrich-ngueveu, and M. Huguet, L'essor des systèmes connectés dans l'industrie et les services, MOSIM 2018) (Organizer) Internationale

J. Lasserre, Workshop on Semi-Algebraic techniques for the Optimal Power Flow Problem and Stability Assessment of Power Systems (Organizer) Internationale, pp.16-17, 2018.

S. Tarbouriech and A. Seuret, Delays and Constraints in Distributed parameter systems Workshop -DECOD Workshop (Comité d'organisation) Internationale, 2018.

L. Zaccarian and D. Fournier-prunaret, Roberto Tempo Workshop on Uncertain Dynamical Systems (Local organizer) Internationale, pp.5-7, 2017.

S. and U. Ngueveu, ELECTRIMACS 2017 (Comité d'organisation) Internationale

L. Zaccarian, Workshop Hybrid Dynamical Systems : optimization, stability and applications (Organizer) Internationale, 2017.

S. Tarbouriech and C. Workshop, Control subject to Computational and Communication Constraints, Organizer) Internationale, 2016.
URL : https://hal.archives-ouvertes.fr/hal-01818954

A. Seuret, Complex Dynamical Systems emphasizing Delays and Interconnections -Delsys Workshop (Vice-general Chair) Internationale, pp.25-27, 2015.

A. Seuret, Complex Dynamical Systems emphasizing Distributed Parameter Systems -Delsys Workshop (Vice-general Chair) Internationale, pp.12-14, 2014.

C. Jauberthie and L. Travé-massuyès, Workshop ECC : A Set-membership Approach to Health Monitoring of Uncertain Systems : From Theory to Application (Organizer) Internationale, pp.24-27, 2014.

, Intégration avec l'environnement

, Cette section liste de façon non exhaustive des indicateurs concernant l'intégrationà l'environnement, les impacts sur l'économie, la société et la culture

. Brevets, licences et déclarations d'invention Inventions licenciées

I. Queinnec, Logiciel de synthèse de contrôleurs robustes aux incertitudes et non-linéarités", (Convention de maturation réf, pp.7564-7565

, Déclaration d'invention

C. Louembet, P. Gilz, F. Camps, and M. Joldes, Algorithme embarqué de guidage et contrôle du rendez-vous spatial, pp.9799-9800

E. Hébrard, Application des outils de la commande optimale pour la génération automatique de plan de maoeuvres pour des applications de rendez-vous et d'anticollision entre véhicules et débris orbitaux, vol.87724, pp.11431-11432

?. Contrat-n, Activités de recherche d'améliorations de l'outil MOST d'ordonnancement des activités scientifiques de, vol.90113

, Contrat n ? 96618 : Méthode de guidage/contrôle RDV orbital proche et fortement contraint, 60000e, Financement : CNES

G. Vinson, Mise en place d'un projet Health Monitoring pour les Actionneurs Electro-mécaniques et Electro-hydrauliques, Messier-Bugatti-Dowty, 2010.

G. Scano, Calcul d'itinéraires multiples et de trajets synchronisés dans des réseaux de transport multimodaux, MobiGIS, 2013.

J. T. Camino, Co-optimisation charge utile satellite et système télécom, Airbus Defense & Space, 2013.

M. Capelle, Optimisation pour les communications optiques dans les systèmes d'observation de la Terre, Thalès Alenia Space, 2015.

T. Obry, Apprentissage numérique et symbolique pour le diagnostic et la réparation automobile, ACTIA, 2017.

C. Paya, Détection de décalages temporels pour le pilotage de flux de production complexes, STMicroelectronics, 2018.

V. Antuori, Méthodes hybrides d'optimisation combinatoire et d'apprentissage machine pour le dimensionnement d'ateliers, Renault, 2019.

S. Bensid, Apprentissage et optimisation en maintenance prédictive, 2019.

L. Blaise, Modélisation et résolution de problèmes d'ordonnancement au sein du solveur d'optimisation mathématique LocalSolver, INNOVATION, 2019.

L. Baudouin, Participationà une journée "IA et Industrie" sur le thème IA et responsabilité, SECAFI, 2019.

M. Huguet, Algorithmes respectueux de la vie privée pour le covoiturage"à la journée "LAAS-IRIT-LAPLACE : panorama des recherches dans le domaine automobile, 2018.

C. Artigues and S. U. Ngueveu, , 2018.

S. U. , Ngueveu, organisation et posterà la journée entreprises/laboratoires "Transport / Nouvelles mobilités, 2018.

S. U. Ngueveu, Big Data -Energy and Networks" organisé par l'ambassade de France en Norvège, 2017.

, Produits destinés au grand public Emissions radio, TV, presseécrite 1. IFAC World Congress, Fil twitter du congrès ayant impliqué tous les membres du département DO, 2017.

I. Queinnec, Mais que signifie automatique ?, twitter.com/INS2I_CNRS/status/905801996191625217, 2017.

D. Peaucelle, Mais, c'est quoi l'automatique ?, twitter.com/INS2I_CNRS/status/902142415494152192, 2017.

, Mission Rosetta : l'équipe ROCà la Cité de l'espace pour l'atterrissage de Philae, ROC, 2014.

, Produits de vulgarisation : articles, interviews,éditions, vidéos, etc

, Démonstration sur un dispositif appelé "Hélicoptère" pour illustrer des méthodes de commande en boucle fermée, Fête de la Science

M. Barreau, Stabilité et stabilisation de systèmes linéairesà l'aide d'inégalités matricielles linéaires" de vulgarisation autour de son sujet de thèse, magazine Quadrature, 2019.

M. Huguet and P. Conférence, Intelligence Artificielle : comprendre les principales techniques et les enjeux juridiques de leur utilisation, 2019.

M. Huguet, Participationà une table ronde sur "Intelligence Artificielle : risque ou opportunité" et présentation d'une introductionà l'IA, 2018.

L. Travé-massuyès, Intervention sur le diagnostic, Revue de presse "L'ère de l'automatique : enjeux et défis de la voiture du futur, 2018.

M. Barreau, Contrôle des systèmes de dimension infinie par des méthodes issues de la théorie de Lyapu, watch? v= PcfBi3j8_ 9M, 2018.

U. M. Aivodji, Participationà un séminaire intitulé "Transparence et protection de vie privéeà l'ère du big-data, Toulouse Data Science, 2017.

, Article sur les travaux de l'équipe, qui a participéà la mission Rosetta en créant pour le CNES un logiciel d'ordonnancement visantà optimiser la planification des expériences, A la Une de la revue de la société anglaise de recherche opérationnelle IMPACT, 2016.

U. M. Aivodji, Algorithmes pour le covoiturage et respectueux de la vie privée, 2016.

U. M. Aivodji, Mobilité et respect de la vie privée, Participation au concours "Ma Thèse en 180 secondes, 2015.

Y. Pencolé, Démonstration-conférence "Le diagnostic c'est automatique, 2014.

, Accueil etéchange avecétudiants et scolaires

J. Moncel, Membre de la fédération de recherche Mathsà modeler

J. Moncel, Animation de 2 ateliers Maths En Jeans, Lycée Savignacà Villefranche de Rouergue (Aveyron) et Collège Georges Pompidouà Cajarc (Lot), 2014.

, Accueil d'une délégation d'étudiants du département informatique de l'ENS, 2015.

P. Disco and . Au, Sciences : Sensibilisationà l'application des mathématiques l'apprentissage automatique, Lycée St Sernin, 2015.

S. Ngeuveu and A. Seuret, Accueil d'une délégation de doctorants suédois, LAAS, 2018.

D. Arzelier, L. Baudouin, E. Glize, M. Siala, and D. Peaucelle, Accueil d'une délégation d'étudiants de l'INSA, 2018.

M. Joldes and M. J. Huguet, Accueil des lycéens lauréats du concours national de cryptographie, 2018.

, Formation par la recherche

, Cette section aborde les activités liéesà l'implication des membres du département dans la formation par la recherche

F. Condotta, F. L. Ber, G. Ligozat, and L. Travé-massuyès, A Guided Tour of Artificial Intelligence Research Springer, 2019.

M. O. Cordier, P. Dague, Y. Pencolé, and L. Travé-massuyès, Diagnosis and supervision : model based approaches, A Guided Tour of Artificial Intelligence Research Springer, 2019.
URL : https://hal.archives-ouvertes.fr/hal-01483436

. E-learning and . Multimedia,

C. Baron, J. M. Urbain, P. Dautelle, B. Farail, E. Daniel-allegro et al., Systèmes embarqués et objets connectés, MOOC, INSA Toulouse, 2016.

P. E. Hladik, V. Mahout, M. Développez-en-c-pour-l'embarqué, and . Toulouse, Cours doctoraux 1. C. Artigues, Méthodes exactes pour l'ordonnancement, Formation Doctorale, Ecole JC en Ordonnancement du GdR RO, 2017.

L. Baudouin, E. Chanthery, and I. , Éthique de la recherche et intégrité scientifique, Formation Doctorale, 2018.

E. Chanthery and P. Ribot, Pronostic et gestion de santé, Formation Doctorale, EDSYS, 2018.

E. Hébrard, Resource Constraints for Scheduling, Formation Doctorale, International Summer School co-organisée par "Association for Constraint Programming" et le GdR RO : Hybridization of Constraint Programming and Operational Research, 2017.

E. Hébrard, Constraint programming, Formation Doctorale, International Spring School on integrated operational problems GdR RO, 2018.

P. Lopez, Programmation par contraintes pour l'ordonnancement, Formation Doctorale,École JC en Ordonnancement du GdR RO, 2017.

A. Tanwani, Calculus of Variations and Optimal Control, Formation Doctorale, EDSYS, 2014.

S. Tarbouriech, Technique anti-windup, Formation, ISL, 2018.

S. Tarbouriech, Systèmes non-linéaires, Cours doctoral et master, Brésil, 2014.

S. Tarbouriech, Introduction aux systèmes dynamiques hybrides, Cours doctoral et master, Brésil, 2014.

S. Tarbouriech, M. Jungers, A. Girard, and L. Hetel, Commande sous contraintes de calcul et communication, Cours doctoral, GDR MACS, 2015.

S. Tarbouriech, L. Zaccarian, and I. Queinnec, Systèmes saturés, Cours doctoral, EDSYS, 2016.

S. Tarbouriech, L. Zaccarian, and I. Queinnec, Systèmes saturés, Cours doctoral, 2017.

S. Tarbouriech, Systèmes saturés, Cours doctoral, 2018.

S. Tarbouriech and I. Queinnec, Systèmes saturés, Cours doctoral, 2018.

L. Zaccarian, Nonlinear hybrid dynamical systems, Cours doctoral,École doctorale, 2015.

L. Zaccarian, Nonlinear hybrid dynamical systems, Cours doctoral,École doctorale, 2016.

L. Zaccarian, Productions scientifiques (articles, ouvrages, etc.) issues des thèses Productions scientifiques issues des thèses : 160 articles dans des conférences et 80 articles dans des journaux Nombre moyen d'articles par doctorant : 3,6 article dans des conférences et 1,2 article dans des journaux 4.3.2 Formation Nombre de personnes Habilitéesà Diriger des Recherches (HDR) : 30 sur la période, Tutorial on hybrid dynamical systems, Cours doctoral, GDR MACS, p.84, 2015.

. Doctorants, , p.84

C. C. Albea-sanchez, M. Briand, E. L. Combacau, F. Corronc, L. Gouaisbaut et al., Master Electronique, Energieélectrique, Automatique : parcours Robotique Décision et Commande (RODECO) et parcours Ingénierie des Systèmes Temps Réel (ISTR), Les membres du département ontété impliqués dans le montage des formations suivantes : 1, 2015.

E. Chanthery, P. Esquirol, G. Garcia, M. J. Huguet, N. Jozefowiez et al., 5ème année INSA "Systèmes Distribués et Big Data" (filière de la spécialité InformatiqueRéseaux) et "Systèmes Informatiques Embarqués Critiques" (filière commune aux spécialités InformatiqueRéseaux et Automatique-Electronique), 2017.

M. J. Huguet, Mastère spécialisé, Valorisation des Données Massives" (diplôme bac+6 desécoles d'ingénieurs)

, Diplôme conjoint INSA-N7 (math et info), Master INSA de Toulouse, 2018.

. Bibliographie,

F. Saverio-panni, H. Waschl, D. Alberer, and L. Zaccarian, Position Regulation of an EGR Valve Using Reset Control with Adaptive Feedforward, IEEE Transactions on Control Systems Technology, vol.22, issue.6, pp.2424-2431, 2014.

J. Moncel, J. Thiery, and A. Waserhole, Computational performances of a simple interchange heuristic for a scheduling problem with an availability constraint, Computers & Industrial Engineering, vol.67, pp.216-222, 2014.
URL : https://hal.archives-ouvertes.fr/hal-02074379

A. Lara-briñon-arranz, C. Seuret, and . Wit, Cooperative Control Design for TimeVarying Formations of Multi-Agent Systems, IEEE Transactions on Automatic Control, vol.59, issue.8, pp.2283-2288, 2014.

L. Hedjazi, J. Aguilar-martin, M. Le-lann, and T. Kempowsky-hamon, Membership-margin based feature selection for mixed type and high-dimensional data : Theory and applications, Information Sciences, vol.322, pp.174-196, 2015.
URL : https://hal.archives-ouvertes.fr/hal-01998674

E. Chanthery, L. Travé-massuyès, and S. Indra, Fault Isolation on Request Based on Decentralized Residual Generation, Part A : Systems and Humans, 2015.
URL : https://hal.archives-ouvertes.fr/hal-01229077

Q. Gaudel, E. Chanthery, and P. Ribot, Hybrid Particle Petri Nets for Systems Health Monitoring under Uncertainty, International Journal of Prognostics and Health Management, vol.6, 2015.
URL : https://hal.archives-ouvertes.fr/hal-01229083

R. Pons, A. Subias, and L. Travé-massuyès, Iterative hybrid causal model based diagnosis : Application to automotive embedded functions, vol.37, pp.319-335, 2015.
URL : https://hal.archives-ouvertes.fr/hal-01400360

G. Simonin, C. Artigues, E. Hébrard, and P. Lopez, Scheduling scientific experiments for comet exploration, Constraints, vol.20, issue.1, pp.77-99, 2015.
URL : https://hal.archives-ouvertes.fr/hal-01108961

P. Tangpattanakul, N. Jozefowiez, and P. Lopez, A multi-objective local search heuristic for scheduling Earth observations taken by an agile satellite, European Journal of Operational Research, vol.245, issue.2, pp.542-554, 2015.
URL : https://hal.archives-ouvertes.fr/hal-01162839

A. Agnetis, C. Briand, J. Billaut, and P. S?cha, Nash equilibria for the multiagent project scheduling problem with controllable processing times, Journal of Scheduling, vol.18, issue.1, pp.15-27, 2015.
URL : https://hal.archives-ouvertes.fr/hal-01231028

A. Seuret, F. Gouaisbaut, and E. Fridman, Stability of discrete-time systems with timevarying delays via a novel summation inequality, IEEE Transactions on Automatic Control, vol.60, issue.10, pp.2740-2745, 2015.
URL : https://hal.archives-ouvertes.fr/hal-01109796

L. Lara-briñon-arranz, A. Schenato, and . Seuret, Distributed Source Seeking via a Circular Formation of Agents Under Communication Constraints, IEEE Transactions on Control of Network Systems, vol.3, issue.2, pp.104-115, 2015.

G. Deaconu, C. Louembet, and A. Théron, Designing Continuously Constrained Spacecraft Relative Trajectories for Proximity Operations, Journal of Guidance, Control, and Dynamics, vol.38, issue.7, pp.1208-1217, 2015.
URL : https://hal.archives-ouvertes.fr/hal-01078528

C. Louembet, D. Arzelier, and G. Deaconu, Robust Rendezvous Planning Under Maneuver Execution Errors, Journal of Guidance, Control, and Dynamics, vol.38, issue.1, pp.76-93, 2015.
URL : https://hal.archives-ouvertes.fr/hal-01078508

M. Maiga, N. Ramdani, L. Travé-massuyès, and C. Combastel, A Comprehensive Method for Reachability Analysis of Uncertain Nonlinear Hybrid Systems, IEEE Transactions on Automatic Control, vol.61, issue.9, pp.2341-2356, 2016.
URL : https://hal.archives-ouvertes.fr/hal-01650701

M. Nattaf, C. Artigues, P. Lopez, and D. Rivreau, Energetic reasoning and mixedinteger linear programming for scheduling with a continuous resource and linear efficiency functions, OR Spectrum, vol.38, issue.2, pp.459-492, 2016.
URL : https://hal.archives-ouvertes.fr/hal-01234466

E. Hébrard, M. Huguet, N. Jozefowiez, A. Maillard, C. Pralet et al., Approximation of the parallel machine scheduling problem with additional unit resources, Discrete Applied Mathematics, vol.215, pp.126-135, 2016.

M. Bouznif, J. Moncel, and M. Preissmann, A constant time algorithm for some optimization problems in rotagraphs and fasciagraphs, Discrete Applied Mathematics, vol.208, pp.27-40, 2016.
URL : https://hal.archives-ouvertes.fr/hal-01579781

S. U. Ngueveu, C. Artigues, and P. Lopez, Scheduling under non-reversible energy sources, Discrete Applied Mathematics, vol.208, pp.98-113, 2016.
URL : https://hal.archives-ouvertes.fr/hal-01163925

F. Todeschini, S. Formentin, G. Panzani, M. Corno, S. M. Savaresi et al., Nonlinear Pressure Control for BBW Systems via Dead-Zone and Antiwindup Compensation, IEEE Transactions on Control Systems Technology, vol.24, issue.4, pp.1419-1431, 2016.
URL : https://hal.archives-ouvertes.fr/hal-01851133

S. Ulrich-matchi-aïvodji, M. Gambs, M. Huguet, and . Killijian, Meeting points in ridesharing : A privacy-preserving approach, Transportation research. Part C, Emerging technologies, vol.72, pp.239-253, 2016.

J. Silva, I. Queinnec, A. Seuret, and S. Tarbouriech, Regional Stability Analysis of Discrete-Time Dynamic Output Feedback Under Aperiodic Sampling and Input Saturation, IEEE Transactions on Automatic Control, vol.61, issue.12, pp.4176-4182, 2016.
URL : https://hal.archives-ouvertes.fr/hal-01474407

M. Joldes, O. Marty, J. Muller, and V. Popescu, Arithmetic algorithms for extended precision using floating-point expansions, IEEE Transactions on Computers, vol.65, issue.4, pp.1197-1210, 2016.
URL : https://hal.archives-ouvertes.fr/hal-01111551

V. Andrieu, C. Prieur, S. Tarbouriech, and L. Zaccarian, A hybrid scheme for reducing peaking in high-gain observers for a class of nonlinear systems, Automatica, vol.72, pp.138-146, 2016.
URL : https://hal.archives-ouvertes.fr/hal-01357122

S. Tarbouriech, A. Seuret, J. M. Gomes-da-silva, and D. Sbarbaro, Observer-based eventtriggered control co-design for linear systems, IET Control Theory and Applications, vol.10, issue.18, pp.2466-2473, 2016.
URL : https://hal.archives-ouvertes.fr/hal-01358990

J. Bernard-lasserre, A MAX-CUT FORMULATION OF 0/1 PROGRAMS, Operations Research Letters, vol.44, issue.2, pp.158-164, 2016.

A. Seuret, C. Prieur, S. Tarbouriech, and L. Zaccarian, LQ-based event-triggered controller co-design for saturated linear systems, Automatica, vol.74, pp.47-54, 2016.
URL : https://hal.archives-ouvertes.fr/hal-01344252

C. Prieur, S. Tarbouriech, and J. Silva, Wave Equation With Cone-Bounded Control Laws, IEEE Transactions on Automatic Control, vol.61, issue.11, pp.3452-3463, 2016.
URL : https://hal.archives-ouvertes.fr/hal-01448483

R. Serra, D. Arzelier, M. Joldes, J. Bernard-lasserre, A. Rondepierre et al., Fast and Accurate Computation of Orbital Collision Probability for Short-Term Encounters, Journal of Guidance, Control, and Dynamics, vol.39, issue.5, pp.1009-1021, 2016.
URL : https://hal.archives-ouvertes.fr/hal-01132149

Y. Houssam-eddine-gougam, A. Pencolé, and . Subias, Diagnosability analysis of patterns on bounded labeled prioritized Petri nets, vol.27, pp.143-180, 2017.

M. Zhang, Z. Li, M. Cabassud, and B. Dahhou, Root cause analysis of actuator fault based on invertibility of interconnected system, International Journal of Modelling, Identification and Control, vol.27, pp.256-270, 2017.
URL : https://hal.archives-ouvertes.fr/hal-01763870

, SPECTRA -a Maple library for solving linear matrix inequalities in exact arithmetic. Optimization Methods and Software, 2017. Significantly extended version

S. Fergani, L. Menhour, O. Sename, L. Dugard, and B. , Integrated vehicle control through the coordination of longitudinal/lateral and vertical dynamics controllers : Flatness and LPV/H ? based design, December 2017. L'article final contient, vol.27, pp.4992-5007
URL : https://hal.archives-ouvertes.fr/hal-01509787

C. Artigues, On the strength of time-indexed formulations for the resource-constrained project scheduling problem, Operations Research Letters, vol.45, issue.2, pp.154-159, 2017.
URL : https://hal.archives-ouvertes.fr/hal-01461447

M. Frey, R. Kolisch, and C. Artigues, Column Generation for Outbound Baggage Handling at Airports. Transportation Science, page 35p, 2017.
URL : https://hal.archives-ouvertes.fr/hal-01614391

R. Baldacci, S. U. Ngueveu, and R. W. Calvo, The Vehicle Routing Problem with Transhipment Facilities, Transportation Science, vol.51, issue.2, pp.592-606, 2017.
URL : https://hal.archives-ouvertes.fr/hal-01880025

E. Pauwels, D. Henrion, and J. Bernard-lasserre, Linear conic optimization for inverse optimal control, SIAM Journal on Control and Optimization, vol.54, issue.3, pp.1798-1825, 2016.
URL : https://hal.archives-ouvertes.fr/hal-01080428

A. Bisoffi, F. Biral, M. Da-lio, and L. Zaccarian, Longitudinal Jerk Estimation of Driver Intentions for Advanced Driver Assistance Systems, IEEE/ASME Transactions on Mechatronics, vol.22, issue.4, pp.1531-1541, 2017.
URL : https://hal.archives-ouvertes.fr/hal-01700165

L. Vargas, N. Jozefowiez, and S. U. Ngueveu, A dynamic programming operator for tour location problems applied to the covering tour problem, Journal of Heuristics, vol.23, issue.1, pp.53-80, 2017.
URL : https://hal.archives-ouvertes.fr/hal-01880031

D. Peaucelle, Y. Ebihara, and Y. Hosoe, Robust observed-state feedback design for discretetime systems rational in the uncertainties, Automatica, vol.76, pp.96-102, 2017.
URL : https://hal.archives-ouvertes.fr/hal-01225068

L. Dal-col, S. Tarbouriech, and L. Zaccarian, H? control design for synchronisation of identical linear multi-agent systems, International Journal of Control, vol.91, issue.10, pp.2214-2229, 2017.

L. Baudouin, M. De-buhan, and S. Ervedoza, Convergent algorithm based on Carleman estimates for the recovery of a potential in the wave equation, SIAM Journal on Numerical Analysis, vol.55, issue.4, pp.1578-1613, 2017.
URL : https://hal.archives-ouvertes.fr/hal-01352772

M. Mioara, J. Joldes, V. Muller, and . Popescu, Tight and rigourous error bounds for basic building blocks of double-word arithmetic, ACM Transactions on Mathematical Software, vol.44, issue.2, pp.1-27, 2017.

L. Dal-col, S. Tarbouriech, L. Zaccarian, and M. Kieffer, A consensus approach to PI gains tuning for quality-fair video delivery, International Journal of Robust and Nonlinear Control, vol.27, issue.9, pp.1547-1565, 2017.
URL : https://hal.archives-ouvertes.fr/hal-01576615

Y. Ebihara, D. Peaucelle, and D. Arzelier, Steady-state analysis of delay interconnected positive systems and its application to formation control, IET Control Theory and Applications, vol.11, issue.16, pp.2783-2792, 2017.
URL : https://hal.archives-ouvertes.fr/hal-01760482

D. Fabrizio-dabbene, C. Henrion, and . Lagoa, Simple Approximations of Semialgebraic Sets and their Applications to Control, Automatica, vol.78, pp.110-118, 2017.

J. Bernard-lasserre, Representation of chance-constraints with strong asymptotic guarantees, IEEE Control Systems Letters, vol.1, issue.1, pp.50-55, 2017.

Q. Li, C. Jauberthie, L. Denis-vidal, and Z. Cherfi, Optimal input design for parameter estimation in a bounded-error context for nonlinear dynamical systems, Automatica, vol.92, pp.86-91, 2018.
URL : https://hal.archives-ouvertes.fr/hal-02025747

C. Tuan-anh-tran, F. L. Jauberthie, L. Gall, and . Travé-massuyès, Evidential box particle filter using belief function theory, International Journal of Approximate Reasoning, vol.93, pp.40-58, 2018.

N. Ramdani, L. Travé-massuyès, and C. Jauberthie, Mode discernibility and bounded-error state estimation for nonlinear hybrid systems, Automatica, vol.91, pp.118-125, 2018.
URL : https://hal.archives-ouvertes.fr/hal-01930370

S. U. Ngueveu, Piecewise linear bounding of univariate nonlinear functions and resulting mixed integer linear programming-based solution methods, European Journal of Operational Research, 2018.
URL : https://hal.archives-ouvertes.fr/hal-01444317

I. Hamaz, L. Houssin, and S. Cafieri, Robust Basic Cyclic Scheduling Problem, EURO Journal on Computational Optimization, vol.6, issue.3, pp.291-313, 2018.
URL : https://hal.archives-ouvertes.fr/hal-01635856

S. Tarbouriech, I. Queinnec, and C. Prieur, Nonstandard use of anti-windup loop for systems with input backlash, IFAC Journal of Systems and Control, vol.8, pp.33-42, 2018.
URL : https://hal.archives-ouvertes.fr/hal-01984387

M. Barreau, A. Seuret, F. Gouaisbaut, and L. Baudouin, Lyapunov stability analysis of a string equation coupled with an ordinary differential system, IEEE Transactions on Automatic Control, vol.63, issue.11, pp.3850-3857, 2018.
URL : https://hal.archives-ouvertes.fr/hal-01548256

A. Seuret and F. Gouaisbaut, Stability of linear systems with time-varying delays using BesselLegendre inequalities, IEEE Transactions on Automatic Control, vol.63, issue.1, pp.225-232, 2018.
URL : https://hal.archives-ouvertes.fr/hal-01537184

A. Seuret, C. Prieur, S. Tarbouriech, A. Teel, and L. Zaccarian, A nonsmooth hybrid invariance principle applied to robust event-triggered design, IEEE Transactions on Automatic Control, 2018.
URL : https://hal.archives-ouvertes.fr/hal-01526331

A. Bisoffi, M. D. Lio, A. Teel, and L. Zaccarian, Global Asymptotic Stability of a PID Control System with Coulomb Friction, IEEE Transactions on Automatic Control, vol.63, issue.8, pp.2654-2661, 2018.
URL : https://hal.archives-ouvertes.fr/hal-01700168

O. Mokrenko, C. Albea, S. Lesecq, and L. Zaccarian, A hybrid control law for energyoriented tasks scheduling in wireless sensor networks, IEEE Transactions on Control Systems Technology, vol.26, issue.6, pp.1995-2007, 2018.
URL : https://hal.archives-ouvertes.fr/hal-01402876

L. Baudouin, E. Crépeau, and J. Valein, Two approaches for the stabilization of nonlinear KdV equation with boundary time-delay feedback, IEEE Transactions on Automatic Control, 2018.
URL : https://hal.archives-ouvertes.fr/hal-01643321

V. Andrieu, B. Jayawardhana, and S. Tarbouriech, Some Results on Exponential Synchronization of Nonlinear Systems, IEEE Transactions on Automatic Control, vol.63, issue.4, pp.1213-1219, 2018.
URL : https://hal.archives-ouvertes.fr/hal-01324150

F. Bréhard, N. Brisebarre, and M. Joldes, Validated and numerically efficient Chebyshev spectral methods for linear ordinary differential equations, ACM Transactions on Mathematical Software, vol.44, issue.4, 2018.

L. Baudouin, A. Rondepierre, and S. Neild, Robust control of a cable from a hyperbolic partial differential equation model, IEEE Transactions on Control Systems Technology, 2018.
URL : https://hal.archives-ouvertes.fr/hal-01096851

A. Alessandri and L. Zaccarian, Stubborn state observers for linear time-invariant systems, Automatica, vol.88, pp.1-9, 2018.
URL : https://hal.archives-ouvertes.fr/hal-01700167

B. Genc, M. Siala, G. Simonin, and H. Sullivan, Complexity Study for the Robust Stable Marriage Problem. Theoretical Computer Science, 2019.

C. Gazzino, D. Arzelier, C. Louembet, L. Cerri, C. Pittet et al., Long-Term Electric-Propulsion Geostationary Station-Keeping via Integer Programming, Control, and Dynamics, pp.1-16, 2019.
URL : https://hal.archives-ouvertes.fr/hal-02053120

M. Cocetti, S. Tarbouriech, and L. Zaccarian, High-Gain Dead-Zone Observers for Linear and Nonlinear Plants, IEEE Control Systems Letters, vol.3, issue.2, pp.356-361, 2019.
URL : https://hal.archives-ouvertes.fr/hal-01970882

F. Yohann-de-castro, D. Gamboa, R. Henrion, J. Hess, and . Bernard-lasserre, Approximate Optimal Designs for Multivariate Polynomial Regression, Annals of Statistics, vol.47, issue.1, pp.127-155, 2019.

L. Baudouin, A. Seuret, and F. Gouaisbaut, Stability analysis of a system coupled to a heat equation, Automatica, vol.99, pp.195-202, 2019.
URL : https://hal.archives-ouvertes.fr/hal-01566455

S. Mahdieh, D. Sadabadi, and . Peaucelle, From Static Output Feedback to Structured Robust Static Output Feedback : A Survey, Annual Reviews in Control, vol.42, pp.11-26, 2016.

C. Prieur, I. Queinnec, S. Tarbouriech, and L. Zaccarian, Analysis and synthesis of reset control systems, Foundations and Trends R in Systems and Control, vol.6, issue.2-3, pp.117-338, 2019.
URL : https://hal.archives-ouvertes.fr/hal-02005357

A. Seuret, H. Ozbay, C. Bonnet, and H. Mounier, Low-Complexity Controllers for Time-Delay Systems, 2014.
URL : https://hal.archives-ouvertes.fr/hal-01997786

A. Seuret, L. Hetel, J. Daafouz, and K. E. Johansson, Delays and Networked Control Systems, Advances in Delays and Dynamics, vol.6, 2016.
URL : https://hal.archives-ouvertes.fr/hal-01342071

J. Laumond, N. Mansard, and J. Bernard-lasserre, Geometric and Numerical Foundations of Movements, Springer Tracts in Advanced Robotics, vol.117, 2017.
URL : https://hal.archives-ouvertes.fr/hal-01590779

S. Tarbouriech, A. Girard, and L. Hetel, Control Subject to Computational and Communication Constraints, Lecture Notes in Control and Information Sciences, vol.475, 2018.
URL : https://hal.archives-ouvertes.fr/hal-01818954

Y. Ebihara, D. Peaucelle, and D. Arzelier, S-Variable Approach to LMI-Based Robust Control, 2015.
URL : https://hal.archives-ouvertes.fr/hal-01760625

J. Bernard-lasserre, An Introduction to Polynomial and Semi-Algebraic Optimization, 2015.

J. Muller, N. Brunie, C. Florent-de-dinechin, M. Jeannerod, V. Joldes et al., Handbook of Floating-point Arithmetic, Birkhäuser Basel, 2018.
URL : https://hal.archives-ouvertes.fr/ensl-00379167

S. Tarbouriech, I. Queinnec, J. Biannic, and C. Prieur, Pilot-InducedOscillations alleviation through anti-windup based approach, Space Engineering Modeling and Optimization with Case Studies, vol.114, 2016.

C. Artigues, B. Jean-charles, A. Cheref, N. Mebarki, and Y. Zakaria, Robust Machine Scheduling Based on Group of Permutable Jobs, Robustness Analysis in Decision Aiding, volume 241 of Optimization, and Analytics. International Series in Operations Research & Management Science, pp.191-220, 2016.
URL : https://hal.archives-ouvertes.fr/hal-01875889

E. Pauwels, D. Henrion, and J. Bernard-lasserre, Chapter of the book "Geometric and Numerical Foundations of Movements, Tracts in Advanced Robotics, vol.117, pp.113-131, 2017.

A. Tanwani, C. Prieur, and S. Tarbouriech, Stabilization of Linear Hyperbolic Systems of Balance Laws with Measurement Errors, Control subject to computational and communication constraints, pp.357-374, 2018.
URL : https://hal.archives-ouvertes.fr/hal-01827106

S. Tarbouriech, A. Seuret, C. Prieur, and L. Zaccarian, Insights on event-triggered control for linear systems subject to norm-bounded uncertainty, Control subject to computational and communication constraints, pp.181-196, 2018.
URL : https://hal.archives-ouvertes.fr/hal-01827110

A. Tanwani, D. Chatterjee, and D. Liberzon, Stabilization of Deterministic Control Systems Under Random Sampling : Overview and Recent Developments, Uncertainty in Complex Networked Systems, pp.209-246, 2018.
URL : https://hal.archives-ouvertes.fr/hal-01962130

D. Arzelier, F. Dabbene, S. Formentin, D. Peaucelle, and L. Zaccarian, Robust Static Output Feedback Design with Deterministic and Probabilistic Certificates, Uncertainty in Networked Systems : In Honor of Roberto Tempo, pp.121-148, 2018.
URL : https://hal.archives-ouvertes.fr/hal-01970884

Q. Gaudel, E. Chanthery, P. Ribot, and M. J. Daigle, Diagnosis of hybrid systems using Hybrid Particle Petri nets : theory and application on a planetary rover, Fault Diagnosis of Hybrid Dynamic and Complex Systems, pp.209-241, 2018.
URL : https://hal.archives-ouvertes.fr/hal-01905006

, Yannick Pencolé and Louise Travé-Massuyès and Philippe Dague, Proceedings of the 26th International Workshop on Principles of Diagnosis (DX-2015), volume 1507 of CEUR Workshop Proceedings, 2015.

, Philippe Vismara, 2016.

D. Peaucelle, K. Madani, and O. Gusikhin, Informatics in Control, Automation and Robotics, 2018.
URL : https://hal.archives-ouvertes.fr/hal-01762661

, 20th IFAC World Congress, vol.50, pp.9-14, 2017.

Y. Pencolé, DITO : a CSP-based diagnostic engine, Twenty-first European Conference on Artificial Intelligence (ECAI'14), 2014.

A. Houssam-eddine-gougam, Y. Subias, and . Pencolé, Discriminability Analysis of Supervision Patterns by Net Unfoldings, 12th IFAC International Workshop on Discrete Event Systems, vol.47, pp.459-464, 2014.

C. Bessière, E. Hébrard, M. Ménard, C. Quimper, and T. Walsh, Buffered Resource Constraint : Algorithms and Complexity, CPAIOR : Integration of AI and OR Techniques in Constraint Programming, pp.318-333, 2014.

C. Carbonnel, M. Cooper, and E. Hébrard, On Backdoors to Tractable Constraint Languages, Principles and Practice of Constraint Programming, vol.8656, pp.224-239, 2014.
URL : https://hal.archives-ouvertes.fr/hal-01154625

C. Bessière, E. Hébrard, G. Katsirelos, Z. Kiziltan, E. Picard-cantin et al., The Balance Constraint Family, CP : Principles and Practice of Constraint Programming, pp.174-189, 2014.

C. Artigues, E. Hébrard, V. Mayer-eichberger, M. Siala, and T. Walsh, SAT and Hybrid Models of the Car Sequencing Problem, 11th International Conference, vol.8451, pp.268-283, 2014.
URL : https://hal.archives-ouvertes.fr/hal-00991036

N. Fakhfakh-chaabane, C. Briand, and M. Huguet, A Multi-agent Min-Cost Flow problem with Controllable Capacities : Complexity of Finding a Maximum-Flow Nash Equilibrium, International Conference on Operations Research and Enterprise Systems (ICORES), page 8p, 2014.

C. Pralet, G. Verfaillie, A. Maillard, E. Hébrard, N. Jozefowiez et al., Satellite Data Download Management with Uncertainty about the Generated Volumes, 24th International Conference on Automated Planning and Scheduling (ICAPS), Proceedings of the Twenty-Fourth International Conference on Automated Planning and Scheduling, 2014.
URL : https://hal.archives-ouvertes.fr/hal-01954509

M. Korda, D. Henrion, and C. N. Jones, Controller design and region of attraction estimation for nonlinear dynamical systems, 19th World Congress of the International Federation of Automatic Control (IFAC 2014), p.20, 2014.
URL : https://hal.archives-ouvertes.fr/hal-00871051

S. Streif, D. Henrion, and R. Findeisen, Probabilistic and Set-based Model Invalidation and Estimation using LMIs, 19th World Congress of the International Federation of Automatic Control, p.15, 2014.
URL : https://hal.archives-ouvertes.fr/hal-00910264

P. Prathyush, A. Menon, C. Seuret, and . Edwards, Consensus Control Laws with Guaranteed Performance in Presence of Fixed Delays, European Control Conference, 2014.

R. Serra, D. Arzelier, M. Joldes, J. Bernard-lasserre, A. Rondepierre et al., A New Method to Compute the Probability of Collision for Short-term Space Encounters, AIAA/AAS Astrodynamics Specialist Conference, 2014.
URL : https://hal.archives-ouvertes.fr/hal-01092420

S. Formentin, F. Dabbene, R. Tempo, L. Zaccarian, and S. Savaresi, Scenario optimization with certificates and applications to anti-windup design, IEEE 53rd Annual Conference on Decision and Control (CDC 2014), pp.2810-2815, 2014.
URL : https://hal.archives-ouvertes.fr/hal-01851202

M. Joldes, J. Muller, and V. Popescu, On the computation of the reciprocal of floating point expansions using an adapted Newton-Raphson iteration, 25th IEEE International Conference on Application-specific Systems, Architectures and Processors, 2014.
URL : https://hal.archives-ouvertes.fr/hal-00957379

N. A. Barbosa-roa, L. Travé-massuyès, and V. Palacio, Trend-Based Dynamic Classification for on-line Diagnosis of Time-Varying Dynamic Systems, 9th IFAC Symposium on Fault Detection, Supervision and Safety of Technical Processes, 2015.
URL : https://hal.archives-ouvertes.fr/hal-01205313

L. Travé-massuyès, R. Pons, P. Ribot, Y. Pencolé, and C. Jauberthie, Conditionbased Monitoring and Prognosis in an Error-Bounded Framework, 26th international workshop on Principles of Diagnosis, 2015.

M. Siala, C. Artigues, and E. Hébrard, Two Clause Learning Approaches for Disjunctive Scheduling, Principles and Practice of Constraint Programming, pp.393-402, 2015.
URL : https://hal.archives-ouvertes.fr/hal-01229050

M. Capelle, S. Abdellatif, M. Huguet, and P. Berthou, Online Virtual Links Resource Allocation in Software-Defined Networks, IFIP Networking 2015 Conference, 2015.
URL : https://hal.archives-ouvertes.fr/hal-01107598

L. Berghman, C. Briand, P. Leus, and . Lopez, The Truck Scheduling Problem at Crossdocking Terminals -Exclusive versus Mixed Mode, 4th International Conference on Operations Research and Enterprise Systems (ICORES 2015), pp.247-253, 2015.
URL : https://hal.archives-ouvertes.fr/hal-01230870

C. Albea, G. Garcia, and L. Zaccarian, Hybrid dynamic modeling and control of switched affine systems : application to DC-DC converters, 54th IEEE Conference on Decision and Control, 2015.
URL : https://hal.archives-ouvertes.fr/hal-01220447

A. Tanwani and S. Trenn, On Detectability of Switched Linear Differential-Algebraic Equations, IEEE Conference on Decision and Control (CDC 2015), 2015.
URL : https://hal.archives-ouvertes.fr/hal-01238646

A. Tanwani, A. Teel, and C. Prieur, On Using Norm Estimators for Event-Triggered Control with Dynamic Output Feedback, 54th IEEE Conference on Decision and Control (CDC 2015), 2015.
URL : https://hal.archives-ouvertes.fr/hal-01238648

M. Chamanbaz, F. Dabbene, D. Peaucelle, and R. Tempo.-r-romuloc, A unified tool for randomized and robust multiobjective control, IFAC Symposium ROCOND, vol.48, pp.144-149, 2015.
URL : https://hal.archives-ouvertes.fr/hal-01760567

C. Carbonnel, The Dichotomy for Conservative Constraint Satisfaction is Polynomially Decidable, 22nd International Conference on Principles and Practice of Constraint Programming (CP'16), vol.9892, pp.130-146, 2016.
URL : https://hal.archives-ouvertes.fr/hal-01413124

C. Carbonnel, The Meta-Problem for Conservative Mal'tsev Constraints, Thirtieth AAAI Conference on Artificial Intelligence (AAAI-16), 2016.
URL : https://hal.archives-ouvertes.fr/hal-01230681

C. Carbonnel and E. Hébrard, Propagation via Kernelization : The Vertex Cover Constraint, The 22nd International Conference on Principles and Practice of Constraint Programming, volume 9892 of Principles and Practice of Constraint Programming, pp.147-156, 2016.
URL : https://hal.archives-ouvertes.fr/hal-01459870

C. Bessière, E. Hébrard, G. Katsirelos, T. Walsh, and Z. Kiziltan, Ranking Constraints, IJCAI : International Joint Conference on Artificial Intelligence, pp.705-711, 2016.

J. Camino, C. Artigues, L. Houssin, and S. Mourgues, Mixed-integer linear programming for multibeam satellite systems design : Application to the beam layout optimization, 2016.
URL : https://hal.archives-ouvertes.fr/hal-01351492

, Annual IEEE Systems Conference (SysCon), pp.1-6, 2016.

M. Luca-de-pascali, F. Cocetti, A. Biral, F. Palazzetti, P. P. Panizzolo et al., LMI-based non-overshooting pressure control design for a wet clutch, IEEE Conference on Control Applications (CCA 2016), 2016.

J. Camino, C. Artigues, L. Houssin, and S. Mourgues, A Decomposition Method for Frequency Assignment in Multibeam Satellite Systems, International Conference on Operations Research and Enterprise Systems (ICORES), p.11, 2015.
URL : https://hal.archives-ouvertes.fr/hal-01231332

S. Fergani, L. Jauberthie, and . Travé-massuyès, Automotive vehicle sideslip angles estimation in a boundederror context, IFAC WORLD CONGRESS, 2017.
URL : https://hal.archives-ouvertes.fr/hal-01884636

C. Tuan-anh-tran, F. L. Jauberthie, L. Gall, and . Travé-massuyès, Interval Kalman filter enhanced by positive definite upper bounds, IFAC World Congrès, 2017.

P. Ribot, E. Chanthery, and Q. Gaudel, HPPN-based Prognosis for Hybrid Systems, Proceedings of the Annual Conference of the Prognostics and Health Management Society, 2017.
URL : https://hal.archives-ouvertes.fr/hal-01579483

C. Gustavo-pérez, E. Chanthery, L. Travé-massuyès, and J. Sotomayor, Fault-Driven Structural Diagnosis Approach in a Distributed Context, 20th World Congress of the International Federation of Automatic Control, IFAC 2017 World Congress, IFAC-PapersOnLine proceedings series, pp.14819-14824, 2017.

A. Sahuguède, L. Corronc, and Y. Pencolé, Design of indicators for the detection of time shift failures in (max, +)-linear systems, 20th IFAC World Congress, p.7, 2017.

C. Carbonnel and E. Hébrard, On the Kernelization of Global Constraints, International Joint Conference on Artificial Intelligence, p.7, 2017.
URL : https://hal.archives-ouvertes.fr/hal-01670318

M. Capelle, M. Huguet, N. Jozefowiez, and X. Olive, A hierarchical approach for the selection of optical ground stations maximizing the data transfer from low-earth observation satellites, IEEE International Conference on Communications, p.6, 2017.
URL : https://hal.archives-ouvertes.fr/hal-01540963

G. Michieletto, A. Cenedese, L. Zaccarian, and A. Franchi, Nonlinear Control of MultiRotor Aerial Vehicles Based on the Zero-Moment Direction, IFAC World Congress, 2017.
URL : https://hal.archives-ouvertes.fr/hal-01513229

P. Millán, A. Nozal, L. Zaccarian, L. Orihuela, and A. Seuret, Distributed implementation and design for state estimation, IFAC 2017 World Congress The 20th World Congress of the International Federation of Automatic Control, page 6p, 2017.

D. Astolfi, A. Alessandri, and L. Zaccarian, Stubborn ISS redesign for nonlinear high-gain observers, 20th IFAC World Congress, 2017.
URL : https://hal.archives-ouvertes.fr/hal-01568347

P. R. , A. Gilz, M. Joldes, C. Louembet, and F. Camps, Model predictive control for rendezvous hovering phases based on a novel description of constrained trajectories, IFAC World Congress, pp.7490-7495, 2017.
URL : https://hal.archives-ouvertes.fr/hal-01484764

T. Giulio-panzani, . Colombo, M. Sergio, L. Savaresi, and . Zaccarian, Hybrid control of a hydro-pneumatic tractor suspension, 2017 IEEE 56th Annual Conference on Decision and Control (CDC), 2017.

A. Sahuguède, L. Corronc, and M. Lann, Chronicle Discovery for Diagnosis from Raw Data : A Clustering Approach, 10th IFAC Symposium on Fault Detection, Supervision and Safety for Technical Processes, SAFEPROCESS 2018, page 8p, 2018.

E. C-g-pérez-zuñiga, L. Chanthery, J. Travé-massuyès, C. Sotomayor, and . Artigues, Decentralized Diagnosis via Structural Analysis and Integer Programming, 10th IFAC Symposium on Fault Detection, Supervision and Safety for Technical Processes, SAFEPROCESS 2018, p.7, 2018.

J. Bolting and . Fergani, Set membership estimation applied to the localization of small UAS in tight flight formations, ICCAS 2018, 2018.
URL : https://hal.archives-ouvertes.fr/hal-01884592

N. Verdiere, C. Jauberthie, and L. Travé-massuyès, Improvements in bounded error parameter estimation using distribution theory, European Control Conference (ECC 2018), 2018.
URL : https://hal.archives-ouvertes.fr/hal-01966316

E. Hébrard, Reasoning About NP-complete Constraints, 27th International Joint Conference on Artificial Intelligence (IJCAI 2018, p.5, 2018.

E. Glize, N. Jozefowiez, and S. U. Ngueveu, An exact column generation-based algorithm for Bi-Objective Vehicle Routing Problems, International Symposium on Combinatorial Optimization (ISCO), 2018.
URL : https://hal.archives-ouvertes.fr/hal-01816861

E. Hébrard and G. Katsirelos, Conflict Directed Clause Learning for the Maximum Weighted Clique Problem, 27th International Joint Conference on Artificial Intelligence (IJCAI 2018, p.8, 2018.

E. Hébrard and G. Katsirelos, Clause Learning and New Bounds for Graph Coloring, International Conference on Principles and Practice of Constraint Programming, p.17, 2018.

F. Rodolfo, B. , F. Lerasle, C. Briand, and A. Mekonnen, SoftCascade Learning with Explicit Computation Time Considerations, 2018 IEEE Winter Conference on Applications of Computer Vision, Proceedings of 2018 IEEE Winter Conference on Applications of Computer Vision, 2018.

A. Nathalie, L. Barbosa, . Travé-massuyès, H. Victor, and . Grisales, Diagnosability improvement of dynamic clustering through automatic learning of discrete event models, IFAC-PapersOnLine, vol.50, issue.1, pp.1037-1042, 2017.

M. Della-rossa, A. Tanwani, and L. Zaccarian, Max-Min Lyapunov Functions for Switching Differential Inclusions, 57th IEEE-Conference on Decision and Control (CDC 2018), 2018.
URL : https://hal.archives-ouvertes.fr/hal-01951377

G. Davy, E. Féron, P. Garoche, and D. Henrion, Experiments in Verification of Linear Model Predictive Control : Automatic Generation and Formal Verification of an Interior Point Method Algorithm, 22nd International Conference on Logic for Programming Artificial Intelligence and Reasoning (LPAR-22), p.17, 2018.
URL : https://hal.archives-ouvertes.fr/hal-01681134

M. Barreau, F. Gouaisbaut, and A. Seuret, Stabilization of an unstable wave equation using an infinite dimensional dynamic controller, 57th IEEE Conference on Decision and Control (CDC), 2018.
URL : https://hal.archives-ouvertes.fr/hal-01845845

M. Barreau, F. Gouaisbaut, and A. Seuret, Static State and Output Feedback Synthesis for Time-Delay Systems, ECC 2018, 2018.
URL : https://hal.archives-ouvertes.fr/hal-01639829

F. Deschaux, F. Gouaisbaut, and Y. Ariba, Nonlinear control for an uncertain electromagnetic actuator, 57th IEEE Conference on Decision and Control (CDC 2018, p.6, 2018.
URL : https://hal.archives-ouvertes.fr/hal-01868623

R. Beerens, A. Bisoffi, L. Zaccarian, W. P. Heemels, H. Nijmeijer et al., Hybrid PID control for transient performance improvement of motion systems with friction, 2018 American Control Conference, pp.539-544, 2018.
URL : https://hal.archives-ouvertes.fr/hal-01970887

J. Bernard-lasserre, . The-moment-sos, and . Hierarchy, International Congress of Mathematicians 2018, p.21, 2018.

P. Braun, M. Christopher, L. Kellett, and . Zaccarian, Unsafe Point Avoidance in Linear State Feedback, 57th IEEE Conference on Decision and Control (CDC), pp.2372-2377, 2018.
URL : https://hal.archives-ouvertes.fr/hal-01995607

D. Peaucelle and Y. Ebihara, Affine Versus Multi-Affine Models for S-Variable LMI Conditions, 9th IFAC Symposium on Robust Control Design, p.8, 2018.
URL : https://hal.archives-ouvertes.fr/hal-01713146

L. Zaccarian, F. Luca-de-pascali, M. Biral, S. Cocetti, and . Tarbouriech, A kinematic observer with adaptive dead-zone for vehicles lateral velocity estimation, 15th International Workshop on Advanced Motion Control (AMC 2018), 2018.
URL : https://hal.archives-ouvertes.fr/hal-01851144

F. Camps, P. R. , A. Gilz, M. Joldes, and C. Louembet, Embedding a SDPbased control algorithm for the orbital rendezvous hovering phases, International Conference on Integrated Navigation Systems, 2018.
URL : https://hal.archives-ouvertes.fr/hal-01729956

E. Hébrard and G. Katsirelos, A Hybrid Approach for Exact Coloring of Massive Graphs, Sixteenth International Conference on the Integration of Constraint Programming, Artificial Intelligence, and Operations Research (CPAIOR 2019), 2019.

D. Victor-magron, J. Henrion, and . Bernard-lasserre, Approximating Pareto Curves using Semidefinite Relaxations, Operations Research Letters, vol.42, pp.432-437, 2014.

D. Victor-magron, J. Henrion, and . Bernard-lasserre, Semidefinite approximations of projections and polynomial images of semialgebraic sets, SIAM Journal on Optimization, vol.25, issue.4, pp.2143-2164, 2015.

E. Pauwels, D. Henrion, and J. Bernard-lasserre, Inverse optimal control with polynomial optimization, IEEE Conference on Decision and Control ( CDC ), pp.5581-5586, 2014.
URL : https://hal.archives-ouvertes.fr/hal-00961722

M. Nattaf, C. Artigues, and P. Lopez, Cumulative scheduling with variable task profiles and concave piecewise linear processing rate functions, Constraints, vol.22, issue.4, pp.530-547, 2017.
URL : https://hal.archives-ouvertes.fr/hal-01546131

M. Nattaf, M. Horváth, T. Kis, C. Artigues, and P. Lopez, Polyhedral results and valid inequalities for the continuous energy-constrained scheduling problem, Discrete Applied Mathematics, 2019.
URL : https://hal.archives-ouvertes.fr/hal-02136583

S. Zabi, I. Queinnec, G. Garcia, and M. Mazerolles, Time-optimal control for the induction phase of anesthesia, 20th IFAC World Congress, pp.12708-12713, 2017.
URL : https://hal.archives-ouvertes.fr/hal-01573821

C. Josz, J. Bernard-lasserre, and B. Mourrain, Sparse polynomial interpolation : sparse recovery, super resolution, or Prony ? working paper or preprint, 2018.

C. Josz and D. Henrion, Strong duality in Lasserre's hierarchy for polynomial optimization, Optimization Letters, vol.10, issue.1, pp.3-10, 2016.

J. Bernard-lasserre and J. Rouot, On inverse optimal control via polynomial optimization, IEEE 56th Annual Conference on Decision and Control (CDC 2017), pp.721-726, 2017.

L. Beaudou, P. Coupechoux, A. Dailly, S. Gravier, J. Moncel et al., Octal Games on Graphs : The game 0.33 on subdivided stars and bistars, Theoritical Computer Science, vol.746, pp.19-35, 2018.
URL : https://hal.archives-ouvertes.fr/hal-01418153

P. Coupechoux, M. Demange, D. Ellison, and B. Jouve, Firefighting on Trees. Theoretical Computer Science, 2019.

A. Sferlazza, S. Tarbouriech, and L. Zaccarian, Time-varying Sampled-data Observer with Asynchronous Measurements, IEEE Transactions on Automatic Control, 2018.
URL : https://hal.archives-ouvertes.fr/hal-01488636

A. Cheref, A. Agnetis, C. Artigues, and J. Billaut, Complexity results and algorithms for an integrated single machine scheduling and outbound delivery problem with fixed sequence, Journal of Scheduling, vol.20, issue.6, pp.681-693, 2017.
URL : https://hal.archives-ouvertes.fr/hal-01529299

A. Tanwani, S. Marx, and C. Prieur, Local Input-to-State Stabilization of 1-D Linear Reaction-Diffusion Equation with Bounded Feedback, 23rd International Symposium on Mathematical Theory of Networks and Systems (MTNS2018), p.6, 2018.
URL : https://hal.archives-ouvertes.fr/hal-01785104

L. Baudouin, S. Marx, and S. Tarbouriech, Event-triggered damping stabilization of a linear wave equation, 2019.
URL : https://hal.archives-ouvertes.fr/hal-01968409

S. Marx, E. Pauwels, T. Weisser, D. Henrion, and J. Bernard-lasserre, Tractable semi-algebraic approximation using Christoffel-Darboux kernel, 2019.
URL : https://hal.archives-ouvertes.fr/hal-02085835

H. Ichihara, K. Sawada, and S. Tarbouriech, Invariant set analysis for SISO discrete-time polynomial systems with dynamic quantizers, International Journal of Robust and Nonlinear Control, vol.28, issue.17, pp.5495-5508, 2018.
URL : https://hal.archives-ouvertes.fr/hal-02025286

H. Ichihara, S. Kajihara, Y. Ebihara, and D. Peaucelle, Formation Control of Mobile Robots Based on Interconnected Positive Systems, IFAC World Congress, vol.50, pp.8441-8446, 2017.
URL : https://hal.archives-ouvertes.fr/hal-01760487

L. Luciano-g-moreira, J. Groff, S. Silva, and . Tarbouriech, Event-triggered PI control for continuous plants with input saturation, American Control Conference (ACC 2016), pp.4251-4256, 2016.

S. Tarbouriech, A. Seuret, L. G. Moreira, and J. Silva, Observerbased event-triggered control for linear systems subject to cone-bounded nonlinearities, IFAC World Congress, pp.8165-8170, 2017.
URL : https://hal.archives-ouvertes.fr/hal-01497747

Y. Hosoe and D. Peaucelle, S-variable approach to robust stabilization state feedback synthesis for systems characterized by random polytopes, European Control Conference (ECC), 2016.
URL : https://hal.archives-ouvertes.fr/hal-01760551

Y. Hosoe, T. Hagiwara, and D. Peaucelle, Robust Stability Analysis and State Feedback Synthesis for Discrete-Time Systems Characterized by Random Polytopes, IEEE Transactions on Automatic Control, vol.63, issue.2, pp.556-562, 2018.
URL : https://hal.archives-ouvertes.fr/hal-01760478

C. Louembet, Contributions to the guidance for the space rendezvous by solving the optimal impulse control problem. Habilitationà diriger des recherches, UT3 Paul Sabatier, 2017.
URL : https://hal.archives-ouvertes.fr/tel-01960763

A. Seuret, Contributions to the Stability Analysis and Control of Networked Systems. Accreditation to supervise research, UT3 Paul Sabatier, 2017.
URL : https://hal.archives-ouvertes.fr/tel-01881095

D. Peaucelle, Integral Quadratic Separation and its use for robust control, 2014.
URL : https://hal.archives-ouvertes.fr/tel-01102186

L. Baudouin, Problèmes inverses et commande robuste de quelqueséquations aux dérivées partielles. Habilitationà diriger des recherches, UT3 Paul Sabatier, 2014.

Y. Pencolé, Diagnostic :étude d'un raisonnement complexe et multi-dimensionnel. Habilitationà diriger des recherches, UT3 Paul Sabatier, septembre, 2018.

E. Chanthery, Vers des systèmes plus autonomes : contributions autour de la tâche de diagnostic dans une architecture embarquée. Habilitationà diriger des recherches, 2018.

C. Jauberthie, Estimation of uncertain dynamical systems and related properties, Habilitationà diriger des recherches, UT3 Paul Sabatier, 2016.
URL : https://hal.archives-ouvertes.fr/tel-01483801

J. Mioara-maria, Validated symbolic-numeric algorithms and practical applications in aerospace. Habilitationà diriger des recherches, UT3 Paul Sabatier, 2019.

T. Tuan-anh, A unified framework for modeling statistical and bounded uncertainties : application to fault detection and isolation of uncertain dynamic systems via estimation. Thèse, UT3 Paul Sabatier

J. William and V. Capacho, Chronicle Based Alarm Management. Thèse, INSA Toulouse, 2017.

N. Roa, A data-based approach for dynamic classification of functional scenarios oriented to industrial process plants
URL : https://hal.archives-ouvertes.fr/tel-01578956

T. Le, Intégration de l'inférence abductive et inductive pour la représentation des connaissances dans les réseaux de gènes. Thèse, UT3 Paul Sabatier, avril, 2014.

F. Rodolfo and B. , Optimization techniques for the detection and re-identification of people in a network of cameras. Thèse, UT3 Paul Sabatier, 2018.

P. Morin, Scheduling and scheduling of projects under complex resource constraints. Thèse, UT3 Paul Sabatier, 2018.
URL : https://hal.archives-ouvertes.fr/tel-02053199

I. Hamaz, Robust optimization methods for cyclic scheduling problems, UT3 Paul Sabatier, December 2018
URL : https://hal.archives-ouvertes.fr/tel-01975512

P. Coupechoux, Codes and subtraction and pursuit games in graphs, 2018.
URL : https://hal.archives-ouvertes.fr/tel-01946975

A. Ulrich-matchi, Privacy-Enhancing Technologies for Ridesharing. Thèse, UT3 Paul Sabatier, 2018.

Y. He, Inventory Routing Problems with Explicit Energy Consideration. Thèse, UT3 Paul Sabatier
URL : https://hal.archives-ouvertes.fr/tel-01675497

C. Carbonnel, Harnessing tractability in constraint satisfaction problems, 2016.
URL : https://hal.archives-ouvertes.fr/tel-01444799

M. Nattaf, Scheduling under energy constraints. Thèse, UT3 Paul Sabatier, 2016.
URL : https://hal.archives-ouvertes.fr/tel-01417288

L. Gloria and V. Suarez, A dynamic programming operator for metaheuristics to solve vehicle routing problems with optional visits, 2016.

N. Chaabane, Search of stable waves in multi-agent transport networks, 2016.
URL : https://hal.archives-ouvertes.fr/tel-01291878

M. Siala, Search, propagation, and learning in sequencing and scheduling problems, 2015.
URL : https://hal.archives-ouvertes.fr/tel-01164291

Y. Gaoua, Mathematical models, non linear and combinatorial optimization techniques for energy management of a multi-source system : toward a real-time implantation for various electrical platforms of hybrid vehicles, 2014.
URL : https://hal.archives-ouvertes.fr/tel-01096744

M. Trojet, Planification d'une chaîne logistique : approche par satisfaction de contraintes dynamiques, 2014.

M. Safi, Lyapunov stability of coupled systems involving a transport equation, 2018.
URL : https://hal.archives-ouvertes.fr/tel-01975119

P. Gilz, Embedded and validated control algorithms for the spacecraft rendezvous. Thèse, UT3 Paul Sabatier, 2018.
URL : https://hal.archives-ouvertes.fr/tel-01922288

T. Weisser, Computing Approximations and Generalized Solutions Using Moments and Positive Polynomials. Thèse, UT3 Paul Sabatier, 2018.
URL : https://hal.archives-ouvertes.fr/tel-02146670

F. Niel, Modeling and control of a wing at low Reynolds number with high amplitude aeroelastic oscillations. Thèse, Institut Supérieur de l'Aéronautique et de l'Espace (ISAE), 2018.
URL : https://hal.archives-ouvertes.fr/tel-01763500

C. Gazzino, Station keeping strategies for an all-electric geostationary satellite. Thèse, UT3 Paul Sabatier, 2018.

R. Hess, Some approximation schemes in polynomial optimization, UT3 Paul Sabatier, September 2017
URL : https://hal.archives-ouvertes.fr/tel-01809192

H. Leduc, Robust adaptive control. Application to satellite attitude control, 2017.
URL : https://hal.archives-ouvertes.fr/hal-01388231

L. Iglesias, Guidance and robust control methods for the approach phase between two orbital vehicles with coupling between translational and rotational motions. Thèse, UT3 Paul Sabatier, 2017.

S. Zabi, On the modeling and control of anesthesia in clinical settings. Thèse, UT3 Paul Sabatier, 2016.
URL : https://hal.archives-ouvertes.fr/tel-01417231

L. Dal and C. , On distributed control analysis and design for Multi-Agent systems subject to limited information, 2016.
URL : https://hal.archives-ouvertes.fr/tel-01596162

W. Zouaoui, Control design for energy aware communication networks, 2016.
URL : https://hal.archives-ouvertes.fr/tel-01280075

O. Mokrenko, Energy management of a Wireless Sensor Network at application level. Thèse, UT3 Paul Sabatier, 2015.
URL : https://hal.archives-ouvertes.fr/tel-01239300

F. Ferrante, On quantization and sporadic measurements in control systems : stability, stabilization, and observer design, 2015.
URL : https://hal.archives-ouvertes.fr/tel-01261508

P. Mathieu, A contribution to analysis and modeling of NO and N2O emissions during nitritation. Thèse, INSA Toulouse, 2015.

H. Ma, Using chaos to enhance multiuser time-of-arrival estimation : Application to UWB ranging systems, 2014.
URL : https://hal.archives-ouvertes.fr/tel-01067173

A. Luzi, Commande variante dans le temps pour le contrôle d'attitude de satellites, 2014.

S. Naldi, Exact algorithms for determinantal varieties and semidefinite programming. Thèse, INSA Toulouse, 2015.
URL : https://hal.archives-ouvertes.fr/tel-01212502

Q. Gaudel, Approche int?rée de diagnostic et de pronostic pour la gestion de santé des systèmes hybrides sous incertitude

C. Zuniga, Structural analysis for the diagnosis of distributed systems
URL : https://hal.archives-ouvertes.fr/tel-01831257

G. Vinson, Mise en place d'un projet Health Monitoring pour les Actionneurs Electro-mécaniques et Electro-hydrauliques, 2014.

M. Pham, Méthodes de détection des régions cancéreuses dans des images obtenues par tomographie calculée. Thèse, UT3 Paul Sabatier, septembre, 2015.

H. Gougam, Analyse de l'impact du temps sur la diagnosticabilité des systèmesÃévénements discrets, vol.2015

E. Roux, Développement d'un outil d'aide au diagnostic pour la production de maïs permettant la réduction de la consommation en eaux d'irrigation et en traitements phytosanitaires, vol.2015

T. Montrousseau, Développement du système d'analyse des données recueillies par les capteurs et choix du groupement de capteurs optimal pour le suivi de la cuisson des aliments dans un four, 2016.

G. Scano, Calcul d'itinéraires multiples et de trajets synchronisés dans des réseaux de transport multimodaux, vol.2016

J. Camino, Co-optimisation charge utile satellite et système télécom, 2017.

M. Capelle, Optimisation pour les communications optiques dans les systèmes d'observation de la Terre, vol.2018

K. Feltekh, Spectral analysis of chaotic signals, 2014.
URL : https://hal.archives-ouvertes.fr/tel-01071919

O. Lopez and S. , Contribution to the DC-AC conversion in photovoltaic systems : Module oriented converters, 2015.
URL : https://hal.archives-ouvertes.fr/tel-01146805

M. Maïga, Preventive monitoring of hybrid systems in a bounded-error framework, 2015.

R. Serra, Orbital proximity operations : evaluation of collision risk and computation of optimal maneuvers for avoidance and rendezvous, 2015.
URL : https://hal.archives-ouvertes.fr/tel-01261497

C. Ternon, Modélisation métabolique dynamique de la production de molécules d'intérêt par Cupriavidus necator, 2016.

A. Cheref, Méthodes de recherche opérationnelle pour la résolution de problèmes intégrés d'ordonnancement de la production et de distribution, 2017.

G. Davy, Generation of codes and provable annotations of interior-point algorithms for critical embedded systems, 2018.
URL : https://hal.archives-ouvertes.fr/tel-02190142

M. Cocetti, Nonlinear and Hybrid Feedbacks with Continuous-Time Linear Systems, 2019.
URL : https://hal.archives-ouvertes.fr/tel-02147893

M. Barreau, Stability analysis of coupled ordinary differential systems with a string equation -Application to a Drilling Mechanism, 2019.
URL : https://hal.archives-ouvertes.fr/tel-02194414

S. Hadjeras, Hybrid control of power converters. Thèse, UT3 Paul Sabatier, 2019.
URL : https://hal.archives-ouvertes.fr/tel-02264246

F. Bréhard, Certified numerics in function spaces : Polynomial approximations meet computer algebra and formal proof, 2019.