Pierre-Alain YVARS Professeur des UniversitésISAE-SupmécaLaboratoire Quartz

Identifiants chercheurs

IdHAL :

pierre-alain-yvars

ORCID :

0000-0002-7131-6796

Publications

Communication dans un congrès (30)

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

Article dans une revue (30)

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

Chapitre d'ouvrage (1)

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

Pré-publication, Document de travail (1)

Bénéfices et limites d'une approche CSP/ACV pour l'écoconception de systèmes complexes ; application à une navette maritime à motorisation hybride Application navette maritime Nicolas Tchertchian,Pierre-Alain Yvars,Dominique Millet 2012 Pré-publication, Document de travail hal-00832425v1

Rapport (1)

Bénéfices et limites d'une approche CSP/ACV pour l'écoconception de systèmes complexes; application à une navette maritime à motorisation hybride Application navette maritime Nicolas Tchertchian,Pierre-Alain Yvars,Dominique Millet [Rapport de recherche] SUPMECA. 2012 Rapport (rapport de recherche) hal-01723883v1