Étant donné un processus physique linéaire dont nous connaissons les équations d'évolution nous pouvons décrire son évolution par un certain nombre d'équations différentielles linéaires. Cette forme mathématique est souvent inexploitable, c'est pourquoi l'on préfère mettre le système sous forme d'équations d'états ou de fonction de transfert ; si le système est à commande échantillonnée on adopte une formulation matricielle dans l'espace d'état. L'une ou l'autre de ces formulations sont équivalentes et le choix ne dépend que des conclusions qui doivent être tirées sur l'évolution du système soumis à une certaine commande. Tout système, quelles que soient ses performances, est inutilisable s'il est instable ou s'il ne peut pas être stabilisé par adjonction d'un correcteur d'où l'importance primordiale d'une étude de stabilité. 11 existe un très grand nombre de méthodes d'étude de la stabilité des systèmes linéaires ; citons pour mémoire la méthode de Routh-hurwitz, les critères de Bode et de Nyquist ... Ces méthodes conviennent parfaitement pour des systèmes d'ordre peu élevé mais deviennent inexploitables, sans calculateur, pour des systèmes plus complexes. Le but de l'étude qui va suivre est de choisir un critère de stabilité s'adaptant au calcul numérique à partir duquel nous élaborerons divers programmes permettant de conclure sur la stabilité des systèmes (jusqu'à l'ordre 14) quelle que soit leur formulation ; rappelons qu'un système peut se mettre sous forme d'équations d'état, de fonction de transfert, d'équations différentielles.

Wireless sensor networks (WSNs) can provide new methods for information gathering for a variety of applications. In order to ensure the network quality of service, the quality of the measurements has to be guaranteed. Distributed fault detection and isolation schemes are preferred to centralized solutions to diagnose faulty sensors in WSNs. Indeed the first approach avoids the need for a central node that collects information from every sensor node, and hence it limits complexity and energy cost while improving reliability.In the case of state estimation over distributed architectures, the sensor faults can be propagated in the network during the information exchanging process. To build a reliable state estimate one has to make sure that the measurements issued by the different sensors are fault free. That is one of the motivations to build a distributed fault detection and isolation (FDI) system that generates an alarm as soon as a measurement is subject to a fault (has drift, cdots ). In order to diagnose faults with small magnitude in wireless sensor networks, a systematic methodology to design and implement a distributed FDI system is proposed. It resorts to distinguishability measures to indicate the performance of the FDI system and to select the most suitable node(s) for information exchange in the network with a view to FDI. It allows one to determine the minimum amount of data to be exchanged between the different nodes for a given FDI performance. In this way, the specifications for FDI can be achieved while the communication and computation cost are kept as small as possible. The distributed FDI systems are designed both in deterministic and stochastic frameworks. They are based on the parity space approach that exploits spacial redundancy as well as temporal redundancy in the context of distributed schemes. The decision systems with the deterministic method and the stochastic method are designed not only to detect a fault but also to distinguish which fault is occurring in the network. A case study with a WSN is conducted to verify the proposed method. The network is used to monitor the temperature and humidity in a computer room. The distributed FDI system is validated both with simulated data and recorded data. / Doctorat en Sciences de l'ingénieur et technologie / info:eu-repo/semantics/nonPublished

Ce mémoire présente une approche d'application de politiques de sécurité qui utilise une analyse de types basée sur un système de types multi-valeurs. Cette analyse est suivie d'une instrumentation lorsque nécessaire. Le langage cible est un langage impératif. Notre approche vise à réduire les faux-positifs générés par une analyse statique, et à réduire la surcharge d'exécution en n'instrumentant que lorsque nécessaire. Les faux-positifs surviennent dans l'analyse de systèmes informatiques lorsqu'une information est manquante durant la compilation, par exemple le nom d'un fichier, et par conséquent, son niveau de sécurité. L'idée principale de notre approche est de distinguer les réponses négatives des réponses incertaines. Au lieu de rejeter les commandes potentiellement non sécuritaires, elles sont identifiées et étiquetées pour la seconde phase de l'analyse. Les réponses négatives et positives sont traitées comme cela se fait d'habitude. Ce travail est une approche hybride d'application de politique de sécurité : les points potentiellement sécuritaires du programme détectés par notre analyse par typage sont instrumentés par la suite avec des tests dynamiques. Le système de typage sur lequel se base le nôtre a été présenté par Desharnais et al. [12]. Notre approche a été acceptée pour publication [7]. Dans ce travail nous présentons les modifications apportées au précédent travail et la phase d'instrumentation qui la complète. La nouveauté de notre approche est de rajouter un niveau de sécurité aux trois du travail précédent. Nous traitons les canaux et les variables de façon spéciale. Les programmes interagissent par le biais de canaux de communication. Des niveaux de confidentialité sont associés aux canaux plutôt qu'aux variables dont le niveau de sécurité est fonction de l'information qu'elles stockent. Notre analyse est sensible au flot. / In this Master thesis, we present an approach to enforce information flow policies using a multi-valued type-based analysis followed by an instrumentation when needed. The target is a core imperative language. Our approach aims at reducing false positives generated by static analysis, and at reducing execution overhead by instrumenting only when needed. False positives arise in the analysis of real computing systems when some information is missing at compile time, for example the name of a file, and consequently, its security level. The key idea of our approach is to distinguish between negative and may responses. Instead of rejecting the possibly faulty commands, they are identified and annotated for the second step of the analysis; the positive and negative responses are treated as is usually done. This work is a hybrid security enforcement mechanism: the maybe-secure points of the program detected by our type based analysis are instrumented with dynamic tests. The basic type based analysis has been reported by Desharnais et al. [12], this work deals with the modification of the type system and the instrumentation step. It has been accepted for publication [7]. The novelty of our approach is the handling of four security types, but we also treat variables and channels in a special way. Programs interact via communication channels. Secrecy levels are associated to channels rather than to variables whose security levels change according to the information they store. Thus the analysis is flow-sensitive.

Ce mémoire présente un mécanisme d’application de politiques de sécurité grâce à une analyse de types trivaluée sur un langage impératif. Notre analyse a pour but de réduire les faux positifs générés par l’analyse statique, tout en préparant les programmes analysés à être instrumentés. Les faux positifs se produisent dans l’analyse de systèmes informatiques à temps réel quand il manque de l’information au moment de la compilation, par exemple un nom de fichier, et par conséquent, son niveau de sécurité. Notre approche visant à répondre à la question « Y a-t’il violation de la propriété de non-interférence dans le programme ? », l’idée clé est de distinguer les réponses négatives des réponses incertaines. Au lieu de rejeter le programme systématiquement en cas d’incertitude, nous typons les instructions avec un type additionnel, unknown, indiquant l’incertitude. Notre travail est fait en préparation à un mécanisme d’application hybride, combinant l’analyse statique par l’analyse de types et l’analyse dynamique par l’instrumentation de code. Durant l’étape d’analyse statique, les réponses positives et négatives sont traitées de manière standard, tandis que les réponses incertaines sont clairement annotées du type incertain, préparant ainsi pour un éventuel passage à la deuxième étape : l’instrumentation. Une preuve que notre système de types est cohérent est donnée, ceci en montrant qu’il satisfait la non-interférence. Les programmes interagissent à travers les canaux de communication. Notre contribution réside dans la manipulation de trois types de sécurité, mais aussi dans le traitement des variables et canaux de communication de manière particulière. Les niveaux de sécurité sont associés aux canaux plutôt qu’aux variables dont les niveaux de sécurité varient selon l’information qu’elles contiennent.

« Thèse présentée à l'École des gradués de l'Université Laval pour l'obtention du grade de philosophiæ doctor (Ph. D.) » / « Ayant mis en évidence les faiblesses analytiques de la dynamique des systèmes, notre recherche se préoccupera d'abord de modifier le modèle de dynamique des système pour pouvoir exploiter les outils puissants du Contrôle Automatique. Comme nous le verrons, cette modification consistera à procéder à une approximation linéaire du modèle initial de dynamique des systèmes qui est non linéaire. Dans cet effort, nous éviterons la méthode de transformation utilisée par les tenants du Contrôle Automatique (Appiah et Coyle 1983, Mohpatra et Sharma 1983) ; elle nous éloigne de ce qui est le langage par excellence de la dynamique des systèmes: DYNAMO; et surtout, elle est impuissante devant les modèles de grande taille. Nous partirons des principes de linéarisation, pour y procéder directement avec DYNAMO (on y arriverait avec n'importe quelle version de DYNAMO) sans recourir comme N. B. Forrester à un logiciel supplémentaire, DYNASTAT ou autre. Après avoir mis au point un instrument de linéarisation, la thèse montrera comment les gestionnaires peuvent recourir à l'analyse modale pour comprendre la nature et l'ampleur des forces dynamiques présentes au sein de leur entreprise. Pour cela, elle s'appuyera sur la correspondance existant entre la stabilité intrinsèque d'un système et les valeurs propres de son modèle linéaire. En troisième lieu, la thèse fournira une procédure de modification des forces dynamiques pour stabiliser et ajuster les divers secteurs de l'entreprise. La stabilisation consiste à identifier et changer les politiques qui causent l'instabilité. L'ajustement n'intervient qu'après la stabilisation; il consiste à identifier et à renforcer les politiques qui augmentent la stabilité. Basée sur les valeurs propres et l'analyse de leur sensibilité, cette procédure se révélera être un excellent moyen de mettre en évidence les effets réels des politiques suivies dans l'entreprise et d'évaluer l'opportunité de renforcer, atténuer ou éliminer ces politiques par des mesures appropriées. Enfin, elle donne une méthode d'implantation, dans le réel, des suggestions issues de l'analyse modale. L'application sera faite sur le modèle bien connu de Lyneis. Cela permettra d'identifier les sous-systèmes constitutifs du modèle global: leur nature, leur taille et leur mode d'interaction. Le degré d'intégration des différents secteurs de l'entreprise telle que modélisée par Lyneis apparaîtra avec plus de netteté. Nous nous servirons de la procédure développée dans cette thèse pour dégager les mesures et transformations nécessaires à la stabilisation accrue de chaque secteur. Il en résultera une meilleure performance. »--Pages 10-12

In this document, most readers should be easily introduced to the challengesoffered to a designer, an implementer and a user when using electronic voting.Some of these challenges are receiving an answer in the second part of thedocument where we introduce and describe several distinct scientific resultsobtained during our years as PhD student covering essentially the years 2009 to2011 included. All these results are aimed towards either better understandingthe issues of electronic voting or solving them. Nonetheless, a reader might beinterested in picking one of these contributions to use for his own electronicvoting system while leaving the rest. That is, the different chapters of thesecond part of the document are able to stand on their own most of the timeand could be used without the others which leads us to introduce each of themseparately.After concluding in the third part, we provide a certain amount of appendicesthat were not thoroughly discussed within the second part of the documentbut that might be of interest to the reader. These appendices are made ofvarious researches, collaborations and analyzes that we performed during thosesame years and which are related to electronic voting. / Doctorat en Sciences / info:eu-repo/semantics/nonPublished

Data have become number one assets of today's business world. Thus, its exploitation and analysis attracted the attention of people from different fields and having different technical backgrounds. Data-intensive flows are central processes in today’s business intelligence (BI) systems, deploying different technologies to deliver data, from a multitude of data sources, in user-preferred and analysis-ready formats. However, designing and optimizing such data flows, to satisfy both users' information needs and agreed quality standards, have been known as a burdensome task, typically left to the manual efforts of a BI system designer. These tasks have become even more challenging for next generation BI systems, where data flows typically need to combine data from in-house transactional storages, and data coming from external sources, in a variety of formats (e.g. social media, governmental data, news feeds). Moreover, for making an impact to business outcomes, data flows are expected to answer unanticipated analytical needs of a broader set of business users' and deliver valuable information in near real-time (i.e. at the right time). These challenges largely indicate a need for boosting the automation of the design and optimization of data-intensive flows. This PhD thesis aims at providing automatable means for managing the lifecycle of data-intensive flows. The study primarily analyzes the remaining challenges to be solved in the field of data-intensive flows, by performing a survey of current literature, and envisioning an architecture for managing the lifecycle of data-intensive flows. Following the proposed architecture, we further focus on providing automatic techniques for covering different phases of the data-intensive flows' lifecycle. In particular, the thesis first proposes an approach (CoAl) for incremental design of data-intensive flows, by means of multi-flow consolidation. CoAl not only facilitates the maintenance of data flow designs in front of changing information needs, but also supports the multi-flow optimization of data-intensive flows, by maximizing their reuse. Next, in the data warehousing (DW) context, we propose a complementary method (ORE) for incremental design of the target DW schema, along with systematically tracing the evolution metadata, which can further facilitate the design of back-end data-intensive flows (i.e. ETL processes). The thesis then studies the problem of implementing data-intensive flows into deployable formats of different execution engines, and proposes the BabbleFlow system for translating logical data-intensive flows into executable formats, spanning single or multiple execution engines. Lastly, the thesis focuses on managing the execution of data-intensive flows on distributed data processing platforms, and to this end, proposes an algorithm (H-WorD) for supporting the scheduling of data-intensive flows by workload-driven redistribution of data in computing clusters. The overall outcome of this thesis an end-to-end platform for managing the lifecycle of data-intensive flows, called Quarry. The techniques proposed in this thesis, plugged to the Quarry platform, largely facilitate the manual efforts, and assist users of different technical skills in their analytical tasks. Finally, the results of this thesis largely contribute to the field of data-intensive flows in today's BI systems, and advocate for further attention by both academia and industry to the problems of design and optimization of data-intensive flows. / Doctorat en Sciences de l'ingénieur et technologie / info:eu-repo/semantics/nonPublished

Les systèmes automatisés d'entreposage {Automated Storage and Retrieval Systems- AS/RS) sont considérés aujourd'hui comme une technologie de pointe dans le domaine de l'entreposage et de la distribution à haut débit. L'implantation d'un tel système représente un investissement corporatif majeur, il est donc attendu que son niveau de performance soit élevé. Ce niveau de performance, pour un environnement donné, est le résultat d'un ensemble de décisions relatives à la fois au design et au contrôle du système. Pour cette raison, tant aux niveaux industriel qu'académique, on cherche à développer des approches permettant de modéliser, concevoir et contrôler au mieux ces systèmes qui jouent un rôle critique dans les chaînes logistiques modernes. À cette fin, plusieurs approches issues de la recherche opérationnelle peuvent être appliquées. Cette thèse comporte quatre articles, présentant chacun un aspect distinct de l'étude des AS/RS. Nous présentons, dans le premier article, une revue de littérature traitant des approches de modélisation des AS/RS. L'étude met l'accent sur les hypothèses de modélisation employées dans les différents articles et qui ne sont pas toujours intuitives, ni même mentionnées. Cette réalité fait en sorte qu'il est parfois très difficile d'exploiter les résultats de recherches précédentes afin de les transposer dans un autre contexte. En plus d'isoler les hypothèses de modélisation, nous présentons une structure séparant les différentes questions de recherche en fonction des problèmes étudiés. Les résultats de cette revue prennent la forme d'une synthèse permettant d'associer, pour un problème donné, les études et résultats provenant de contextes similaires. Nous proposons dans le second article un modèle de simulation à événements discrets conçu pour étudier les AS/RS à charge unitaire. En prenant appui sur la programmation orientée-objet, le modèle a été conçu de manière à pouvoir aisément modéliser plusieurs configurations, comme par exemple les systèmes à plusieurs allées ou les AS/RS visant à gérer la collecte de petits items dans des contenants. Une description détaillée du moteur de simulation est donnée. C'est grâce à ce modèle que les chapitres subséquents ont pu voir le jour, en permettant l'étude empirique de ces systèmes hautement complexes et dynamiques. Dans le troisième article, nous présentons une étude sur le problème de gestion de l'espace dans les AS/RS. Ce problème consiste à définir, pour chaque localisation de stockage, le ou les produits pouvant y être stockés. Nous nous intéressons principalement à l'étude de l'entreposage par zones dont le nombre peut varier entre une seule zone et autant de zones qu'il y a de produits. La gestion de l'espace a suscité beaucoup d'intérêt scientifique vers la fin des années 70. Plusieurs modèles analytiques ont été formulés, résultant en certaines conclusions largement acceptées dans tous les milieux. Cependant, nous constatons que la validité de ces modèles analytiques repose sur certaines hypothèses restrictives. À l'aide du modèle de simulation présenté, nous montrons que ces conclusions ne tiennent plus lorsque nous nous transposons dans un contexte réaliste. Ce nouveau résultat nous amène à voir la gestion de l'espace en fonction des caractéristiques des produits entreposés. Dans le quatrième article, nous portons notre attention sur le problème de séquencement des requêtes dans un AS/RS. Le séquencement des requêtes consiste à définir l'ordre dans lequel les requêtes de stockage et de collecte seront complétées selon un horizon à durée déterminée, dans un objectif de minimisation du temps de cycle moyen. Cela revient à maximiser le rendement du système. Pour ce faire, nous proposons une adaptation des heuristiques de la littérature pour traiter le cas de séquencement dynamique, puis nous proposons une des premières formulations mathématiques au problème. Par la suite, nous évaluons les opérations du système à l'aide du modèle de simulation détaillé dans le deuxième article. Les résultats empiriques obtenus illustrent l'effet positif du séquencement sur la performance du système en plus de fournir une comparaison des différentes approches de séquencement étudiées. À travers ces quatre chapitres, nous démontrons que la simulation et l'optimisation des systèmes automatisés d'entreposage posent plusieurs défis. Nous avons présenté un modèle de simulation robuste qui a permis de faire avancer les connaissances dans le domaine de la gestion de l'espace et du séquencement des requêtes.

Dans ce travail de maîtrise, nous avons exploité l'approche de modélisation et de simulation proposée par la Dynamique des Systèmes (DS). La DS définit tout système complexe comme une structure, dont les composants sont interconnectés par des relations de causalité. Les modèles de la DS sont basés sur les concepts d'interaction, de rétroaction et de complexité. Cette méthodologie permet de comprendre et de simuler le comportement dynamique d'un système complexe et de mettre en évidence les facteurs structurels ayant un impact sur les performances et la résilience de ce dernier. Elle permet ainsi de comprendre le pourquoi et le comment de l'évolution de ce système dans le temps en vue de modifier et d'améliorer son fonctionnement. La DS permet également d'analyser l'impact d'une prise de décision sur l'évolution du système permettant ainsi d'étudier divers scénarios et stratégies organisationnels. Dans ce mémoire, nous avons utilisé la DS comme approche de modélisation et de simulation à l'amélioration des processus de prise de décision dans le cadre des aides à la mobilité et notamment au projet ± d'attribution, de valorisation et de maintenance des fauteuils roulants ¿ pour le compte de l'Institut de Réadaptation en Déficience Physique de Québec (IRDPQ). Nous avons ainsi analysé le cycle de vie d'une aide à la mobilité, proposé un modèle de simulation qui tient compte de la maintenance préventive. Dans ce modèle, nous avons également analysé l'évolution du stock de fauteuils roulants et avons présenté l'évolution de ce flux en termes de défauts par semaine afin de montrer l'incidence de la stratégie de maintenance adoptée à la réduction du nombre de pannes et par conséquent, à l'amélioration de la fiabilité de ces équipements. Notre étude a notamment montré que la fiabilité des équipements peut être améliorée tout en réduisant les actions de maintenance inutiles par la prise en compte d'une maintenance intelligente qui permettra de réduire la fréquence des pannes.

Depuis plus de vingt années, l'Organisation Mondiale de la Santé et certains organismes nationaux appellent à une refonte des modèles d'organisation des soins et services de santé pour mieux répondre aux besoins et aux attentes des patients par une meilleure qualité des prestations de soins et, plus récemment, une plus grande valeur sociale. En effet, de nombreux auteurs ont pointé du doigt la fragmentation des processus de soins et la persistance de silos à la fois organisationnels, professionnels et de données comme cause de ruptures dans la continuité des services de santé, de problèmes de coordination, de temps d'attente inutiles, de failles dans la circulation de l'information entre les différents épisodes et de réalisation d'examens parfois superflus. Les parcours de soins ont le potentiel de répondre à ces enjeux, mais font l'objet de plusieurs défis. Le premier défi tient dans le fait qu'il existe encore une confusion sur la définition et la caractérisation des parcours de soins. L'absence de définition commune conduit à un manque de normalisation et une incapacité à réaliser des études comparatives fiables. Un second défi tient dans la compréhension des facteurs influençant la mise en œuvre des parcours de soins. En effet, l'approche de la gestion du changement organisationnel et de la transformation des pratiques est critique pour une implantation efficace et pérenne. Un troisième défi tient dans l'absence d'un cadre méthodologique de mise en œuvre des parcours de soins qui intègre les dernières connaissances en matière de science de la mise en œuvre visant la mobilisation des meilleures pratiques cliniques. Mobilisant une perspective de pensée systémique et de sociologie pragmatique, cette thèse par articles tente d'apporter des éléments de réponses à chacun de ces trois défis. À cette fin, le **premier article** mobilise une méthode hybride de revue systématique de la littérature, d'analyse conceptuelle et d'analyse bibliométrique dans le but de redéfinir et caractériser le concept de parcours de soins. Cette revue de littérature a permis de développer un cadre composé de 28 sous-catégories regroupées en sept attributs qui devraient être pris en compte dans la mise en œuvre des parcours de soins. La formulation de ces attributs, les antécédents à la mise en œuvre comme facteurs de succès et les conséquences comme résultats potentiels, permettent l'opérationnalisation de ce modèle pour n'importe quel parcours dans n'importe quel contexte. De plus, cet article offre une nouvelle définition des parcours de soins pour atteindre un consensus international et une comparabilité des interventions. Le **deuxième article** se concentre sur l'analyse des facteurs favorables, des défis et des barrières à la mise en œuvre des parcours de soins. En mobilisant une approche émergente combinant la recherche-action et la théorisation ancrée, il a été possible de développer un modèle qui explique les facteurs qui influencent positivement ou négativement la mise en œuvre d'innovations dans les parcours de soins. Le modèle représente les interactions entre les facteurs facilitants, les conditions favorables à l'émergence de l'adoption de l'intervention, les facilitateurs du processus de mise en œuvre et les défis ou barrières, y compris ceux liés spécifiquement au contexte local. Ce qui semble totalement nouveau, c'est l'incarnation de l'objectif commun mobilisateur à travers la participation active des patients partenaires à la prise de décision, à la collecte et à l'analyse des données et à l'élaboration de solutions. Le **troisième article** est un article méthodologique qui s'appuie sur une série de revues de littérature sur les concepts clés ainsi qu'un projet de recherche-action participative de plus de deux ans. Conçu autour de 13 étapes regroupées en cinq phases principales, ce cadre fournit des stratégies de mise en œuvre, des méthodes de recherche et des mécanismes issus de l'approche des systèmes de santé apprenants pour chaque étape de mise en œuvre des parcours de soins, vus comme un ensemble d'interventions au sein des systèmes de santé. Bien que cette approche ne puisse garantir le succès d'un projet, la mise en œuvre des stratégies et méthodes associée à l'approche de sociologie pragmatique du changement, tant au niveau individuel qu'organisationnel, doit permettre de favoriser une transformation réelle et durable des pratiques professionnelles et organisationnelles, et accélérer l'apprentissage dans le but de repenser et d'optimiser la prestation des services de soins de santé pour et avec les patients. / For more than twenty years, the World Health Organization and several national entities have called a major change in health system redesign initiatives to better meet patient expectations and, more recently, to deliver greater social value Indeed, many authors have pointed to fragmented care processes as a cause of breakdowns in the continuity of healthcare services, unnecessary waiting times, flaws in the flow of information between the different episodes and the realization of exams that may be superfluous. Care pathways have the potential to respond to these issues but are subject to several challenges. The first challenge lies in the fact that there is still confusion about the definition and characterization of care pathways. The absence of a common definition leads to a lack of standardization and an inability to carry out reliable comparative studies. A second challenge lies in understanding the factors influencing the implementation of care pathways. Indeed, the approach to organizational change management and practice transformation is critical to the effective and sustainable implementation. A third challenge lies in the absence of a methodological framework for implementing care pathways that incorporates the latest knowledge in implementation science, aimed at mobilizing best clinical practices. Using a systems thinking and pragmatic sociology perspective, this article-based thesis attempts to provide some answers to each of these three challenges. To this end, the **first article** mobilizes a hybrid method of systematic literature review, concept analysis and bibliometric analysis with the aim of redefining and characterizing the concept of care pathways. This literature review led to the development of a framework encompassing 28 subcategories grouped into seven attributes that should be considered when implementing care pathways. The formulation of these attributes, with antecedents to implementation as success factors and consequences as potential outcomes, allows the operationalization of this model for any pathway in any context. In addition, this article offers a new definition of care pathways to achieve international consensus and comparability of interventions. The **second article** focuses on the analysis of enabling factors, challenges, and barriers to the implementation of care pathways. By mobilizing an emerging approach combining action research and grounded theory, it has been possible to develop a model that explains the factors that positively or negatively influence the implementation of innovations in care pathways. The model represents interactions between facilitating factors, favourable conditions for the emergence of intervention adoption, implementation process enablers and challenges or barriers including those related specifically to the local context. What seems to be totally new is the embodiment of the mobilizing shared objective of active patient-partner participation in decision-making, data collection and analysis and solution building. The **third article** is a methodological paper based on a series of literature reviews on key concepts and a participatory action research project lasting over two years. Designed around 13 steps grouped into five main phases, this framework provides implementation strategies, research methods and Learning Health Systems mechanisms for each step of care pathways implementation, as a set of interventions within healthcare systems. Whilst this cannot guarantee the success of any project, application of the strategies and methods together with the new pragmatic sociology to change will support real and lasting transformation in professional and organizational practices and accelerate learning with the aim of redesigning and optimizing the delivery of healthcare services for and with patients.