
Pierre-Alain YVARS
Professeur des Universités
ISAE-Supméca
Laboratoire Quartz
58
Documents
Affiliations actuelles
- Laboratoire d'Ingénierie des Systèmes Mécaniques et des MAtériaux (LISMMA)
- Laboratoire QUARTZ (QUARTZ)
Identifiants chercheurs
Compétences
Synthèse de systèmes
programmation par contraintes
optimisation
Modélisation de problème de conception de système
Publications
Publications
|
Une méthode, un langage et un environnement pour la modélisation et la résolution de problème de conception de systèmeS-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
|
Synthesis of software architecture for the control of embedded electrical generation and distribution system for aircraft under safety constraints: The case of simple failuresCIGI QUALITA 2021, May 2021, Grenoble, France
Communication dans un congrès
hal-03838521
v1
|
|
Modélisation d’un problème de conception en vue de réutilisabilité. Exemple d’une batterie Li-ionSymposium de Génie Electrique (SGE 2020), Jul 2021, Nantes, France
Communication dans un congrès
hal-03716465
v1
|
|
|
DEPS Studio : Un environnement intégré de modélisation et de résolution pour la synthèse de système20è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 complexesConfé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 Synthesis2021 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 securityAvionics Architecture Synthesis CSDM2020, Dec 2020, on line edition, France
Communication dans un congrès
hal-03957544
v1
|
|
|
Nouveaux outils de synthèse pour la conception préliminaire et le choix d'architecture. Application à un moteur brushless3ème édition du Symposium de Génie Electrique SGE 2018, Jul 2018, Nancy, France
Communication dans un congrès
hal-01933261
v1
|
|
Nouveaux outils de synthèse pour la conception préliminaire et le choix d'architecture. Application à un moteur brushless.Symposium de Génie Electrique, Université de Lorraine [UL], Jul 2018, Nancy, France
Communication dans un congrès
hal-02981893
v1
|
Application of set-based-approach for the global sizing of an active Mcpherson suspension systemCMSM, 2017, Hammamet, Tunisia
Communication dans un congrès
hal-01597151
v1
|
|
Modélisation d’exigences pour la synthèse d’architecture avionique : Application à la sûreté de fonctionnementAFADL, 2017, Montpellier, France
Communication dans un congrès
hal-01597167
v1
|
|
|
Conception préliminaire optimale des systèmes électriques. Une approche par synthèseSymposium 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 isolationXIX Symposium VISHNO - Vibrations, Shocks and Noise, Jun 2014, Aix-en-Provence, France
Communication dans un congrès
hal-03359370
v1
|
|
|
How to improve environmental performance by negotiating functional specifications of complex system?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
|
|
DEPS : UN LANGAGE POUR LA SPECIFICATION DE PROBLEMES DE CONCEPTION DE SYSTEMESMOSIM 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 approach2014 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
|
|
Expanding the bottom-up design approach through integrating design attitudes into set-based designIDETC: International Design Engineering Technical Conferences / DTM Design Theory and Methodology, Aug 2013, Portland, United States
Communication dans un congrès
hal-01786631
v1
|
|
|
A CONSTRAINT PROGRAMMING MODEL FOR SOLVING REACHABILITY PROBLEM IN TIMED PETRI NETS9th 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 netsInternational Conference of Modeling, Optimization and Simulation, Jun 2012, France
Communication dans un congrès
hal-00802225
v1
|
|
|
Inverse method for porous material characterization using the constraint satisfaction problem approachAcoustics 2012, Apr 2012, Nantes, France
Communication dans un congrès
hal-00810818
v1
|
|
Using Constraint Programming for Solving the Reachability Problem in Timed Petri Nets: Evaluation of Basic Labeling Strategies14th 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
|
|
A Constraint Programming Approach for Generating Firing Sequences in Timed Petri Nets With Token IdentificationInternational 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
|
GLOBAL OPTIMIZATION OF ENVIRONMENTAL IMPACT BY A CONSTRAINT SATISFACTION APPROACH−APPLICATION TO SHIP-ECODESIGNDS 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 methodIndustrial 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 platformInternational Conference on Integrated Design and Manufacturing in Mechanical Engineering, Oct 2008, Beijing, China
Communication dans un congrès
hal-02953663
v1
|
Application of Set-based-approach for the Global Sizing of an Active Macpherson Suspension SystemLecture 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
|
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[Rapport de recherche] SUPMECA. 2012
Rapport
(rapport de recherche)
hal-01723883
v1
|
Chargement...
Chargement...