|
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
|
|
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
|
|
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
|
|
Integration of Constraint Programming and Model-Based Approach for System Synthesis
Pierre-Alain Yvars
,
Laurent Zimmer
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
|
|
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
|
|
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
|
|
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
|
|
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
|
|
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
|
|
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
|
|
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
|
|
How to improve environmental performance by negotiating functional specifications of complex system?
Nicolas Tchertchian
,
Dominique Millet
,
Pierre-Alain Yvars
Conference papers
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
Conference papers
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
Conference papers
hal-01786631v1
|
|
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
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
Conference papers
hal-00802221v1
|
|
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
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
|