WorldCat Identities

Hardouin, Laurent

Overview
Works: 18 works in 22 publications in 3 languages and 99 library holdings
Genres: Conference papers and proceedings 
Roles: Author, dgs, Thesis advisor, Other, Opponent, Contributor, htt
Classifications: TA165, 530.7
Publication Timeline
.
Most widely held works by Laurent Hardouin
Control and state estimation for max-plus linear systems by Laurent Hardouin( )

1 edition published in 2018 in English and held by 40 WorldCat member libraries worldwide

Max-plus linear systems theory was inspired by and originated from classical linear systems theory more than three decades ago, with the purpose of dealing with nonlinear synchronization and delay phenomena in timed discrete event systems in a linear manner. Timed discrete event systems describe many problems in diverse areas such as manufacturing, communication, or transportation networks. This monograph provides a thorough survey of current research work in max-plus linear systems. It summarizes the main mathematical concepts required for a theory of max-plus linear systems, including idempotent semirings, residuation theory, fixed point equations in the max-plus algebra, formal power series, and timed-event graphs. The authors also review some recent major achievements in control and state estimation of max-plus linear systems. These include max-plus observer design, max-plus model matching by output or state feedback and observer-based control synthesis. Control and State Estimation for Max-Plus Linear Systems offers students, practitioners, and researchers an accessible and comprehensive overview of the most important recent work in max-plus Linear Systems
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

Discrete event systems with standard and partial synchronizations by Xavier David-Henriet( )

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

On the modeling and control of extended timed event graphs in dioids by Johannes Trunk( )

1 edition published in 2020 in English and held by 3 WorldCat member libraries worldwide

Une méthode originale de contrôle actif des bruits d'écoulements pulsés : étude d'un actionneur, modélisation et commande adaptative du système by Laurent Hardouin( Book )

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

L'ENERGIE ACOUSTIQUE RAYONNEE PAR LES ECOULEMENTS PULSES EST PRINCIPALEMENT DUE AUX FLUCTUATIONS PERIODIQUES DU DEBIT. DANS LE CAS D'UN MOTEUR THERMIQUE QUI CONSTITUE LE GENERATEUR D'ECOULEMENTS PULSES LE PLUS REPANDU, CES FLUCTUATIONS SONT ENGENDREES PAR LES ECHAPPEMENTS SUCCESSIFS LIES AU MOUVEMENT DES PISTONS. LA REDUCTION DE CETTE NUISANCE NECESSITE DES SILENCIEUX PASSIFS DE TAILLE IMPORTANTE ET N'EST PAS REALISABLE A L'AIDE DES METHODES ACTIVES UTILISANT DES HAUT-PARLEURS. EN EFFET CES TRANSDUCTEURS SONT D'UNE PART PEU EFFICACES EN BASSES FREQUENCES ET D'AUTRE PART RELATIVEMENT FRAGILES (ILS NE RESISTENT PAS AUX TEMPERATURES ELEVEES). LE TRAVAIL PRESENTE ICI S'INSCRIT DANS LE CADRE DU DEVELOPPEMENT D'UN SYSTEME INNOVANT D'ATTENUATION ACTIVE DE CES NUISANCES ACOUSTIQUES. LE PRINCIPE REPOSE SUR LE CONTROLE INSTANTANE DES FLUCTUATIONS DE DEBITS A L'AIDE D'UNE VANNE MOBILE. LA MODELISATION ACOUSTIQUE DU SYSTEME ACTIF, QUI REPOSE SUR LES ANALOGIES ELECTRIQUES, FAIT APPARAITRE LA VANNE MOBILE COMME UN GENERATEUR EN SERIE AVEC LE GENERATEUR DE DEBITS PULSES. IL RESSORT EGALEMENT DE CETTE ETUDE UNE CERTAINE SIMILARITE CONCEPTUELLE DU DISPOSITIF AVEC LES SYSTEMES UTILISANT UN HAUT-PARLEUR. AFIN DE RENDRE CE SYSTEME CREDIBLE, UN PROTOTYPE TECHNIQUEMENT REALISTE EST DEVELOPPE. IL EST CONSTITUE D'UNE PART D'UN ACTIONNEUR SPECIFIQUEMENT ETUDIE POUR CE SYSTEME ET PROPOSE SOUS PLUSIEURS FORMES AFIN DE POUVOIR REPONDRE A UNE VASTE GAMME D'APPLICATIONS DU DISPOSITIF. LE PROTOTYPE COMPREND D'AUTRE PART UN ORGANE DE CONTROLE QUI A PERMIS DE DEVELOPPER UN CORRECTEUR ADAPTATIF. CE CONTROLE REPOSE SUR UNE COMMANDE INTITULEE MINIMUM DE VARIANCE GENERALISEE QUI EST IMPLANTEE SUR UN PROCESSEUR DE TRAITEMENT DE SIGNAL. QUELQUES-UNS DES MULTIPLES RESULTATS OBTENUS SONT FINALEMENT PRESENTES ET MONTRENT LES PERFORMANCES DU PROTOTYPE CONCERNANT D'UNE PART LES ATTENUATIONS DES FLUCTUATIONS PERIODIQUES DE DEBITS ET D'AUTRE PART LA POURSUITE DES VARIATIONS DES CARACTERISTIQUES DE LA SOURCE PRIMAIRE. LES INFORMATIONS ET LES INNOVATIONS TECHNOLOGIQUES APPORTEES PAR CE MEMOIRE PERMETTENT D'ENVISAGER A COURT TERME UN TRANSFERT DE TECHNOLOGIE VERS DES APPLICATIONS INDUSTRIELLES CONCRETES
Modelling and control of periodic time-variant event graphs in dioids by Johannes Trunk( )

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

On the modeling and control of extended Timed Event Graphs in dioids by Johannes Trunk( )

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

Various kinds of manufacturing systems can be modeled and analyzed by Timed EventGraphs (TEGs). These TEGs are a particular class of timed Discrete Event Systems (DESs), whose dynamic behavior is characterized only by synchronization and saturation phenomena. A major advantage of TEGs over many other timed DES models is that their earliest behavior can be described by linear equations in some tropical algebra structures called dioids. This has led to a broad theory for linear systems over dioids where many concepts of standard systems theory were introduced for TEGs. For instance, with the (max,+)-algebra linear state-space models for TEGs were established. These linear models provide an elegant way to do performance evaluation for TEGs. Moreover, based on transfer functions in dioids severalcontrol problems for TEGs were addressed. However, the properties of TEGs, and thus the systems which can be described by TEGs, are limited. To enrich these properties, two main extensions for TEGs were introduced. First,Weighted Timed Event Graphs (WTEGs) which, in contrast to ordinary TEGs, exhibit event-variant behaviors. InWTEGs integer weights are considered on the arcs whereas TEGs are restricted to unitary weights. For instance, these integer weights make it straightforward to model a cutting process in a production line. Second, a new kind of synchronization called partial synchronization (PS) was introduced forTEGs. PS is useful to model systems where specific events can only occur in a particular time window. For example, consider a crossroad controlled by a traffic light: the green phase of the traffic light provides a time window in which a vehicle is allowed to cross. Clearly, PS leads to time-variant behavior. As a consequence, WTEGs and TEGs under PS are not (max,+)-linear anymore.In this thesis, WTEGs and TEGs under PS are studied in a dioid structure. Based on these dioid models forWTEGs a decomposition of the dynamic behavior into an event-variant and an event-invariant part is proposed. Under some assumptions, it is shown that the eventvariant part is invertible. Hence, based on this model, optimal control and model reference control, which are well known for ordinary TEGs, are generalized to WTEGs. Similarly, a decomposition model is introduced for TEGs under PS in which the dynamic behavior is decomposed into a time-variant and time-invariant part. Again, under some assumptions, it is shown that the time-variant part is invertible. Subsequently, optimal control, as well as model reference control for TEGs under PS is addressed
CONTRIBUTION A LA COMMANDE DE SYSTEMES A EVENEMENTS DISCRETS : SYNTHESE DE CORRECTEURS POUR LES GRAPHES D'EVENEMENTS TEMPORISES DANS LES DIOIDES by Bertrand Cottenceau( Book )

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

LES GRAPHES D'EVENEMENTS TEMPORISES (GET) FORMENT UNE SOUS-CLASSE DES RESEAUX DE PETRI (RDP) DONT LE COMPORTEMENT EVENEMENTIEL/TEMPOREL PEUT ETRE DECRIT PAR DES EQUATIONS LINEAIRES NOTAMMENT DANS L'ALGEBRE (MAX, +). LEUR ETUDE RELEVE DE CE QUE L'ON APPELLE COMMUNEMENT LA THEORIE DES SYSTEMES LINEAIRES DANS LES DIOIDES QUI PRESENTE DE GRANDES ANALOGIES DE FORME AVEC LA THEORIE DES SYSTEMES LINEAIRES CONTINUS. NOUS ABORDONS DANS CE MEMOIRE LE PROBLEME DE SYNTHESE DE CORRECTEUR, POUR LES GET, DANS UN OBJECTIF D'ATTEINTE DE MODELE DE REFERENCE. CE PROBLEME PEUT ETRE DECRIT DE LA MANIERE SUIVANTE : PARTANT D'UN GET (SYSTEME NOMINAL) DONT ON CONNAIT LE COMPORTEMENT ENTREE-SORTIE (MATRICE DE TRANSFERT), ON SE FIXE UN COMPORTEMENT DE REFERENCE (MODELE DE REFERENCE) QUE L'ON CHERCHE A ATTEINDRE D'AUSSI PRES QUE POSSIBLE GRACE A UN CORRECTEUR LINEAIRE DESCRIPTIBLE PAR UN GET. PLUSIEURS STRUCTURES DE CORRECTION SONT PROPOSEES NECESSITANT LA SYNTHESE DE PRECOMPENSATEURS OU DE CORRECTEURS FEEDBACK. ENSUITE, LE PROBLEME DE CALCUL DE CORRECTEURS (NOTAMMENT FEEDBACK DE SORTIE) TROUVE DES APPLICATIONS EN GESTION DE PRODUCTION DANS LA RECHERCHE D'AMELIORATIONS DE METHODES DE GESTION A FLUX TIRES EXISTANTES (SYSTEME KANBAN ET KANBAN GENERALISE), AINSI QUE DANS LA RECHERCHE DE CORRECTEURS STABILISANTS, C'EST-A-DIRE LIMITANT LA TAILLE DES STOCKS INTERNES D'UN SYSTEME DE PRODUCTION
Optimal control of timed event graphs with resource sharing and output-reference update by Germano Schafaschek( )

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

Etude de systèmes à événements discrets dans l'algèbre (max,+) : synthèse de correcteurs robustes dans un dioïde d'intervalles : synthèse de correcteurs en présence de perturbations by Mehdi Lhommeau( Book )

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

Les systèmes dynamiques à événements discrets mettant en jeu des phénomènes de synchronisation peuvent être modélisés par des équations linéaires dans les algèbres de type (max,+). Cette propriété a motivé l'élaboration de ce que l'on appelle communément la théorie des systèmes linéaires dans les dioïdes. Cette théorie présente de nombreuses analogies avec la théorie conventionnelle des systèmes linéaires continus et permet notamment d'aborder des problèmes de commandes. La première contribution concerne l'analyse de la robustesse de lois de commandes pour des systèmes (max,+)-linéaires. L'objectif est de caractériser l'ensemble des systèmes préservant les performances recherchées lors de la synthèse. Autrement dit, nous cherchons à caractériser les marges de variations ou dérives du système admissibles vis à vis des critères de performances imposés. Ensuite, le problème de commande robuste est considéré. Cette fois nous supposons connue, sous forme d'intervalles, ('amplitude de variation des paramètres du système à commander et nous cherchons l'en-semble des correcteurs permettant d'atteindre un objectif donné. Au préalable est introduit un dioïde d'intervalles, qui permet de modéliser les systèmes incertains sous forme de matrices d'intervalles in-cluant l'ensemble des comportements possibles du système. La synthèse de contrôleurs présentée dans le cas déterministe s'étend alors naturellement au contexte incertain. La dernière partie de ce mémoire traite du problème de commande en présence de perturbations. En se conformant à la littérature sur les systèmes continus conventionnels, nous montrons que ce problème présente de fortes analogies avec le problème classique du rejet de perturbations. Il est notamment montré qu'il est possible de synthétiser des contrôleurs optimaux préservant l'état du système dans le noyau de la matrice de sortie
Identification et commande de systèmes à évènements discrets dans l'algèbre (max,+) by Carlos Andrey Maia( Book )

2 editions published in 2003 in Portuguese and held by 2 WorldCat member libraries worldwide

Timed Event Graphs are a subclass of Petri nets suitable to describe Discrete Event Systems subject to synchronization phenomena. Although these systems have nonlinear time bahavior in conventional algebra they are described by linear equations in dioid algebra. This thesis deals with identification and control problems of such systems. The chapter 3 proposes a parametric estimation method for (max,+)-linear SISO models. The estimation algorithm is developed by assuming the knowledge of the structure of a model represented by an input-output transfer function. The chapter 4 deals with the model-reference control stated in a Just-in-Time context. This approach proposes a control structure based on a precompensator and a feedback controllers which allows to obtain the desired performances for the controlled system. It is shown That this approach always leads to an optimal bahavior of the closed-loop system and that the existence of the optimal controller is independent of the model reference choice (unlike previous approaches found in the literature). These results are used to solve the stabilization problem of timed event graphs
Discrete Event Systems with Standard and Partial Synchronizations by Xavier David-Henriet( )

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

Many transportation networks can be modeled by (max,+)-linear systems, i.e., discrete event systems ruled by standard synchronizations (conditions of the form: "for all k>=l, occurrence k of event B is at least t units of time after occurrence k-l of event A"). In some applications, it is also necessary to model simultaneity between events (e.g., for a road equipped with traffic lights, a vehicle can cross an intersection only when the associated traffic light is green). Such conditions cannot be expressed using standard synchronizations. Hence, we introduce the partial synchronization (condition of the form: "event B can only occur when event A occurs"). In this thesis, we consider a class of discrete event systems ruled by standard and partial synchronizations, called (max,+)-systems with partial synchronization. Such systems are split into a main system and a secondary system such that there exist only standard synchronizations between events in the same system and partial synchronizations of events in the secondary system by events in the main system. We adapt some modeling and control approaches developed for (max,+)-linear systems to (max,+)-systems with partial synchronization. Optimal feedforward control and model predictive control for (max,+)-linear systems are extended to (max,+)-systems with partial synchronization. Furthermore, transfer relation and model reference control are provided for the secondary system under a predefined behavior of the main system
Etude de systèmes (max,+) -linéaires soumis à des contraintes : application à la commande des graphes d'événements P-temporel by Iteb Ouerghi( )

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

Les systèmes à événements discrets sont essentiellement caractérisés par des changements d'état (marche-arrêt d'une machine, départ-arrivée d'un train). L'introduction de paramètres temporels permet d'évaluer leur performances (taux de production d'une cellule d'usinage, temps de parcours pour un système de transport). Ces systèmes dynamiques peuvent également faire l'objet de contraintes de temps de séjour (temps maximal de cuisson d'une pièce dans un four, attente maximum d'une correspondance entre trains,...). Ce type de contraintes n'affecte pas uniquement les performances du système mais aussi sa validité fonctionnelle (pièce brulée, ...). Il apparaît alors primordial de disposer de méthodes d'analyse et de synthèse de commande de ces systèmes afin d'en garantir le bon fonctionnement en dépit de ces contraintes. Nous nous intéressons plus précisément aux modèles de type réseau de Petri P-temporel. L'étude de systèmes du type graphes d'événements P-temporels et leur supervision par un système de commande, conduisent à des modèles (max,+) -linéaires soumis à des contraintes, et rendent nécessaire le développement de nouveaux outils algébriques combinant la théorie des dioïdes et la résiduation. L'objectif de cette thèse est de contribuer à la modélisation, la vérification et la commande des graphes d'événements temporels, et d'élaborer une théorie analogue à celle concernant les graphes d'événements déterministes décrits dans l'algèbre (max,+)
Analyse d'atteignabilité de systèmes max-plus incertains by Renato markele Ferreira candido( )

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

Os Sistemas a Eventos Discretos (SEDs) constituem uma classe de sistemas caracterizada por apresentar espaço de estados discreto e dinâmica dirigida única e exclusivamente pela ocorrência de eventos. SEDs sujeitos aos problemas de sincronização e de temporização podem ser descritos em termos de equações lineares usando a álgebra max-plus. A análise de alcançabilidade visa o cálculo do conjunto de todos os estados que podem ser alcançados a partir de um conjunto de estados iniciais através do modelo do sistema. A análise de alcançabilidade de sistemas Max Plus Lineares (MPL) pode ser tratada por meio da decomposição do sistema MPL em sistemas PWA (Piece-Wise Affine) e de sua correspondente representação por DBM (Difference-Bound Matrices). A principal contribuição desta tese é a proposta de uma metodologia similar para resolver o problema de análise de alcançabilidade em sistemas MPL sujeitos a ruídos limitados, chamados de sistemas MPL incertos ou sistemas uMPL (uncertain Max Plus Linear Systems). Primeiramente, apresentamos uma metodologia para particionar o espaço de estados de um sistema uMPL em componentes que podem ser completamente representados por DBM. Em seguida, estendemos a análise de alcançabilidade de sistemas MPL para sistemas uMPL. Além disso, a metodologia desenvolvida é usada para resolver o problema de análise de alcançabilidade condicional, o qual esta estritamente relacionado ao cálculo do suporte da função de probabilidade de densidade envolvida o problema de filtragem estocástica
On max-plus linear dynamical system theory: The regulation problem( )

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

Abstract: A class of timed discrete event systems can be modeled by using Timed-Event Graphs, a class of timed Petri nets that can have its firing dynamic described by using an algebra called "Max-plus algebra". For this kind of systems it may be desirable to enforce some timing constraints in steady state. In this paper, this problem is called a "max-plus regulation problem". In this context we show a necessary condition for solving these regulation problems and in addition that this condition is sufficient for a large class of problems. The obtained controller is a simple linear static state feedback and can be computed using efficient pseudo-polynomial algorithms. Simulation results will illustrate the applicability of the proposed methodology
Synthesis of greatest linear feedback for timed-event graphs in dioid p1258-1262 by Bertrand Cottenceau( )

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

Algorithmique du Network Calculus by Laurent Jouhet( )

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

Network Calculus is a theory aiming at computing worst-case bounds on performances in communication networks. The network is usually modelled by a digraph : the servers are located on the nodes and the flows must follow path in the digraph. There are constraints on the trafic curves (how much data have been through a given point since the activation of the network) and on the service curves (how much work each server may provide). To derive bounds on the worst-case performances, as the backlog or the end-to-end delay, these envelopes are combined thanks to tropical algebra operators: min, +, convolution... This thesis focuses on Network Calculus algorithmics, that is how effective is this formalism. This work led us to compare various models in the litterature, and to show expressiveness equivalence between Real-Time Calculus and Network Calculus. Then, we suggested a new (min, +) operator to compute performances bounds in networks with agregated flows and we studied feed-forward networks under blind multiplexing. We showed the difficulty to compute these bounds, but we gave an heuristic, which is polynomial for interesting cases
Instrumentation et interdisciplinarité capteurs chimiques et physiques by N Jaffrezic-Renault( )

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

 
moreShow More Titles
fewerShow Fewer Titles
Audience Level
0
Audience Level
1
  Kids General Special  
Audience level: 0.78 (from 0.24 for Modelling ... to 0.99 for Synthesis ...)

Languages