Access content directly

Pierre-Alain YVARS

Professeur des Universités ISAE-Supméca Laboratoire Quartz
57
Documents
Current affiliations
  • 204814
  • 424268
Researcher identifiers
Contact

Skills

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

Publications

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⟩
Journal articles hal-04382386v1

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⟩
Journal articles 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⟩
Journal articles hal-04382427v1

Towards 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⟩
Journal articles hal-03798676v1

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⟩
Journal articles 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⟩
Journal articles hal-03799143v1
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⟩
Journal articles 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⟩
Journal articles 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⟩
Journal articles 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
Journal articles hal-01597125v1
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⟩
Journal articles hal-01401947v1

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
Journal articles hal-01597142v1

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⟩
Journal articles hal-01587674v1
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⟩
Journal articles hal-01912051v1
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⟩
Journal articles hal-01814166v1
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⟩
Journal articles 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⟩
Journal articles hal-01903201v1
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⟩
Journal articles hal-01814169v1

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⟩
Journal articles hal-01911017v1
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⟩
Journal articles 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⟩
Journal articles hal-00748902v1

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
Journal articles hal-01723875v1

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⟩
Journal articles hal-03352322v1
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⟩
Journal articles hal-00748702v1

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
Journal articles hal-01723884v1

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
Journal articles hal-04382451v1

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

Pierre-Alain Yvars
Journal of Decision Systems, 2010, 19 (1)
Journal articles hal-04382456v1

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)
Journal articles hal-04382444v1

Using constraint satisfaction for designing mechanical systems

Pierre-Alain Yvars
International Journal on Interactive Design and Manufacturing (IJIDeM), 2008, 2 (3)
Journal articles hal-04382460v1
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
Conference papers hal-04397927v1

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
Conference papers 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
Conference papers hal-03838521v1
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
Conference papers 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
Conference papers hal-03838638v1

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⟩
Conference papers 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
Conference papers hal-03957544v1
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
Conference papers hal-02981893v1
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
Conference papers 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
Conference papers 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
Conference papers hal-01597167v1
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
Conference papers hal-01361632v1

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
Conference papers hal-03359370v1
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
Conference papers hal-01166594v1
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⟩
Conference papers hal-01065137v1

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⟩
Conference papers hal-01910900v1

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
Conference papers hal-01786631v1
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
Conference papers hal-00810818v1

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⟩
Conference papers hal-00801027v1

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⟩
Conference papers hal-00802221v1
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
Conference papers 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
Conference papers hal-00802225v1

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
Conference papers 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⟩
Conference papers 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
Conference papers hal-02953663v1

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⟩
Book sections hal-03254106v1