Accéder directement au contenu

Pierre-Alain YVARS

Professeur des Universités ISAE-Supméca Laboratoire Quartz
57
Documents
Affiliations actuelles
  • 204814
  • 424268
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

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

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

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

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
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-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
Communication dans un congrès hal-01933261v1

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

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

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

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

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

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

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

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

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⟩
Article dans une revue hal-03798676v1

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
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-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
Article dans une revue 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⟩
Article dans une revue 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 , Mohamed Haddar
Mechanism and Machine Theory, 2015, 84, pp.67-89. ⟨10.1016/j.mechmachtheory.2014.09.013⟩
Article dans une revue 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⟩
Article dans une revue hal-01912051v1

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
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-01814166v1
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-01814169v1
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-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

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

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

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