Kleiner | Laboratoire d'Ingénierie des Systèmes Physiques Et Numériques

Mathias

Kleiner

Campus

Aix

Statut

Maître de Conférences

Mail : mathias.kleiner @ ensam.eu

Biographie

Maître de conférences. Doctorat en informatique de l'université de la Méditerranée.

Co-responsable de la discipline Mathématique-Informatique sur le campus d'Aix-en-Provence.

Responsable pédagogique des partenariats avec l'Amérique Latine hispanophone.

Expertise

Mes travaux de recherche portent sur la représentation des connaissances et le raisonnement automatique, en particulier sous la forme de graphes typés, attribués et contraints. Je m'intéresse à la fois aux aspects théoriques, algorithmiques et applicatifs. Des variantes de ce concept existent dans la littérature des variantes sous différents noms (configuration, graphes conceptuels, CSP génératifs, recherche de (meta-)modèles finis, etc.).

Le raisonnement porte généralement sur la génération de graphes et comporte de nombreux défis: combinatoire, symétries, mixité discret/continu, optimisation, etc.

Exemple de recherche de graphe

Grâce à leur puissance expressive (logique du second ordre), ces méthodes ont un vaste champ applicatif. Je me suis notamment intéressé au génie logiciel ( Model Operations as Search : https://gitlab.massidia.net/mos ), à la composition de processus, au traitement du langage naturel.

Dans le cadre des thématiques spécifiques du LISPEN, je propose leur utilisation pour l'échange de connaissances entre disciplines dans le cadre de l'ingénierie des systèmes multi-physiques ou cyber-physiques ( FARFADET : https://gitlab.massidia.net/farfadet ).

Publications

Kleiner M, Roucoules L.

FARFADET: contribution to consistency management in multi-physical systems engineering.

Multi-physical systems engineering is often based on multiple views to integrate different expertises. Nevertheless, current approaches of integration based on either a unified model or ad-hoc data exchange suffer from agility and interoperability issues. Multi-paradigm modelling approaches offer po…

International Journal of Computer Integrated Manufacturing. 2025;38(12):1870-1887.

DOI : 10.1080/0951192X.2025.2461024

Hu H, Kleiner M, Pernot J, Zhang C, Huang Y, Zhao Q et al.

Geometric Over-Constraints Detection: A Survey.

Currently, geometric over-constraints detection is of major interest in several different fields. In terms of product development process (PDP), many approaches exist to compare and detect geometric over-constraints, to decompose geometric systems, to solve geometric constraints systems. However, mo…

Archives of Computational Methods in Engineering. 2021;28(7):4331-4355.

DOI : 10.1007/s11831-020-09509-y

Ahmed A, Kleiner M, Roucoules L.

Model-based Interoperability IoT Hub for theSupervision of Smart Gas Distribution Networks.

Industrial monitoring environments have evolved from single monolithic systems to widely distributed heterogeneous systems. These include the Internet of Things (IoT), Industrial IoT, Cyber-Physical Systems, and Enterprise Application. One of the key challenges is the integration of heterogeneous sy…

IEEE Systems Journal. 2019;13(2):1526-1533.

Kleiner M, Didonet del Fabro M.

A generic approach to model generation operations.

Model generation operations are important artifacts in MDE applications. These approaches can be used for model veriﬁcation, model ﬁnding, and others. In many scenarios, model transformations can as well be represented by a model generation operation. This often comes with the advantage of being bid…

Journal of Systems and Software. 2018;142:136-155.

DOI : 10.1016/j.jss.2018.04.053

Kleiner M, Didonet del Fabro M.

A generic approach to model generation operations.

Model generation operations are important artifacts in MDE applications. These approaches can be used for model verification, model finding, and others. In many scenarios, model transformations can as well be represented by a model generation operation. This often comes with the advantage of being b…

Journal of Systems and Software. 2018;142:136–155.

DOI : 10.1016/j.jss.2018.04.053

Hu H, Kleiner M, Pernot J.

Over-constraints detection and resolution in geometric equation systems.

This paper proposes an original decision-support approach to address over-constrained geometric configurations in Computer-Aided Design. It focuses particularly on the detection and resolution of redundant and conflicting constraints when deforming free-form surfaces made of NURBS patches. Based on …

Computer-Aided Design. 2017;90:84-94.

DOI : 10.1016/j.cad.2017.05.019

Pirayesh Neghab A, Etienne A, Kleiner M, Roucoules L.

Performance evaluation of collaboration in the design process: Using interoperability measurement.

A design process, whether for a product or for a service, is composed of a large number of activities connected by data and information exchanges. The quality of these exchanges, called in this paper collaboration, requires the ability to exchange useful, understandable and unambiguous data and info…

Computers in Industry. 2015;72:14-26.

DOI : 10.1016/j.compind.2015.03.011

Iraqi-Houssaini M, Kleiner M, Roucoules L.

Vers une ingénierie produit collaborative et interopérable basée sur les modèles. Un cadre général pour l’acquisition des données métier.

Depuis plusieurs années les processus de conception de produit ont évolué, la maîtrise de l’information est devenue un verrou majeur à contrôler pour une collaboration efficace. Afin de favoriser cette collaboration, il est nécessaire de formaliser les processus et les données métier dans un environ…

Revue des Sciences et Technologies de l'Information - Série ISI : Ingénierie des Systèmes d'Information. 2012;17(14):79-94.

Norton B, Pedrinaci C, Henocque L, Kleiner M.

3-Level Behavioural Models for Semantic Web Services.

There are two types of behavioural model in the WSMO semantic description of services: an orchestration and a choreography, together called the interface. While an orchestration defines a service's behaviour as a composition of existing parts, a choreography is intended to document the conversation …

International Transactions on Systems Science and Applications. 2008;340-355.