Pierre-Alain YVARS
- Laboratoire d'Ingénierie des Systèmes Mécaniques et des MAtériaux (LISMMA)
- Laboratoire QUARTZ (QUARTZ)
Compétences
Publications
Publications
|
|
Optimisation lexicographique pseudo-booléenne : Une contrainte globaleROADEF 2026, Université de Tours [UT], Feb 2026, Tours, France |
|
|
Synthèse de système à base de modèles pour le dimensionnement d'un drone quadricoptèreColloque S.Mart 2025, GIS S.Mart RAO, May 2025, Vogüé (Ardèche - France), France |
|
|
Constraint Programming for Logic controller Synthesis2024 10th International Conference on Control, Decision and Information Technologies (CoDIT), Jul 2024, Vallette, Malta. pp.1843-1848, ⟨10.1109/codit62066.2024.10708360⟩ |
|
|
De la modélisation par intension du problème de commande logique à la génération de code ST (IEC 61131-3)Modélisation des système réactifs (MSR'25), Nov 2025, Reims, France |
|
|
From Algebraic Synthesis and GRAFCET to Logical Controller Design in ST Code (IEC 61131-3)22nd international conference on information in control, automation and robotics (ICINCO 2025), Oct 2025, Marbella, Spain |
|
|
Synthèse de système à base de modèles pour la conception de contrôleur logique correct par constructionS.mart 2025, May 2025, Voguë, France |
|
|
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 |
|
|
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 |
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 |
|
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 |
|
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 |
|
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⟩ |
|
Models of requirements for avionics architecture synthesis: safety, capacity and securityAvionics Architecture Synthesis CSDM2020, Dec 2020, on line edition, France |
|
|
|
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, Université de Lorraine [UL], Jul 2018, Nancy, France |
Application of set-based-approach for the global sizing of an active Mcpherson suspension systemCMSM, 2017, Hammamet, Tunisia |
|
Modélisation d’exigences pour la synthèse d’architecture avionique : Application à la sûreté de fonctionnementAFADL, 2017, Montpellier, France |
|
|
|
Conception préliminaire optimale des systèmes électriques. Une approche par synthèseSymposium de Genie Electrique, Jun 2016, Grenoble, France |
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⟩ |
|
|
|
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 |
|
|
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⟩ |
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 |
|
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 |
|
|
|
A CONSTRAINT PROGRAMMING MODEL FOR SOLVING REACHABILITY PROBLEM IN TIMED PETRI NETS9th International Conference on Modeling, Optimization & SIMulation, Jun 2012, Bordeaux, France |
A constraint programming model for solving reachability problem in timed Petri netsInternational Conference of Modeling, Optimization and Simulation, Jun 2012, France |
|
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⟩ |
|
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⟩ |
|
|
|
Inverse method for porous material characterization using the constraint satisfaction problem approachAcoustics 2012, Apr 2012, Nantes, France |
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 |
|
Optimization of mechanical system: Contribution of constraint satisfaction methodIndustrial Engineering (CIE39), Jul 2009, Troyes, France. pp.1379-1384, ⟨10.1109/ICCIE.2009.5223678⟩ |
|
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 |
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⟩ |
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 |