Le développement et l’application des langages formels sont un défi à long terme pour la science informatique. Un enjeu particulier est l’acceptation par l’industrie. Cette thèse présente une approche pour la modélisation et la vérification des postes d’aiguillage français. La première question est la modélisation du système d’enclenchement par les réseaux de Petri colorés (RdPC). Un cadre de modélisation générique et compact est introduit, dans lequel les règles d’enclenchement sont modélisées dans une structure hiérarchique, tandis que les installations sont modélisées dans une perspective géographique. Ensuite, un patron de modèle est présenté. C’est un modèle paramétré qui intègre les règles nationales françaises qui peut être appliquée pour différentes gares. Puis, un concept basé sur l’événement est présenté dans le processus de modélisation des parties basses des postes d’aiguillage. La deuxième question est la transformation des RdPCs en machines B, qui va aider les concepteurs sur la route de l’analyse à application. Tout d’abord, une méthodologie détaillée, s’appuyant sur une table de correspondance, du RdPCs non-hiérarchiques vers les notations B est présentée. Ensuite, la hiérarchie et la priorité des transitions du RdPC sont successivement intégrées dans le processus de mapping, afin d’enrichir les possibilités de types de modèles en entrées de la transformation. Les machines B produites par la transformation permettent la preuve automatique intégrale par l’Atelier B. L’ensemble de ces travaux, chacun à leur niveau, contribuent à renforcer l’efficacité d’un cadre global d’analyse sécuritaire / Development and application of formal languages are a long-standing challenge within the computer science domain. One particular challenge is the acceptance of industry. This thesis presents some model-based methodologies for modelling and verification of the French railway interlocking systems (RIS). The first issue is the modellization of interlocking system by coloured Petri nets (CPNs). A generic and compact modelling framework is introduced, in which the interlocking rules are modelled in a hierarchical structure while the railway layout is modelled in a geographical perspective. Then, a modelling pattern is presented, which is a parameterized model respecting the French national rules. It is a reusable solution that can be applied in different stations. Then, an event-based concept is brought into the modelling process of low-level part of RIS to better describe internal interactions of relay-based logic. The second issue is the transformation of coloured Petri nets into B machines, which can help designers on the way from analysis to implementation. Firstly, a detailed mapping methodology from non-hierarchical CPNs to abstract B machine notations is presented. Then the hierarchy and the transition priority of CPNs are successively integrated into the mapping process, in order to enrich the adaptability of the transformation. This transformation is compatible with various types of colour sets and the transformed B machines can be automatically proved by Atelier B. All these works at different levels contribute towards a global safe analysis framework

Cette thèse vise à explorer la question du changement d'échelle temporelle en modélisation hydrologique conceptuelle. Les principaux objectifs sont : (i) étudier les effets du changement du pas de temps sur les performances, les paramètres et la structure des modèles hydrologiques ; (ii) mettre au point un modèle pluie-débit applicable à différents pas de temps. Notre point de départ est le modèle global journalier GR4J, développé à Irstea. Ce modèle a été choisi comme le modèle de référence à adapter à d'autres résolutions plus fines, jusqu'à des pas de temps infra-horaires, en suivant une approche descendante. Pour nos tests, nous avons construit une base de données de 240 bassins versants non influencés en France, à différents pas de temps allant de 6 minutes à 1 jour, en utilisant: (i) les données pluviométriques à 6 minutes et la réanalyse des lames d'eau journalières à plus haute résolution spatiale ; (ii) les données de température journalière pour le calcul de l'évapotranspiration potentielle ; (iii) les données hydrométriques à pas de temps variable. Nous avons étudié l'impact de la distribution temporelle des entrées sur les performances du modèle en se focalisant sur la simulation de crue, sur la base de 2400 événements. Ensuite, notre évaluation du modèle a porté sur l'analyse de la cohérence des flux internes du modèle à différents pas de temps, afin d'assurer une performance satisfaisante à travers un fonctionnement du modèle cohérent. Notre diagnostic du modèle nous a permis d'identifier une amélioration de la structure du modèle à différents pas de temps infra-journaliers basée sur la complexification de la composante d'interception du modèle. / This thesis aims at exploring the question of temporal scaling in lumped conceptual hydrological modelling. The main objectives of the thesis are to: (i) study the effects of varying the modelling time step on the performance, parameters and structure of hydrological models; (ii) develop a hydrological model operating at different time steps, from daily to sub-hourly, through a unified, robust and coherent modelling framework at different time scales. Our starting point is the chain of conceptual rainfall-runoff models called ‘GR’, developed at Irstea, and in particular the daily ‘GR4J’ lumped model. The GR4J model will be the baseline model to be effectively downscaled up to sub-hourly time steps following a top-down approach. An hourly adaptation of this model had already been proposed in previous research studies, but some questions on the optimality of the structure at sub-daily time steps were still open. This thesis builds on these previous studies on the hourly model and responds to the operational expectations of improving and adapting the model at multiple sub-daily and sub-hourly time steps, which is particularly interesting for flood forecasting applications. For our modelling tests, we built a database of 240 unregulated catchments in metropolitan France, at multiple time steps, from 6-minute to 1 day, using fine time step hydro-climatic datasets available: (i) 6-min rain gauges and higher spatial-density daily reanalysis data for precipitation; (ii) daily temperature data for potential evapotranspiration (making assumptions on sub-daily patterns); (iii) sub-hourly variable time step streamflow data. We investigated the impact of the inputs temporal distribution on model outputs and performance in a flood simulation perspective based on 2400 selected flood events. Then our model evaluation focused on the consistency of model internal fluxes at different time steps, in order to ensure obtaining a satisfactory model performance by a coherent model functioning at multiple time steps. Our model diagnosis led us to identify and test a significant improvement of the model structure at sub-daily time steps based on the complexification of the interception component of the model. Thus, we propose a new version of the model at multiple sub-daily time steps, with the addition of an interception store without extra free parameters. Our tests also confirm the suitability at multiple time steps of a modified groundwater exchange function proposed earlier, leading to overall improved model accuracy and coherence.

Le volume des données relatives à l'exécution des processus métiers augmente de manière significative dans l'entreprise. Beaucoup de sources de données comprennent les événements liés à l'exécution des mêmes processus dans différents systèmes ou applications. La corrélation des événements est la tâche de l'analyse d'un référentiel de journaux d'événements afin de trouver l'ensemble des événements qui appartiennent à la même trace d'exécution du processus métier. Il s'agit d'une étape clé dans la découverte des processus à partir de journaux d'événements d'exécution. La corrélation des événements est une tâche de calcul intensif dans le sens où elle nécessite une analyse approfondie des relations entre les événements dans des dépôts très grande et qui évolue de plus en plus, et l'exploration de différentes relations possibles entre ces événements. Dans cette thèse, nous présentons une technique d'analyse de données évolutives pour soutenir d'une manière efficace la corrélation des événements pour les fouilles des processus métiers. Nous proposons une approche en deux étapes pour calculer les conditions de corrélation et héritier entraîné des instances de processus de journaux d'événements en utilisant la plateforme MapReduce. Les résultats expérimentaux montrent que l'algorithme s'adapte parfaitement à de grands ensembles de données. / The volume of data related to business process execution is increasing significantly in the enterprise. Many of data sources include events related to the execution of the same processes in various systems or applications. Event correlation is the task of analyzing a repository of event logs in order to find out the set of events that belong to the same business process execution instance. This is a key step in the discovery of business processes from event execution logs. Event correlation is a computationally-intensive task in the sense that it requires a deep analysis of very large and growing repositories of event logs, and exploration of various possible relationships among the events. In this dissertation, we present a scalable data analysis technique to support efficient event correlation for mining business processes. We propose a two-stages approach to compute correlation conditions and their entailed process instances from event logs using MapReduce framework. The experimental results show that the algorithm scales well to large datasets.

La physique statistique, développée à l'origine pour décrire les systèmes thermodynamiques, a joué pendant les dernières décennies un rôle central dans la modélisation d'un ensemble incroyablement vaste et hétérogène de différents phénomènes qui ont lieu par exemple dans des systèmes sociaux, économiques ou biologiques. Un champ d'applications possibles aussi vaste a été trouvé aussi pour les réseaux, comme une grande variété de systèmes peut être décrite en termes d'éléments interconnectés. Après une partie introductive sur les thèmes abordés ainsi que sur le rôle de la modélisation abstraite dans la science, dans ce manuscrit seront décrites les nouvelles perspectives auxquelles on peut arriver en approchant d'une façon physico-statistique trois problèmes d'intérêt dans la théorie des réseaux: comment une certaine quantité peut se répandre de façon optimale sur un graphique, comment explorer un réseau et comment le reconstruire à partir d'un jeu d'informations partielles. Quelques remarques finales sur l'importance que ces thèmes préserveront dans les années à venir conclut le travail. / Statistical physics, originally developed to describe thermodynamic systems, has been playing for the last decades a central role in modelling an incredibly large and heterogeneous set of different phenomena taking for instance place on social, economical or biological systems. Such a vast field of possible applications has been found also for networks, as a huge variety of systems can be described in terms of interconnected elements. After an introductory part introducing these themes as well as the role of abstract modelling in science, in this dissertation it will be discussed how a statistical physics approach can lead to new insights as regards three problems of interest in network theory: how some quantity can be optimally spread on a graph, how to explore it and how to reconstruct it from partial information. Some final remarks on the importance such themes will likely preserve in the coming years conclude the work.

Les travaux présentés dans ce mémoire de thèse représentent une contribution au problème de diagnostic des Systèmes à Evénements Discrets (SEDs). L'objectif de ce travail est dans un premier temps une proposition d'une démarche de diagnostic en exploitant l'aspect temporel caractérisant l'occurrence des événements. Pour cela, le système est modélisé par des graphes temporels appartenant au formalisme des automates temporisés. L'approche est conçue selon une architecture décentralisée afin d'éviter toute explosion combinatoire dans la construction des modèles. Elle a permis la détection et localisation des défauts abruptes survenant sur les équipements notamment en combinant des conditions d'autorisation d'événements et des fonctions de non-occurrence d'événements.Dans un second temps, les défauts graduels issus du process sont considérés. Pour cela, les contraintes temporelles exprimant les dates d'occurrence des événements dans les Templates et les Chroniques sont modélisées par des distributions de probabilités (DPs). Celles-ci sont utilisées afin de caractériser un fonctionnement normal, dégradé ou défaillant de chaque sous-système avec un certain degré de certitude. Cette identification du fonctionnement est représentée par la valeur d'un indicateur de dégradation. / The work presented in this thesis represents a contribution to the problem of diagnosis in discrete event systems (DES). The objective of our work consists in a proposition for a diagnostic approach by exploiting the temporal aspect which characterizing the occurrence of events. For this, the system is modeled by temporal graphs belonging to the timed automata formwork. The approach is designed according to the decentralized architecture to avoid any combinatorial explosion in the construction of the models. It has allowed the detection and isolation of abrupt faults occurring on equipment by combining the enablement conditions of events and the Boolean functions for the non-occurrence of events.Secondly, gradual faults coming from the process its self are considerate. For this, time constraints expressing the dates of occurrence of events in the Templates and Chronicles are modeled by probability distributions (PDs). These are used to characterize normal, degraded or failed functioning of each subsystem with a degree of certainty. Identification of this functioning mode is represented by the value of a degradation indicator.

Les travaux effectués durant cette thèse portent sur la spécification, l'analyse et l'application de systèmes a événements discrets pour la modélisation de processus biologiques stochastiques en biologie des systèmes. Le point de départ de cette thèse est le langage de modélisation AltaRica, que nous étendons afin de permettre de décrire des événements temporisés selon des distributions de probabilités quelconques (dégénérées, discrètes et continues). Nous définissons ensuite la sémantique de ce langage en terme d'automates de mode stochastiques et présentons trois opérations de compositions permettant de modéliser des systèmes hiérarchiques avec événements synchronisés et partage de valeurs via un mécanisme de connexion. Nous donnons ensuite au automates de mode stochastiques une sémantique en termes de systèmes de transitions dont les transitions sont étiquetées par des distributions de probabilités et des probabilités de transitions instantanées. Nous caractérisons ensuite 6 sous classes de ces systèmes de transitions et donnons pour chacune de ces classes un algorithme de simulation ainsi qu'une mesure de probabilité sur les chemins finis. Nous montrons que pour certaines de ces classes, notre sémantique est conforme avec les mesures de probabilité de chemin usuellement associées aux chaînes de Markov a temps discret, a temps continu et aux processus semi-Markoviens généralisés. Nous abordons ensuite le problème de la réutilisation de modèles continus existant dans un système discret. Nous donnons une méthode d'abstraction permettant de représenter un ensemble de trajectoires bornées ou non d'un modèle continu sous forme d'un système de transition stochastique fini. A travers des exemples tirés de la littérature, nous montrons que notre abstraction préserve les propriétés "qualitatives" (par exemple oscillations, hystérie) des modèles continus et qu'une comparaison entre trajectoires basée sur leurs représentations en termes de systèmes de transitions permet de regrouper les trajectoires en fonction de comportements qualitatifs plus fins que ceux permis par la théorie des bifurcations. Finalement, nous étudions a l'aide de ces modèles des processus liés a la division cellulaire chez les levures. En particulier, nous définissons un modèle pour le vieillissement cellulaire dans une population de levure où le comportement individuel d'une cellule est régi par une équation différentielle ordinaire et où le processus de division est régi par un système de transition. Nous montrons a l'aide de ce modèle que la survie d'une population de levure de type Schizosaccharomyces Pombe, qui se divisent par une fission médiane, n'est possible que grâce a un mécanisme de distribution non symétrique des dégâts oxydatifs entre la progéniture et la cellule souche. Cette hypothèse fut validée expérimentalement lors d'une collaboration avec le laboratoire de micro-biologie de Göteborg. / A general goal of systems biology is to acquire a detailed understanding of the dynamics of living systems by relating functional properties of whole systems with the interactions of their constituents. Often this goal is tackled through computer simulation. A number of different formalisms are currently used to construct numerical representations of biological systems, and a certain wealth of models is proposed using ad hoc methods. There arises an interesting question of to what extent these models can be reused and composed, together or in a larger framework. In this thesis, we propose BioRica as a means to circumvent the difficulty of incorporating disparate approaches in the same modeling study. BioRica is an extension of the AltaRica specification language to describe hierarchical non-deterministic General Semi-Markov processes. We first extend the syntax and automata semantics of AltaRica in order to account for stochastic labeling. We then provide a semantics to BioRica programs in terms of stochastic transition systems, that are transition systems with stochastic labeling. We then develop numerical methods to symbolically compute the probability of a given finite path in a stochastic transition systems. We then define algorithms and rules to compile a BioRica system into a stand alone C++ simulator that simulates the underlying stochastic process. We also present language extensions that enables the modeler to include into a BioRica hierarchical systems nodes that use numerical libraries (e.g. Mathematica, Matlab, GSL). Such nodes can be used to perform numerical integration or flux balance analysis during discrete event simulation. We then consider the problem of using models with uncertain parameter values. Quantitative models in Systems Biology depend on a large number of free parameters, whose values completely determine behavior of models. Some range of parameter values produce similar system dynamics, making it possible to define general trends for trajectories of the system (e.g. oscillating behavior) for some parameter values. In this work, we defined an automata-based formalism to describe the qualitative behavior of systems’ dynamics. Qualitative behaviors are represented by finite transition systems whose states contain predicate valuation and whose transitions are labeled by probabilistic delays. We provide algorithms to automatically build such automata representation by using random sampling over the parameter space and algorithms to compare and cluster the resulting qualitative transition system. Finally, we validate our approach by studying a rejuvenation effect in yeasts cells population by using a hierarchical population model defined in BioRica. Models of ageing for yeast cells aim to provide insight into the general biological processes of ageing. For this study, we used the BioRica framework to generate a hierarchical simulation tool that allows dynamic creation of entities during simulation. The predictions of our hierarchical mathematical model has been validated experimentally by the micro-biology laboratory of Gothenburg

Les travailleurs qui œuvrent en protection de la jeunesse sont régulièrement exposés à des événements traumatiques (ÉT) au travail. De ces événements découlent de nombreuses conséquences individuelles (hypervigilance, dépression, trouble de stress post-traumatique, etc.) et organisationnelles (absentéisme, arrêts de travail, démissions, etc.), celles-ci pouvant perdurer dans le temps, voire s’amplifier, sans intervention adéquate. Les meilleures pratiques à favoriser dans la phase aiguë (0-30 jours) suivant un ÉT demeurent nébuleuses et ne nous permettent actuellement pas d’offrir un soutien optimal aux travailleurs qui expérimentent des réactions post-traumatiques plus ou moins sévères dans les jours/semaines suivant l’ÉT. Or, le soutien social est reconnu pour être un facteur déterminant dans le rétablissement des individus exposés à un ÉT, le soutien des collègues étant particulièrement important en contexte de travail. Toutefois, nous ignorons comment le soutien des collègues se manifeste après un ÉT et comment celui-ci est perçu par les travailleurs victimes. Objectif. Explorer les différentes actions de soutien posées par les collègues en protection de la jeunesse et les distinguer selon qu’elles étaient perçues comme du soutien positif ou négatif par les travailleurs victimes d’ÉT. Méthode. Une méthode qualitative de type exploratoire a permis de procéder à une analyse thématique (inter-cas) et à des études de cas typiques (intra-cas). Des entrevues semi-structurées de 30 travailleurs victimes d’ÉT au cours des 30 derniers jours ont été analysées. Résultats. Les actions de soutien rapportées par les participants pouvaient être assimilées aux catégories de House (1981) - soutien émotionnel, instrumental, informationnel et d’évaluation. Le type de soutien le plus fréquemment rapporté était le soutien émotionnel et la majorité des participants ont rapporté avoir reçu du soutien positif de la part de leurs collègues. Les différentes actions positives et négatives sont détaillées. Conclusion. Le soutien positif concorde avec les principes essentiels d’intervention post-traumatique tandis que le soutien négatif renvoie principalement à un manque de ressources organisationnelles et à une culture de normalisation de la violence. / Child protection workers are regularly exposed to traumatic events at work. From these events arise numerous individual consequences (hypervigilance, depression, post-traumatic stress disorder, etc.) and organizational consequences (absenteeism, sick leave, turnover, etc.), which can last over time or even amplify without adequate intervention. The best practices to promote in the acute phase (0-30 days) following a traumatic event remain unclear and do not currently allow us to offer optimal support to workers who experience more or less severe post-traumatic reactions in the days/weeks following a trauma. Social support is recognized to be a determining factor in the recovery of individuals exposed to traumatic events, support from colleagues being particularly important for events occurring in the workplace. However, we do not know how the support of colleagues manifests itself after a traumatic event neither how it is perceived by exposed employees. Objective. Explore the support offered by colleagues after trauma and distinguish support actions according to whether they were perceived as positive or negative by employees. Method. An exploratory qualitative method was used to conduct a thematic analysis (inter-case) and typical case studies (intra-case). Semi-structured interviews of 30 employees exposed to a traumatic event in the past 0-30 days were analyzed. Results. Support actions reported by participants could fit the typology of House (1981), namely emotional, instrumental, informational and evaluation support. The most frequently reported type of support was emotional support, and the majority of participants reported receiving positive support from colleagues. Positive and negative actions are detailed. Conclusion. Positive support offered by colleagues is consistent with the essential principles of early post-traumatic intervention, while negative support refers mainly to a lack of organizational resources and a culture where violence is trivialized. The study suggests that organizations should invest in an approach based on emotional support rather than trivialization.

No description available.

Les systèmes d'alarmes jouent un rôle critique dans la bonne exploitation des installations industrielles modernes. Cependant, dans la plupart de ces systèmes, les alarmes ne sont pas toujours traitées correctement par les opérateurs car il y a régulièrement beaucoup trop d’alarmes à gérer, notamment lors des avalanches d’alarmes. Pour réduire le flux d'alarmes, notre approche consiste à détecter des redondances entre alarmes qui pourraient être supprimées. Pour atteindre cet objectif, nous recherchons dans un premier temps les adjacences fréquentes entre les alarmes contenues dans un historique. Ceci est réalisé en adaptant l’algorithme de recherche de motifs fréquents AprioriAll. Nous explorons également une seconde méthode consistant à trouver des précédences systématiques. Pour les découvrir, nous identifions les relations de domination et de mutuelle dépendance contenues dans l’historique des alarmes. Pour faciliter l’analyse experte, les relations découvertes sont traduites sous la forme d’un réseau de Pétri.Ces deux méthodes sont ensuite confrontées à un historique d’alarmes industriel fourni par General Electric. Les résultats obtenus montrent que nos deux méthodes permettent une réduction globale du flux d'alarmes qui est plus importante durant les avalanches. / Alarm systems play an important role for the safe and efficient operation of modern industrial plants. However, in most of industrial alarm systems, alarm flows cannot always be correctly managed by the operators as they often turn into alarm floods, sequences of numerous alarms occurring in a short period of time. To reduce the alarm flows, this report focuses on detection of redundant alarms that could be removed. This objective is met by, first, looking for frequent adjacency in the alarm log. To identify them, the frequent pattern mining algorithm AprioriAll is adapted. Another way to find potentially redundant alarms is to look for systematic predecessors. To discover them, dominations and mutual dependencies contained in the alarm log are identified. To ease this analysis, the discovered relations are depicted in the form of Petri nets.Both those methods are then tested against an industrial alarm log made available by General Electric. The results show that both methods allow a reduction of the alarm flow, with the biggest reduction being during alarm floods.

Les événements extrêmes sont des phénomènes, souvent considérés catastrophiques, qui se produisent dans la queue d'une distribution généralement en s'écartant d'une décroissance attendue exponentielle. En optique, ces événements ont été étudié dans le contexte des fibres, où ils ont été amplement analysés, comme des vagues scélérates, par analogie bien connue entre l'optique et l'hydrodynamique à travers l'équation de Schroedinger non linéaire. Avec le développement et l'élargissement du domaine, l'étude des événements extrêmes a été étendue à des systèmes dissipatifs avec ou sans degrés spatiaux de liberté.Dans cette thèse on se concentre sur l'étude des événements extrêmes dans trois différents types de systèmes optiques actifs et dissipatifs, présentant chacun un ou deux degrés spatiales de liberté, soit dans le plan transversal (perpendiculaire à la direction de propagation de la lumière) soit dans la direction de propagation. Des structures localisées de nature différente constituent une solution possible importante dans chacun des systèmes étudiés ; leurs interactions autant que leurs rôles dans la formation des événements extrêmes ont donc été analysés en détails. Dans le premier système, un laser à semiconducteur monolithique (VCSEL) à large surface avec un absorbant saturable, on présente la formation d'événements extrêmes dans le plan transversal à deux dimensions de l'intensité du champ électrique. En particulier, on met en évidence la liaison entre ces objets et les solitons de cavité, soit stationnaires soit oscillatoires, aussi présents dans le système. Dans le deuxième système, un laser multimodal spatialement étendu dans la direction de propagation avec injection optique, on analyse l'interaction et la fusion des solitons de phase, des structures localisées qui se propagent dans la cavité en transportant une rotation de phase de 2π. Les événements extrêmes ont été étudié dans deux configurations : une première où ils émergent de la collision des solitons de phase avec des autres structures transitoires transportant une charge chirale négative, et une deuxième où des événements d'intensité élevée émergent d'un régime instable de motif en rouleau où les solitons de cavité ne sont pas des solutions stables. Dans les deux systèmes, on examine le rôle de la chiralité dans la formation des événements extrêmes. Dans le troisième système, un laser à semi-conducteur avec injection optique, on étudie dans les détails l'interaction des solitons de cavité dans le plan transversal, décrits comme deux particules soumises à un potentiel d'interaction décroissant exponentiellement avec la distance entre les deux objets : une analogie possible avec les matériaux hydrophobes a été proposée. Des résultats préliminaires présentant des événements extrêmes spatiotemporels dans ce système sont aussi donnés. / Extreme events are phenomena, often considered as catastrophic, that occur in the tail of a distribution usually deviating from an expected, exponential decay. In optics, these events were first studied in the context of fibers, where they have been extensively analyzed, as optical rogue waves, in light of the well known analogy between optics and hydrodynamics, through the nonlinear Schroedinger equation. With the development and the broadening of the field, extreme events have been also studied in dissipative optical systems with or without spatial degrees of freedom. In this Thesis we focused on the study of extreme events in three different active and dissipative optical systems, each presenting one or two spatial degrees of freedom, either in the transverse plane, perpendicular to the direction of propagation of light, or in the propagation direction. Localized structures of different nature represent an important possible solution in each one of the systems here studied, hence their interaction and the role played in the formation of extreme events have been also investigated into details. In the first system, a monolithic broad-area semiconductor laser (VCSEL) with an intracavity saturable absorber, we report on the occurrence of extreme events in the 2D transverse plane of the electric field intensity. In particular we highlight the connection between these objects and cavity solitons, both stationary and oscillatory, also present in the system. In the second system, a highly multimode laser with optical injection spatially extended along the propagation direction, we analyze the interaction and merging of phase solitons, localized structures propagating along the cavity carrying a 2π phase rotation. Extreme events have been investigated in two configurations: a first one where they emerge from the collision of phase solitons with other transient structures carrying a negative chiral charge, and a second one where high-peak events emerge from an unstable roll regime where phase solitons are not a stable solution. In both these systems we investigate the role of chirality in the extreme event formation. In the third system, a broad-area semiconductor laser (VCSEL) with optical injection, we study into details the interaction of cavity solitons in the transverse plane, described as two particles subjected to an interaction potential exponentially decreasing with the distance between the two objects: a possible analogy with hydrophobic materials is here suggested. Some preliminary results showing spatiotemporal extreme events in this system are also given.