Pierre-Alain YVARS

Professeur des Universités ISAE-Supméca Laboratoire Quartz
63
Documents
Affiliations actuelles
  • Laboratoire d'Ingénierie des Systèmes Mécaniques et des MAtériaux (LISMMA)
  • Laboratoire QUARTZ (QUARTZ)
Identifiants chercheurs
Contact

Compétences

Synthèse de systèmes programmation par contraintes optimisation Modélisation de problème de conception de système

Publications

Publications

Deposit thumbnail

Optimisation lexicographique pseudo-booléenne : Une contrainte globale

Pierre-Alain Yvars , Roisin Mathieu , David Annebicque , Bernard Riera

ROADEF 2026, Université de Tours [UT], Feb 2026, Tours, France

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

Synthèse de système à base de modèles pour le dimensionnement d'un drone quadricoptère

Pierre-Alain Yvars , Laurent Zimmer

Colloque S.Mart 2025, GIS S.Mart RAO, May 2025, Vogüé (Ardèche - France), France

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

Constraint Programming for Logic controller Synthesis

Mathieu Roisin , Pierre-Alain Yvars , Bernard Riera

2024 10th International Conference on Control, Decision and Information Technologies (CoDIT), Jul 2024, Vallette, Malta. pp.1843-1848, ⟨10.1109/codit62066.2024.10708360⟩

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

De la modélisation par intension du problème de commande logique à la génération de code ST (IEC 61131-3)

Mathieu Roisin , Dimitri Renard , David Annebicque , Pierre-Alain Yvars , Bernard Riera

Modélisation des système réactifs (MSR'25), Nov 2025, Reims, France

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

From Algebraic Synthesis and GRAFCET to Logical Controller Design in ST Code (IEC 61131-3)

Mathieu Roisin , Dimitri Renard , David Annebicque , Bernard Riera , Pierre-Alain Yvars

22nd international conference on information in control, automation and robotics (ICINCO 2025), Oct 2025, Marbella, Spain

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

Synthèse de système à base de modèles pour la conception de contrôleur logique correct par construction

Mathieu Roisin , David Annebicque , Pierre-Alain Yvars , Bernard Riera

S.mart 2025, May 2025, Voguë, France

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

Une méthode, un langage et un environnement pour la modélisation et la résolution de problème de conception de système

Pierre-Alain Yvars , Laurent Zimmer

S-MART 2023 : 18ème Colloque national S.mart, Arts et Métiers Paristech ENSAM Aix-en-Provence, Université de Toulon [UTLN], Apr 2023, Carry-le-Rouet, France

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

DEPS Studio : Un environnement intégré de modélisation et de résolution pour la synthèse de système

Laurent Zimmer , Pierre-Alain Yvars

20ème journées AFADL, Approche Formelle dans l’Assistance au Développement de Logiciel, Jun 2021, Montpellier, France

Communication dans un congrès hal-03838594v1

Contraintes, objets et ontologies pour la conception de systèmes complexes

Laurent Zimmer , Pierre-Alain Yvars

Conférence Nationale sur les Applications pratiques de l’Intelligence Artificielle, dans le cadre de la plateforme IA, PFIA, Jun 2021, Bordeaux, France

Communication dans un congrès hal-03838638v1

Modélisation d’un problème de conception en vue de réutilisabilité. Exemple d’une batterie Li-ion

Diampovesa Sephora , Arnaud Hubert , Pierre-Alain Yvars

Symposium de Génie Electrique (SGE 2020), Jul 2021, Nantes, France

Communication dans un congrès hal-03716465v1

Synthesis of software architecture for the control of embedded electrical generation and distribution system for aircraft under safety constraints: The case of simple failures

Laurent Zimmer , Pierre-Alain Yvars

CIGI QUALITA 2021, May 2021, Grenoble, France

Communication dans un congrès hal-03838521v1

Integration of Constraint Programming and Model-Based Approach for System Synthesis

Pierre-Alain Yvars , Laurent Zimmer

2021 IEEE International Systems Conference (SysCon), Apr 2021, Vancouver, Canada. pp.1-8, ⟨10.1109/SysCon48628.2021.9447096⟩

Communication dans un congrès hal-03837064v1

Models of requirements for avionics architecture synthesis: safety, capacity and security

Laurent Zimmer , Pierre-Alain Yvars , Michaël Lafaye

Avionics Architecture Synthesis CSDM2020, Dec 2020, on line edition, France

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

Nouveaux outils de synthèse pour la conception préliminaire et le choix d'architecture. Application à un moteur brushless

Sephora Diampovesa , Arnaud Hubert , Pierre-Alain Yvars

3ème édition du Symposium de Génie Electrique SGE 2018, Université de Lorraine [UL], Jul 2018, Nancy, France

Communication dans un congrès hal-01933261v1

Application of set-based-approach for the global sizing of an active Mcpherson suspension system

Hassen Trabelsi , Pierre-Alain Yvars , Jamel Louati , Mohamed El Haddar

CMSM, 2017, Hammamet, Tunisia

Communication dans un congrès hal-01597151v1

Modélisation d’exigences pour la synthèse d’architecture avionique : Application à la sûreté de fonctionnement

Laurent Zimmer , Michaël Lafaye , Pierre-Alain Yvars

AFADL, 2017, Montpellier, France

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

Conception préliminaire optimale des systèmes électriques. Une approche par synthèse

Arnaud Hubert , Pierre-Alain Yvars , Yann Meyer , Laurent Zimmer

Symposium de Genie Electrique, Jun 2016, Grenoble, France

Communication dans un congrès hal-01361632v1

Systemic optimization of an active vibration micro-isolator: An interval computation and constraint propagation based approach

Yann Meyer , Pierre-Alain Yvars , Thierry Verdot

2014 IEEE/ASME International Conference on Advanced Intelligent Mechatronics (AIM), Jul 2014, Besancon, France. ⟨10.1109/AIM.2014.6878131⟩

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

DEPS : UN LANGAGE POUR LA SPECIFICATION DE PROBLEMES DE CONCEPTION DE SYSTEMES

Pierre-Alain Yvars , Laurent Zimmer

MOSIM 2014, 10ème Conférence Francophone de Modélisation, Optimisation et Simulation, Nov 2014, Nancy, France

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

How to improve environmental performance by negotiating functional specifications of complex system?

Nicolas Tchertchian , Dominique Millet , Pierre-Alain Yvars

21st CIRP Conference on Life Cycle Engineering, Jun 2014, Trondheim, Norway. pp.449-454, ⟨10.1016/j.procir.2014.06.088⟩

Communication dans un congrès hal-01065137v1

Interval computation and constraint propagation based optimization approach: Application to active vibration isolation

Yann Meyer , Pierre-Alain Yvars

XIX Symposium VISHNO - Vibrations, Shocks and Noise, Jun 2014, Aix-en-Provence, France

Communication dans un congrès hal-03359370v1

Expanding the bottom-up design approach through integrating design attitudes into set-based design

Baris Canbaz , Bernard Yannou , Pierre-Alain Yvars

IDETC: International Design Engineering Technical Conferences / DTM Design Theory and Methodology, Aug 2013, Portland, United States

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

A CONSTRAINT PROGRAMMING MODEL FOR SOLVING REACHABILITY PROBLEM IN TIMED PETRI NETS

Yongliang Huang , Thomas Bourdeaud'Huy , Pierre-Alain Yvars , Armand Toguyeni

9th International Conference on Modeling, Optimization & SIMulation, Jun 2012, Bordeaux, France

Communication dans un congrès hal-00728620v1

A constraint programming model for solving reachability problem in timed Petri nets

Yongliang Huang , Thomas Bourdeaud'Huy , Pierre-Alain Yvars , Armand Toguyeni

International Conference of Modeling, Optimization and Simulation, Jun 2012, France

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

Inverse method for porous material characterization using the constraint satisfaction problem approach

Nicolas Dauchez , Pierre-Alain Yvars

Acoustics 2012, Apr 2012, Nantes, France

Communication dans un congrès hal-00810818v1

A Constraint Programming Approach for Generating Firing Sequences in Timed Petri Nets With Token Identification

Yongliang Huang , Thomas Bourdeaud'Huy , Armand Toguyeni , Pierre-Alain Yvars

International Workshop on Discrete Event Systems, Oct 2012, Mexico. pp.149-156, ⟨10.3182/20121003-3-MX-4033.00026⟩

Communication dans un congrès hal-00802221v1

Using Constraint Programming for Solving the Reachability Problem in Timed Petri Nets: Evaluation of Basic Labeling Strategies

Yongliang Huang , Thomas Bourdeaud'Huy , Pierre-Alain Yvars , Armand Toguyeni

14th IFAC Symposium on Information Control Problems in Manufacturing, May 2012, Bucarest, Romania. pp.160-166, ⟨10.3182/20120523-3-RO-2023.00216⟩

Communication dans un congrès hal-00801027v1

GLOBAL OPTIMIZATION OF ENVIRONMENTAL IMPACT BY A CONSTRAINT SATISFACTION APPROACH−APPLICATION TO SHIP-ECODESIGN

Vincent Larroude , Pierre-Alain Yvars , Dominique Millet

DS 68-5: Proceedings of the 18th International Conference on Engineering Design (ICED 11), Impacting Society through Engineering Design, Vol. 5: Design for X/Design to X, Lyngby/Copenhagen, Denmark, 15.-19.08. 2011, 2011, Unknown, Unknown Region

Communication dans un congrès hal-01723894v1

Optimization of mechanical system: Contribution of constraint satisfaction method

Pierre-Alain Yvars , Pascal Lafon , Laurent Zimmer

Industrial Engineering (CIE39), Jul 2009, Troyes, France. pp.1379-1384, ⟨10.1109/ICCIE.2009.5223678⟩

Communication dans un congrès hal-03620907v1

A CSP approach for managing Design Change Order in a PLM platform

Guillaume Ducellier , Pierre-Alain Yvars , Benoit Eynard

International Conference on Integrated Design and Manufacturing in Mechanical Engineering, Oct 2008, Beijing, China

Communication dans un congrès hal-02953663v1

A Model-Based Systems Synthesis approach to set and solve a deployment problem of software functions on a heterogeneous embedded hardware architecture

Stephen Creff , Pierre-Alain Yvars , Laurent Zimmer , Jérôme Le Noir , Sébastien Madelénat

IEEE Transactions on Systems, Man, and Cybernetics: Systems, In press, ⟨10.1109/TSMC.2025.3564655⟩

Article dans une revue hal-05057537v1

DEPS: a model- and property-based language for system synthesis problems

Pierre-Alain Yvars , Laurent Zimmer

Software and Systems Modeling, 2023, ⟨10.1007/s10270-023-01129-x⟩

Article dans une revue hal-04382386v1
Deposit thumbnail

Toward a correct by construction design of complex systems : The MBSS approach

Pierre-Alain Yvars , Laurent Zimmer

Procedia CIRP, 2022, 109, pp.269-274. ⟨10.1016/j.procir.2022.05.248⟩

Article dans une revue hal-03798676v1

Designing the architecture of electrochemical energy storage systems. A model-based system synthesis approach

Arnaud Hubert , Christophe Forgez , Pierre-Alain Yvars

Journal of Energy Storage, 2022, 54, pp.105351. ⟨10.1016/j.est.2022.105351⟩

Article dans une revue hal-03798664v1

Toward a correct by construction design of complex systems : The MBSS approach

Pierre-Alain Yvars , Laurent Zimmer

Procedia CIRP, 2022, 109, ⟨10.1016/j.procir.2022.05.248⟩

Article dans une revue hal-04382427v1

Using Synthesis and Analysis for Design in Systems Engineering: an Integrated Approach

Sephora Diampovesa , Pierre-Alain Yvars , Arnaud Hubert

INSIGHT - International Council on Systems Engineering (INCOSE), 2021, 24 (4), pp.18-21. ⟨10.1002/inst.12356⟩

Article dans une revue hal-03716309v1

A Model-based Synthesis approach to system design correct by construction under environmental impact requirements

Pierre-Alain Yvars , Laurent Zimmer

Procedia CIRP, 2021, 103, pp.85-90. ⟨10.1016/j.procir.2021.10.013⟩

Article dans une revue hal-03799143v1
Deposit thumbnail

Designing physical systems through a model-based synthesis approach. Example of a Li-ion battery for electrical vehicles

Sephora Diampovesa , Arnaud Hubert , Pierre-Alain Yvars

Computers in Industry, 2021, 129, pp.103440. ⟨10.1016/j.compind.2021.103440⟩

Article dans une revue hal-03716299v1

Optimal design for electromagnetic devices: A synthesis approach using intervals and constraint-based methods

Sephora Diampovesa , Arnaud Hubert , Pierre-Alain Yvars , Yann Meyer , Laurent Zimmer

International Journal of Applied Electromagnetics and Mechanics, 2019, 60, pp.S35-S48. ⟨10.3233/JAE-191104⟩

Article dans une revue hal-03353265v1

System Sizing with a Model-Based Approach: Application to the Optimization of a Power Transmission System

Pierre-Alain Yvars , Laurent Zimmer

Mathematical Problems in Engineering, 2018, 2018, pp.1-14. ⟨10.1155/2018/6861429⟩

Article dans une revue hal-03990702v1
Deposit thumbnail

The influence of the level of definition of functional specifications on the environmental performances of a complex system. EcoCSP approach

Nicolas Tchertchian , Dominique Millet , Pierre-Alain Yvars

International Journal of Sustainable Engineering, 2016, 9 (4), pp.277 - 290. ⟨10.1080/19397038.2015.1085110⟩

Article dans une revue hal-01401947v1

The influence of the level of definition of functional specifications on the environmental performances of a complex system. EcoCSP approach

Nicolas Tchertchian , Dominique Millet , Pierre-Alain Yvars

International Journal of Sustainable Engineering, 2016

Article dans une revue hal-01597125v1

Interval computation and constraint propagation for the optimal design of a compression spring for a linear vehicle suspension system

Hassen Trabelsi , Pierre-Alain Yvars , Jamel Louati , Mohamed Haddar

Mechanism and Machine Theory, 2015, 84, pp.67-89. ⟨10.1016/j.mechmachtheory.2014.09.013⟩

Article dans une revue istex hal-01587674v1

Interval computation and constraint propagation for the optimal design of a compression spring for a linear vehicle suspension system

Hassen Trabelsi , Pierre-Alain Yvars , Jamel Louati , Haddar Mohamed

Mechanism and Machine Theory, 2015

Article dans une revue hal-01597142v1
Deposit thumbnail

Evaluation of the effectiveness of the interval computation method to simulate the dynamic behavior of subdefinite system: application on an active suspension system

Hassen Trabelsi , Pierre-Alain Yvars , Jamel Louati , Mohamed Haddar

International Journal on Interactive Design and Manufacturing, 2015, 9 (2), pp.83 - 96. ⟨10.1007/s12008-014-0210-y⟩

Article dans une revue hal-01912051v1
Deposit thumbnail

Resolving design conflicts and evaluating solidarity in distributed design

Baris Canbaz , Bernard Yannou , Pierre-Alain Yvars

IEEE Transactions on Systems, Man, and Cybernetics: Systems, 2014, 44 (8), pp.1044-1055. ⟨10.1109/TSMC.2013.2296275⟩

Article dans une revue hal-01814175v1

Managing design change order in a PLM platform using a CSP approach

Guillaume Ducellier , Pierre-Alain Yvars , Benoit Eynard

International Journal on Interactive Design and Manufacturing, 2014, 8 (3), pp.151 - 158. ⟨10.1007/s12008-014-0213-8⟩

Article dans une revue hal-01903201v1
Deposit thumbnail

Improving Process Performance of Distributed Set-Based Design Systems by Controlling Wellbeing Indicators of Design Actors

Baris Canbaz , Bernard Yannou , Pierre-Alain Yvars

Journal of Mechanical Design, 2014, 136 (2), pp.021005. ⟨10.1115/1.4026034⟩

Article dans une revue hal-01814169v1
Deposit thumbnail

Preventing design conflicts in distributed design systems composed of heterogeneous agents

Baris Canbaz , Bernard Yannou , Pierre-Alain Yvars

Engineering Applications of Artificial Intelligence, 2014, 28, pp.142-154. ⟨10.1016/j.engappai.2013.11.017⟩

Article dans une revue hal-01814166v1
Deposit thumbnail

Set-based design by simulation of usage scenario coverage

Bernard Yannou , Pierre-Alain Yvars , Christopher Hoyle , Wei Chen

Journal of Engineering Design, 2013, 33 p. ⟨10.1080/09544828.2013.780201⟩

Article dans une revue hal-00801604v2

Constraint based approach for the steady-state simulation of complex systems: Application to ship control

Vincent Larroudé , Raphael Chenouard , Pierre-Alain Yvars , Dominique Millet

Engineering Applications of Artificial Intelligence, 2013, 26 (1), pp.499-514. ⟨10.1016/j.engappai.2012.07.003⟩

Article dans une revue istex hal-00748902v1

CSP approach and interval computation for the coupling between static and dynamic requirements in the preliminary design of a compression spring

Hassen Trabelsi , Pierre-Alain Yvars , Jamel Louati , Mohamed Haddar

Revue Européenne de Mécanique Numérique/European Journal of Computational Mechanics, 2013, 22 (2-4), pp.183 - 197. ⟨10.1080/17797179.2013.820888⟩

Article dans une revue hal-01911017v1

Benefits and limits of a Constraint Satisfaction Problem/Life Cycle Assessment approach for the ecodesign of complex systems: a case applied to a hybrid passenger ferry

Nicolas Tchertchian , Pierre-Alain Yvars , Dominique Millet

Journal of Cleaner Production, 2013, 42, pp.1--18

Article dans une revue hal-01723875v1

A method for identifying the worst recycling case: Application on a range of vehicles in the automotive sector

Dominique Millet , Pierre-Alain Yvars , Pierre Tonnelier

Resources, Conservation and Recycling, 2012, 68, pp.1--13

Article dans une revue hal-01723884v1

Optimization of a passive structure for active vibration isolation: an interval-computation- and constraint-propagation-based approach

Yann Meyer , Pierre-Alain Yvars

Engineering Optimization, 2012, 44 (12), pp.1463-1489. ⟨10.1080/0305215X.2011.652102⟩

Article dans une revue hal-03352322v1
Deposit thumbnail

A Usage Coverage-Based Approach for Assessing Product Family Design

Jiliang Wang , Bernard Yannou , Fabrice Alizon , Pierre-Alain Yvars

Engineering with Computers, 2012, pp.DOI 10.1007/s00366-012-0262-1. ⟨10.1007/s00366-012-0262-1⟩

Article dans une revue istex hal-00748702v1

A Constraint Based Decision Support System for Deadlocks Resolution in Collaborative New Product Design

Pierre-Alain Yvars

Journal of Decision Systems, 2010, 19 (1)

Article dans une revue hal-04382456v1

A Constraint-Based Approach to the Composition Relation Management of a Product Class in Design

Pierre-Alain Yvars

Journal of Computing and Information Science in Engineering, 2010, 10

Article dans une revue hal-04382451v1

A CSP approach for the network of product lifecycle constraints consistency in a Collaborative Design context

Pierre-Alain Yvars

Engineering Applications of Artificial Intelligence, 2009, 22 (6)

Article dans une revue hal-04382444v1

Using constraint satisfaction for designing mechanical systems

Pierre-Alain Yvars

International Journal on Interactive Design and Manufacturing (IJIDeM), 2008, 2 (3)

Article dans une revue hal-04382460v1

Application of Set-based-approach for the Global Sizing of an Active Macpherson Suspension System

Hassen Trabelsi , Pierre-Alain Yvars , Jamel Louati , Mohamed Haddar

Lecture Notes in Mechanical Engineering, 207169, Springer Heidelberg, pp.1081-1091, 2018, 7th Conference on Design and Modeling of Mechanical Systems, CMSM 2017, ⟨10.1007/978-3-319-66697-6_106⟩

Chapitre d'ouvrage hal-03254106v1