Pierre-Alain YVARS

Professeur des Universités ISAE-Supméca Laboratoire Quartz
61
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

Image document

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-05361727 v1
Image document

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-05244974 v1
Image document

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-05382928 v1
Image document

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

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

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-03838521 v1
Image document

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

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

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

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-03957544 v1
Image document

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

Diampovesa Sephora , Arnaud Hubert , Pierre-Alain Yvars
Symposium de Génie Electrique, Université de Lorraine [UL], Jul 2018, Nancy, France
Communication dans un congrès hal-02981893 v1
Image document

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, Jul 2018, Nancy, France
Communication dans un congrès hal-01933261 v1

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

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-01597151 v1
Image document

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

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-03359370 v1
Image document

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

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-01910900 v1
Image document

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

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-01786631 v1
Image document

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

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-00802225 v1
Image document

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

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

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

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

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

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

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

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-04382386 v1
Image document

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

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

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

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-03799143 v1
Image document

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

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

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

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

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-01597125 v1
Image document

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

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

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-01597142 v1
Image document

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

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-01903201 v1
Image document

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-01814175 v1
Image document

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-01814169 v1
Image document

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-01814166 v1
Image document

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-00801604 v2

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

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

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

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

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-03352322 v1
Image document

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

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

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

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

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

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