Pierre-Alain YVARS
Professeur des Universités
ISAE-Supméca
Laboratoire Quartz
57
Documents
Affiliations actuelles
- 204814
- 424268
Identifiants chercheurs
- pierre-alain-yvars
- 0000-0002-7131-6796
Compétences
Synthèse de systèmes
programmation par contraintes
optimisation
Modélisation de problème de conception de système
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-04397927v1
|
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-03716465v1
|
|
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-03838521v1
|
|
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-03837064v1
|
|
|
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-03838594v1
|
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-03838638v1
|
|
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-03957544v1
|
|
|
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-02981893v1
|
|
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-01933261v1
|
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-01597167v1
|
|
Application of set-based-approach for the global sizing of an active Mcpherson suspension systemCMSM, 2017, Hammamet, Tunisia
Communication dans un congrès
hal-01597151v1
|
|
|
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-01361632v1
|
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-03359370v1
|
|
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-01910900v1
|
|
|
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-01166594v1
|
|
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-01065137v1
|
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-01786631v1
|
|
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-00802225v1
|
|
|
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-00728620v1
|
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-00801027v1
|
|
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-00802221v1
|
|
|
Inverse method for porous material characterization using the constraint satisfaction problem approachAcoustics 2012, Apr 2012, Nantes, France
Communication dans un congrès
hal-00810818v1
|
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-01723894v1
|
|
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-03620907v1
|
|
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-02953663v1
|
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-03254106v1
|