WorldCat Identities

Lesage, Jean-Jacques

Overview
Works: 31 works in 51 publications in 3 languages and 153 library holdings
Genres: Conference papers and proceedings 
Roles: Editor, dgs, Thesis advisor, Other, Author, Redactor, Opponent, Publishing director
Classifications: TS155.6, 629.8
Publication Timeline
.
Most widely held works by Jean-Jacques Lesage
Productique : les techniques de l'usinage flexible by Bernard Froment( Book )

7 editions published between 1984 and 1989 in French and held by 40 WorldCat member libraries worldwide

Modélisation des systèmes réactifs : actes de MSR'99 by MSR'99( Book )

4 editions published in 1999 in French and held by 33 WorldCat member libraries worldwide

Modeling and control of complex systems in a dioid framework by Thomas Brunsch( )

1 edition published in 2014 in English and held by 17 WorldCat member libraries worldwide

Fabricación flexible : productividad con series cortas by Bernard Froment( Book )

7 editions published between 1988 and 1989 in Spanish and held by 13 WorldCat member libraries worldwide

Conception de la commande des systèmes de production : contribution à la structuration, application à la conception de la commande d'un atelier flexible by Jean-Jacques Lesage( Book )

2 editions published in 1989 in French and held by 3 WorldCat member libraries worldwide

La méthode de conception présentée s'inspire du génie logiciel et automatique ; elle se compose de 3 phases : la structuration fonctionnelle, organique et opérationnelle
Modelling of reactive systems : MSR'99( Book )

2 editions published in 1999 in Undetermined and French and held by 3 WorldCat member libraries worldwide

Modelling of reactive systems MSR '96( Book )

1 edition published in 1997 in Undetermined and held by 3 WorldCat member libraries worldwide

Discrete event system identification with the aim of fault detection by Marcos V Moreira( )

1 edition published in 2019 in English and held by 2 WorldCat member libraries worldwide

Contribution au diagnostic et pronostic des systèmes à évènements discrets temporisés par réseaux de Petri stochastiques by Rabah Ammour( )

2 editions published in 2017 in French and held by 2 WorldCat member libraries worldwide

La complexification des systèmes et la réduction du nombre de capteurs nécessitent l'élaboration de méthodes de surveillance de plus en plus efficaces. Le travail de cette thèse s'inscrit dans ce contexte et porte sur le diagnostic et le pronostic des Systèmes à Événements Discrets (SED) temporisés. Les réseaux de Petri stochastiques partiellement mesurés sont utilisés pour modéliser le système. Le modèle représente à la fois le comportement nominal et le comportement dysfonctionnel du système. Il permet aussi de représenter ses capteurs à travers une mesure partielle des transitions et des places. Notre contribution porte sur l'exploitation de l'information temporelle pour le diagnostic et le pronostic des SED. À partir d'une suite de mesures datées, les comportements du système qui expliqueraient ces mesures sont d'abord déterminés. La probabilité de ces comportements est ensuite évaluée pour fournir un diagnostic du système en termes de probabilité d'occurrence d'un défaut. Dans le cas où une faute est diagnostiquée, une approche permettant d'estimer la distribution de sa date d'occurrence est proposée. L'objectif est de donner plus de détails sur cette faute afin de mieux la caractériser. Par ailleurs, la probabilité des comportements compatibles est exploitée pour estimer l'état actuel du système. Il s'agit de déterminer les marquages compatibles avec les mesures ainsi que leurs probabilités associées. À partir de cette estimation d'état, la prise en considération des évolutions possibles du système permet d'envisager la prédiction de la faute avant son occurrence. Une estimation de la probabilité d'occurrence de la faute sur un horizon de temps futur est ainsi obtenue. Celle-ci est ensuite étendue à l'évaluation de la durée de vie résiduelle du système. Enfin, une application des différentes approches développées sur un cas d'un système de tri est proposée
DCDS'07 : preprints by IFAC workshop on dependable control of discrete systems( Book )

1 edition published in 2007 in English and held by 2 WorldCat member libraries worldwide

Special issue on "New approaches for DES modeling, analysis and synthesis" by Jean-Jacques Lesage( )

1 edition published in 2016 in English and held by 2 WorldCat member libraries worldwide

Vérification de propriétés quantitatives des systèmes logiques par model-checking hybride by Zulema Juarez Orozco( Book )

in French and held by 1 WorldCat member library worldwide

La vérification formelle des contrôleurs logiques a donné lieu à de nombreux travaux scientifiques cette dernière décennie. Elle permet de démontrer (obtention d'un niveau requis de sûreté de fonctionnement (SdF) des systèmes industriels, et tout particulièrement des systèmes critiques. Nos travaux portent sur la preuve des propriétés relatives à la qualité du service rendu par le système automatisé, que nous nommons des propriétés quantitatives. Par exemple, au lieu de vérifier que plusieurs produits ont effectivement été dosés avant d'enclencher un mélange puis une réaction chimique, il peut être important de prouver que la bonne quantité de ces produits a été dosée. Autre exemple, au lieu de prouver qu'un mobile s'arrête dans une position donnée, il peut être important de prouver que cet arrêt en position s'effectue avec une précision garantie. Ce sont de telles propriétés quantitatives que nous nous sommes attachés à être capables de prouver pour les systèmes à évènement discrets (SED), et plus exactement pour une sous classe des SED : les systèmes logiques. Dans ce mémoire nous explorons l'apport des automates hybrides pour la prise en compte simultanée du caractère discret du contrôleur et continu du processus. A cette fin, nous introduisons un formalisme d'automates hybrides à transitions typées et nous proposons une méthodologie de modélisation basée sur des automates modulaires génériques. La vérification est alors obtenue par le model checker PHAVer. Deux études de cas sont présentées en fin de mémoire
Contribution à l'ingéniérie intégrée des systèmes de production : formalisation des mécanismes d'intégration entre modèles et applications sur site industriel by François Kiefer( Book )

1 edition published in 1996 in French and held by 1 WorldCat member library worldwide

Pour vivre et prospérer, l'entreprise doit continuellement s'adapter à son environnement. La rapidité et la qualité de ces évolutions passent par une rationalisation du travail des personnes qui ont pour charge de les réaliser, et notamment par l'utilisation d'outils de conception et de réalisation adaptes et efficaces. Les travaux traitent de l'étude des méthodes et des techniques de conception et de réalisation des systèmes intégrés de production (s. I. P.), évolution actuelle de l'outil de production des industries manufacturières. Il existe déjà un ensemble d'outils et de méthodes qui, utilisés séparément, permettent de traiter complètement le problème. Par contre, les outils supportant une approche globale (principalement cim-osa) ne sont pas prêts, et leur mise en œuvre ne sera ni rapide, ni facile. L'alternative suggérée est d'utiliser les outils existants, mais de manière intégrée. Pour ce faire, des éléments théoriques sur l'intégration entre méthodes d'analyse sont développés. En partant de la notion de méta-modélisation des outils d'analyse existants, un inventaire des situations de correspondance entre concepts représentés dans les méta-modèles est dressé. Les problèmes potentiels de cohérence entre modèles sont identifies, puis analyses. L'application consiste à sélectionner un ensemble complet de méthodes d'analyse actuellement praticables et d'établir leur méta-modèle, en plus de celui de cim-osa dont les concepts servent de pivot. Les résultats sur l'analyse des correspondances entre méta-modèles est exploitée pour apt, idef0, entité/association et cim-osa. Ensuite, des scenarios permettant d'exploiter ces correspondances dans un projet sont étudiés. Ils permettent de définir les familles de règles qui peuvent, à des degrés différents, fournir une aide à l'analyste lors des échanges entre modèles. Les applications industrielles de cette approche sont présentées en annexe
Identification of discrete event systems for fault detection purposes = Identifikation ereignisdiskreter Systeme zum Zweck der Fehlererkennung by Stéphane Klein( Book )

in English and held by 1 WorldCat member library worldwide

Increasing the availability of production systems by reducing their downtimes is an important economic issue. The model-based approach to fault détection where the current evolution of the system is compared with its ideal evolution is the most suited to recognize as soon as faults that may lead to failures. This thesis is concerned with the construction of the nominal behavioral model of Discrete Event Systems using an identification technique. Therefore we defined a new class of automaton and developed a parameterized identification algorithm. To state about the quality of the identified model, in terms of size and behavioral accuracy, three metrics have been defined. Special emphasis is put on the relation between the identification parameter and the accuracy of the identified model. Finally, the identification of a large industrial system demonstrates the usability of the method
SECAAC : Système d'Eco-Conduite Auto-Adaptatif au Conducteur by Salvatore La Delfa( )

1 edition published in 2017 in French and held by 1 WorldCat member library worldwide

Évaluation de performance d'architectures de commande de systèmes automatisés industriels by Pascal Meunier( Book )

in French and held by 1 WorldCat member library worldwide

Les performances temporelles d'une architecture de contrôle-commande conditionnent fortement celles du systeme automatisé de production commande. Pour maîtriser ces performances temporelles, l'architecte automaticien doit pouvoir les évaluer à chaque phase du cycle de développement : de I'étude d'avant-projet à la conception détaillée ainsi que lors de la mise au point. II n'a cependant pas les mêmes attentes concernant les performances estimées. Des résultats approximatifs, obtenus rapidement à partir de données encore imprécises, lui suffisent en début de cycle de développement, alors que des prévisions fiables, même si elles sont plus difficiles à obtenir, lui sont nécessaires en conception détaillée. L'approche que nous présentons prend en compte ces différents besoins et contraintes. Elle consiste en une méthode d'évaluation des performances temporelles d'architectures de commande complexes distribuées en réseaux, destinée à accompagner l'architecte tout au long du cycle de développement. Cette méthode est basée sur une modélisation modulaire du comportement temporeI de la commande par réseaux de Petri Colorés Temporisés. Pour ce faire, trois temps sont nécessaires dans la modélisation. La modélisation de I' architecture fonctionnelle consiste à représenter les fonctions de commande, et leurs interactions. La modélisation de I'architecture matérielle permet de traduire la topologie et les connexions entre équipements de commandes (automates programmables, réseaux de communication, ... ). L'affectation des fonctions de commande aux équipements ainsi que la prise en compte des communications entre ces fonctions via des réseaux de communication constitue Ie modèle de I'architecture operationnelle. Une fois Ie modèle de comportement de I'ensemble de l'architecture opérationnelle constitué, l'évaluation des performances temporelles est réalisée par simulation du réseau de Petri obtenu. Pour valider notre approche, nous traitons un exemple significatif à I'aide de la plate forme logicielle Design CPN. Cette étude de cas nous permet de présenter une série d'études portant sur la convergence de nos modèles, sur la sensibilité des résultats de simulation aux erreurs de paramétrages et sur la précision des performances obtenues par simulation en les confrontant à celles mesurées sur Ie système réel
Modelling of reactive systems( Book )

1 edition published in 1999 in English and held by 1 WorldCat member library worldwide

Architectures de contrôle-commande redondantes à base d'Ethernet Industriel : modélisation et validation par model-checking temporisé by Steve Limal( Book )

in French and held by 1 WorldCat member library worldwide

Les travaux présentés dans ce mémoire s'intéressent aux mécanismes de redondance spécifiés par un protocole de réseau de terrain sur Ethernet. L'objectif est de valider la spécification par rapport à des exigences de disponibilité. Le contexte industriel des travaux nous a amenés à : 1) privilégier une validation par vérification formelle. Le model-checking temporel a été retenu. En effet, le caractère critique des applications industrielles pour lesquelles doit être intégré le protocole impose une vérification exhaustive des propriétés. Les nombreux paramètres temporels permettant de décrire le fonctionnement du protocole nous ont amenés à favoriser une technique prenant en compte le temps. 2) proposer une modélisation par automates temporisés modulaire ainsi qu'une méthode d'instanciation. Celles-ci permettent d'adapter facilement le modèle à vérifier à une architecture de réseau de terrain envisagée lors de la phase d'étude d'une affaire. 3) proposer des abstractions qui favorisent la vérification du modèle par le moteur de model-checking temporel. Les propriétés vérifiées traduisent l'aptitude des mécanismes de redondance à compenser une défaillance du médium ou de l'animation des échanges. Afin d'illustrer la pertinence de ces propositions, la méthode d'instanciation est appliquée à deux architectures et une campagne de vérifications est menée et analysée
 
moreShow More Titles
fewerShow Fewer Titles
Audience Level
0
Audience Level
1
  Kids General Special  
Audience level: 0.90 (from 0.85 for Modelling ... to 0.97 for Modélisat ...)

Languages