Pierre-Alain Yvars

According to our database, Pierre-Alain Yvars authored at least 16 papers between 1997 and 2024.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of four.

2024

DEPS: a model- and property-based language for system synthesis problems.

Pierre-Alain Yvars, Laurent Zimmer

Softw. Syst. Model., August, 2024

Constraint Programming for Logic controller Synthesis.

Mathieu Roisin, Pierre-Alain Yvars, Bernard Riera

Proceedings of the 10th International Conference on Control, 2024

2021

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

Comput. Ind., 2021

Integration of Constraint Programming and Model-Based Approach for System Synthesis.

Pierre-Alain Yvars, Laurent Zimmer

Proceedings of the IEEE International Systems Conference, 2021

2014

Resolving Design Conflicts and Evaluating Solidarity in Distributed Design.

Baris Canbaz, Bernard Yannou, Pierre-Alain Yvars

IEEE Trans. Syst. Man Cybern. Syst., 2014

Preventing design conflicts in distributed design systems composed of heterogeneous agents.

Baris Canbaz, Bernard Yannou, Pierre-Alain Yvars

Eng. Appl. Artif. Intell., 2014

Systemic optimization of an active vibration micro-isolator: An interval computation and constraint propagation based approach.

Yann Meyer, Pierre-Alain Yvars, Thierry Verdot

Proceedings of the IEEE/ASME International Conference on Advanced Intelligent Mechatronics, 2014

2013

A usage coverage-based approach for assessing product family design.

Jiliang Wang, Bernard Yannou, Fabrice Alizon, Pierre-Alain Yvars

Eng. Comput., 2013

Constraint based approach for the steady-state simulation of complex systems: Application to ship control.

Vincent Larroudé, Raphaël Chenouard, Pierre-Alain Yvars, Dominique Millet

Eng. Appl. Artif. Intell., 2013

2012

A constraint programming approach for generating firing sequences in timed Petri nets with token identification.

Yongliang Huang, Thomas Bourdeaud'huy, Pierre-Alain Yvars, Armand Toguyéni

Proceedings of the 11th International Workshop on Discrete Event Systems, 2012

2010

A Constraint-Based Approach to the Composition Relation Management of a Product Class in Design.

Pierre-Alain Yvars

J. Comput. Inf. Sci. Eng., 2010

2009

A CSP approach for the network of product lifecycle constraints consistency in a collaborative design context.

Pierre-Alain Yvars

Eng. Appl. Artif. Intell., 2009

1999

A Priori Verification of Product Models in Mechanical Design.

Florence Sellini, Pierre-Alain Yvars

Proceedings of the Validation and Verification of Knowledge Based Systems, 1999

Veri-KoMoD: Verification of Knowledge Models in the Mechanical Design Field.

Florence Sellini, Pierre-Alain Yvars

Proceedings of the Knowledge Acquisition, Modeling and Management, 11th European Workshop, 1999

1998

Modèles objet & représentation déclarative du produit en conception mécanique.

Florence Sellini, Pierre-Alain Yvars

Obj. Logiciel Base données Réseaux, 1998

1997

Considerations About Validation of Knowledge Models in KBE Systems.

Florence Sellini, Catalina Vargas, Pierre-Alain Yvars

Proceedings of the Fourth European Symposium on the Validation and Verification of Knowledge-Based Systems, 1997