Bibliographies thématiques / Stochastic Hybrid Automata

Sommaire

Articles de revues
Thèses
Chapitres de livres
Actes de conférences

Littérature scientifique sur le sujet « Stochastic Hybrid Automata »

Auteur : Grafiati

Publié le 29 mars 2025

Créez une référence correcte selon les styles APA, MLA, Chicago, Harvard et plusieurs autres

Choisissez une source :

Consultez les listes thématiques d’articles de revues, de livres, de thèses, de rapports de conférences et d’autres sources académiques sur le sujet « Stochastic Hybrid Automata ».

À côté de chaque source dans la liste de références il y a un bouton « Ajouter à la bibliographie ». Cliquez sur ce bouton, et nous générerons automatiquement la référence bibliographique pour la source choisie selon votre style de citation préféré : APA, MLA, Harvard, Vancouver, Chicago, etc.

Vous pouvez aussi télécharger le texte intégral de la publication scolaire au format pdf et consulter son résumé en ligne lorsque ces informations sont inclues dans les métadonnées.

Articles de revues sur le sujet "Stochastic Hybrid Automata"

Bortolussi, L., et A. Policriti. « (Hybrid) automata and (stochastic) programs * The hybrid automata lattice of a stochastic program ». Journal of Logic and Computation 23, n^o 4 (6 décembre 2011) : 761–98. http://dx.doi.org/10.1093/logcom/exr045.

Texte intégral

Styles APA, Harvard, Vancouver, ISO, etc.

Bemporad, Alberto, et Stefano Di Cairano. « Model-Predictive Control of Discrete Hybrid Stochastic Automata ». IEEE Transactions on Automatic Control 56, n^o 6 (juin 2011) : 1307–21. http://dx.doi.org/10.1109/tac.2010.2084810.

Texte intégral

Styles APA, Harvard, Vancouver, ISO, etc.

Castañeda, G. A. Pérez, J.-F. Aubry et N. Brinzei. « Stochastic hybrid automata model for dynamic reliability assessment ». Proceedings of the Institution of Mechanical Engineers, Part O : Journal of Risk and Reliability 225, n^o 1 (mars 2011) : 28–41. http://dx.doi.org/10.1177/1748006xjrr312.

Texte intégral

Styles APA, Harvard, Vancouver, ISO, etc.

Ballarini, Paolo, et Benoît Barbot. « Cosmos ». ACM SIGMETRICS Performance Evaluation Review 49, n^o 4 (2 juin 2022) : 65–69. http://dx.doi.org/10.1145/3543146.3543161.

Texte intégral

Styles APA, Harvard, Vancouver, ISO, etc.

Lunze, Jan, et Bernhard Nixdorf. « Representation of Hybrid Systems by Means of Stochastic Automata ». Mathematical and Computer Modelling of Dynamical Systems 7, n^o 4 (1 décembre 2001) : 383–422. http://dx.doi.org/10.1076/mcmd.7.4.383.3639.

Texte intégral

Styles APA, Harvard, Vancouver, ISO, etc.

Huang, Tao, Zining Cao et Qing Li. « Verification and Fault Analysis based on Combination of AADL and Modelica ». Journal of Physics : Conference Series 2261, n^o 1 (1 juin 2022) : 012014. http://dx.doi.org/10.1088/1742-6596/2261/1/012014.

Texte intégral

Résumé :

Abstract CPS is a multidimensional complex system that can realize the interaction between computing process and physical process. Aiming at the problems of fault occurrence and uncertain behavior, this paper proposes the fault analysis stochastic hybrid automata as a formal model, the attributes of randomness and fault analysis are added through AADL behavior attachment to expand the attributes of hybrid automata, and applies the extended automata to the embedded system for system description and fault analysis. The model is used to model the fire control system, and AADL, Modelica and fault tree are combined to form a new model. The behavior is analyzed, and the conversion algorithm and conversion example are given.

Styles APA, Harvard, Vancouver, ISO, etc.

Vatani, Nasim, et Rasul Enayatifar. « Gray Level Image Edge Detection Using a Hybrid Model of Cellular Learning Automata and Stochastic Cellular Automata ». OALib 02, n^o 01 (2015) : 1–8. http://dx.doi.org/10.4236/oalib.1101203.

Texte intégral

Styles APA, Harvard, Vancouver, ISO, etc.

Caravagna, Giulio, Alberto d'Onofrio, Marco Antoniotti et Giancarlo Mauri. « Stochastic Hybrid Automata with delayed transitions to model biochemical systems with delays ». Information and Computation 236 (août 2014) : 19–34. http://dx.doi.org/10.1016/j.ic.2014.01.010.

Texte intégral

Styles APA, Harvard, Vancouver, ISO, etc.

Kumar, Ranjan, Pavel Kudinov, Sevostian Bechta, Florence Curnier et Michel Marques. « Dynamic Hybrid Reliability Studies of a Decay Heat Removal System ». International Journal of Reliability, Quality and Safety Engineering 22, n^o 04 (août 2015) : 1550020. http://dx.doi.org/10.1142/s0218539315500205.

Texte intégral

Résumé :

Some critical safety systems exhibit the characteristics of hybrid stochastic class whose performance depends on the dynamic interactions of deterministic variables of physical phenomena and probabilistic variables of system failures. However, conventional probabilistic safety assessment (PSA) method involves static event and linked fault tree analysis and does not capture the dynamic interactions of such hybrid stochastic systems. Additionally, the existing dynamic PSA methods do not consider any repair possibility of some failed components during safety assessment. To address these issues, this paper presents a dynamic hybrid reliability assessment scheme for performance studies of repairable nuclear safety systems during a mission time. This scheme combines the features of reliability block diagram (RBD) for system compositions and partial differential equations for system physics using a customized stochastic hybrid automata tool implemented on Python platform. A case study of decay heat removal (DHR) systems has been performed using the introduced scheme. The impacts of failure rates and repair rates on sodium temperature evolution over a mission time have been analyzed. The results provide useful safety insights in mission safety tests of DHR systems. In sum, this work advances the dynamic safety assessment approach for complex system designs including nuclear power plants.

Styles APA, Harvard, Vancouver, ISO, etc.

Mereghetti, Carlo, Beatrice Palano et Priscilla Raucci. « Unary Quantum Finite State Automata with Control Language ». Applied Sciences 14, n^o 4 (12 février 2024) : 1490. http://dx.doi.org/10.3390/app14041490.

Texte intégral

Résumé :

We study quantum finite automata with control language (QFCs), a theoretical model for finite memory hybrid systems coupling a classical computational framework with a quantum component. We constructively show how to simulate measure-once, measure-many, reversible, and Latvian QFAs by QFCs, emphasizing the size cost of such simulations. Next, we prove the decidability of testing the periodicity of the stochastic events induced by a given QFC. Thanks to our QFA simulations, we can extend such a decidability result to measure-once, measure-many, reversible, and Latvian QFAs as well. Finally, we focus on comparing the size efficiency of quantum and classical finite state automata on unary regular language recognition. We show that unary regular languages can be recognized by isolated cut point QFCs for which the size is generally quadratically smaller than the size of equivalent DFAs.

Styles APA, Harvard, Vancouver, ISO, etc.

Plus de sources

Thèses sur le sujet "Stochastic Hybrid Automata"

Erbes, Teodora. « Stochastic Learning Feedback Hybrid Automata for Dynamic Power Management in Embedded Systems ». Thesis, Virginia Tech, 2004. http://hdl.handle.net/10919/9709.

Texte intégral

Résumé :

Dynamic Power Management (DPM) refers to the strategies employed at system level to reduce energy expenditure (i.e. to prolong battery life) in embedded systems. The trade-off involved in DPM techniques is between the reductions of energy consumption and latency incurred by the jobs to be executed by the system. Such trade-offs need to be decided at runtime making DPM an on-line problem. In this context, the contributions of this thesis are two-fold. Firstly, we formulate the DPM problem as a hybrid automaton control problem. We model a timed hybrid automaton to mathematically analyze various opportunities in optimizing energy in a given system model. Secondly, stochastic control is added to the automata model, whose control strategy is learnt dynamically using stochastic learning automata (SLA). Several linear and non-linear feedback algorithms are incorporated in the final Stochastic Learning Hybrid Automata (SLHA) model. Simulation-based experiments show the expediency of the feedback systems in stationary environments. Further experiments are conducted using real trace data to compare stochastic learning strategies to the outcomes of several former predictive algorithms. These reveal that SLHA attains better trade-offs than the other studied methods under certain trace data. Advanced characterization of trace sequences, which allows a better performance of SLHA, is a subject of further study.
Master of Science

Styles APA, Harvard, Vancouver, ISO, etc.

Hequet, Gaël. « Intégration des comportements dysfonctionnels dans un jumeau numérique de réacteur nucléaire à l’aide des Automates Stochastiques Hybrides ». Electronic Thesis or Diss., Université de Lorraine, 2024. http://www.theses.fr/2024LORR0266.

Texte intégral

Résumé :

Cette thèse s'inscrit dans le simulateur d'entraînement du projet « Réacteur Numérique » dans le but d'intégrer la modélisation des dégradations, du vieillissement et des défaillances. En effet, l'objectif est de permettre à des opérateurs de conduite de se former et s'entraîner à réagir en cas de comportements dysfonctionnels du système, ceux-ci étant voués à se dégrader, ainsi que de lui permettre d'évaluer l'impact de sa stratégie de conduite sur le système durant laps de temps plus long. Pour répondre à ce besoin, et notamment représenter le lien entre comportements dysfonctionnels et fonctionnels, les travaux de cette thèse ont porté sur l'extension du concept des ASH. Ceci, pour considérer en premier lieu la dégradation, son évolution, son impact sur le taux de défaillance avant de permettre à ces modèles de recevoir des injections de commande en cours de simulation, permettant de les utiliser dans le cadre de session d'entraînement. Puis, de les étendre encore une fois en liant la dégradation aux performances du composant modélisé au travers de dérives comme une dérive de capteur ou de commande, ceci créant les ASHBP. En plus de cet outil de modélisation, les travaux de cette thèse ont porté sur le développement d'un logiciel modulaire indépendant, le MCM2D pouvant s'intégrer dans l'environnement de co-simulation qu'est le simulateur d'entraînement du « Réacteur Numérique ». Pour ce faire, il a fallu effectuer des études et des développements sur la synchronisation entre les modèles et le MCM2D ainsi qu'avec les autres logiciels du simulateur d'entraînement. Le MCM2D est constitué de quatre modules assurant chacun une mission spécifique. Le MSD simule un système complexe en temps réel ou accéléré en permettant des communications avec des logiciels tiers et des injections de commande pour des sessions d'entraînement. Le MV permet d'effectuer une simulation en temps accéléré afin de faire vieillir les composants du système simulés par le MSD. Le MP permet d'effectuer des simulations de Monte-Carlo pour l'étude de l'impact d'une stratégie de maintenance sur le système modélisé. Enfin, afin de permettre à un utilisateur humain de communiquer et injecter des commandes dans le MCM2D et ses modules, le MIG permet l'utilisation d'une IHM. Ce MCM2D a été intégré dans le simulateur d'entraînement du projet « Réacteur Numérique » pour modéliser un Relais de Commande à Main (RCM) au cours d'un scénario de « Collapsage de la bulle » à l'aide de divers scénarios montrant : le phénomène de dérive de commande, un comportement de blocage de commande, un exemple d'utilisation en temps accéléré avec injection de commande et un exemple d'étude pronostic sur l'impact d'une stratégie de maintenance. Au travers de ces démonstrations, il est montré que les ASHBP peuvent être utilisés afin de modéliser l'évolution de la dégradation selon le profil d'utilisation permettant de garder en mémoire la vie du composant modélisé. De plus, ceux-ci peuvent être utilisé à la fois dans le cadre de simulation de Monte-Carlo mais aussi dans le cadre de simulation d'entraînement avec des injections de commandes et des pas de temps de calcul variables selon les besoins de l'utilisateur. Enfin, il a été montré que l'environnement de simulation de ces automates, le MCM2D, peut être intégré dans un environnement multi-logiciels tout en pouvant être modifié à l'avenir pour effectuer une plus grande variété de missions par l'ajout de nouveaux modules. Cette thèse présente ainsi des travaux à la fois dans le domaine de la modélisation dynamique des systèmes, ainsi que dans le domaine de la simulation d'entraînement
This thesis is part of the training simulator of the "Digital Reactor" project with the aim of integrating the modelling of degradation, aging and failures. Indeed, the objective is to allow driving operators to train themselves to react in the event of dysfunctional behaviours in their system, which are bound to deteriorate, as well as to allow them to evaluate the impact of their driving strategy on the system over a longer period of time. To meet this need, and in particular to represent the link between dysfunctional and functional behaviours, the work of this thesis focused on the extension of the concept of ASH. This is to consider in the first place the degradation, its evolution, its impact on the failure rate before allowing these models to receive control injections during simulation, allowing them to be used in the context of training sessions. Then, to extend them once again by linking the degradation to the performance of the modelled component through drifts such as sensor or control drift, this creating the ASHBP. In addition to this modelling tool, the work of this thesis focused on the development of an independent modular software, the MCM2D that can be integrated into the co-simulation environment that is the training simulator of the "Digital Reactor". To do this, it was necessary to carry out studies and developments on the synchronization between the models and the MCM2D as well as with the other software of the training simulator. The MCM2D is made up of four modules, each with a specific mission. The MSD simulates a complex system in real-time or accelerated by enabling communications with third-party software and command injections for training sessions. The MV allows for accelerated simulation to age the system components simulated by the MSD. The MP allows Monte Carlo simulations to be carried out to study the impact of a maintenance strategy on the modelled system. Finally, in order to allow a human user to communicate and inject commands into the MCM2D and its modules, the MIG allows the use of an HMI. This MCM2D was integrated into the training simulator of the "Digital Reactor" project to model a Hand Control Relay (HCR) during a "Bubble Collapse" scenario using various scenarios showing: the phenomenon of control drift, a control blocking behaviour, an example of accelerated use with control injection and an example of a prognostic study on the impact of a maintenance strategy. Through these demonstrations, it is shown that ASHBP can be used to model the evolution of degradation according to the use profile allowing to keep in memory the life of the modelled component. In addition, these can be used both in the Monte Carlo simulation framework but also in the training simulation framework with variable command injections and calculation time steps according to the user's needs. Finally, it has been shown that the simulation environment of these automata, the MCM2D, can be integrated into a multi-software environment while being able to be modified in the future to perform a wider variety of missions by adding new modules. This thesis presents work both in the field of dynamic modelling of systems, as well as in the field of training simulation

Styles APA, Harvard, Vancouver, ISO, etc.

Perez, Castaneda Gabriel Antonio. « Évaluation par simulation de la sûreté de fonctionnement de systèmes en contexte dynamique hybride ». Thesis, Vandoeuvre-les-Nancy, INPL, 2009. http://www.theses.fr/2009INPL016N/document.

Texte intégral

Résumé :

La recherche de solutions analytiques pour l’évaluation de la fiabilité en contexte dynamique n’est pas résolue dans le cas général. Un état de l’art présenté dans le chapitre 1 montre que des approches partielles relatives à des hypothèses particulières existent. La simulation de Monte Carlo serait le seul recours, mais il n’existait pas d’outils performants permettant la simulation simultanée de l’évolution discrète du système et de son évolution continue prenant en compte les aspects probabilistes. Dans ce contexte, dans le chapitre 2, nous introduisons le concept d’automate stochastique hybride capable de prendre en compte tous les problèmes posés par la fiabilité dynamique et d’accéder à l’évaluation des grandeurs de la sûreté de fonctionnement par une simulation de Monte Carlo implémentée dans l’environnement Scilab-Scicos. Dans le chapitre 3, nous montrons l’efficacité de notre approche de simulation pour l’évaluation de la sûreté de fonctionnement en contexte dynamique sur deux cas test dont un est un benchmark de la communauté de la Sûreté de Fonctionnement. Notre approche permet de répondre aux problèmes posés, notamment celui de la prise en compte de l’influence de l’état discret, de l’état continu et de leur interaction dans l’évaluation probabiliste des performances d’un système dans lequel en outre, les caractéristiques fiabilistes des composants dépendent eux-mêmes des états continu et discret. Dans le chapitre 4, nous donnons une idée de l’intérêt du contrôle par supervision comme moyen de la sûreté de fonctionnement. Les concepts d’automate observateur et de contrôleur ont été introduits et illustrés sur notre cas test afin de montrer leur potentialité
The research of analytical solutions for reliability assessment in dynamic context is not solved in the general case. A state of the art presented in chapter 1 shows that partial approaches exist in the case of particular hypothesis. The Monte Carlo simulation would be the only recourse, but there were no tools allowing the simultaneous simulation of the discrete evolution of the system and its continuous evolution taking into account the probabilistic aspects. In this context, in chapter 2, we introduce the concept of hybrid stochastic automaton capable of taking into account all the problems posed by dynamic reliability and to accede to the assessment of dependability parameters by a Monte Carlo simulation implemented in Scicos-Scilab environment. In chapter 3, we show the effectiveness of our approach of simulation for dependability assessment in dynamic context through two test cases of which case one is a benchmark of dependability community. Our approach responds to the posed problems, notably the consideration of the influence of the discrete state, of the continuous state and their interaction, in the probabilistic assessment of the performances of a system in which besides, the reliability characteristics of components depend themselves of the continuous and discrete states. In chapter 4, we give an idea of the interest of control by supervision as a means of dependability. The concepts of observer automaton and of controller have been introduced and illustrated on our test case in order to show their potential

Styles APA, Harvard, Vancouver, ISO, etc.

Perez, Castaneda Gabriel Antonio. « Évaluation par simulation de la sûreté de fonctionnement de systèmes en contexte dynamique hybride ». Electronic Thesis or Diss., Vandoeuvre-les-Nancy, INPL, 2009. http://www.theses.fr/2009INPL016N.

Texte intégral

Résumé :

Styles APA, Harvard, Vancouver, ISO, etc.

Stewart, Donal Patrick. « Image analysis and computational modelling of Activity-Dependent Bulk Endocytosis in mammalian central nervous system neurons ». Thesis, University of Edinburgh, 2017. http://hdl.handle.net/1842/31468.

Texte intégral

Résumé :

Synaptic vesicle recycling is the reuse of synaptic membrane material and proteins after vesicles have been exocytosed at the pre-synaptic terminal of a neuronal synapse. The discovery of the mechanisms by which recycling operates is a subject of active research. Within small mammalian central nervous system nerve terminals, two studied mechanisms of recovery are clathrin-mediated endocytosis and activity-dependent bulk endocytosis. Research into the comparative kinetics and mechanisms underlying these endocytosis mechanisms commonly involves time-series fluorescence microscopy of in vitro cultures. Synaptic proteins are tagged with fluorescent markers, or the synaptic vesicles are labelled with fluorescent dye. The change in fluorescence levels of individual synapses over time in response to stimuli is used to understand synaptic activity. The image analysis of these time-series images frequently requires substantial manual effort to extract the changing synaptic fluorescence intensity levels over time. This work focusses on two closely interlinked areas, the development of improved automated image analysis tools to facilitate the analysis of microscopy image data, and computational simulations to leverage the data obtained from these experiments to gain mechanistic insight into the underlying processes involved in synaptic vesicle recycling. The imaged properties of synapses within the time-series images are characterised, in terms of synapse movement during the course of an experiment. This characterisation highlights the properties which risk adding error to the extracted fluorescence intensity data, as analysis generally requires segmentation of regions of interest with fixed size and location. Where possible, protocols to optimise the manual selection of synapses in the image are suggested. The manual selection of synapses within time-series images is a common but time consuming and difficult task. It requires considerable skill on the part of the researcher to select synapses from noisy images without introducing error or bias. Automated tools for either general image segmentation or for segmentation of synapse-like puncta do exist, but have mixed results when applied to time-series experiments. This work introduces the use of knowledge of the experiment protocol into the segmentation process. The selection of synapses as they respond to known stimuli is compared against other current segmentation methods, and tools to perform this segmentation are provided. This use of synapse activity improves the quality of the segmented set of synapses over existing segmentation tools. Finally, this work builds a number of computational models, to allow published individual data points to be aggregated into a coherent view of overall synaptic vesicle recycling. The first is FM-Sim, a stochastic hybrid model of overall synapse recycling as is expected to occur during the course of an experiment. This closed system model handles the processes of exocytosis and endocytosis. It uses Bayesian inference to fit model parameters to experimental data. In particular, it uses the experimental protocol to separate the mechanisms and rates that may contribute to the observed experimental data. The second is a mathematical model of one aspect of synaptic vesicle recycling of particular interest - homoeostasis of plasma membrane integrity on the presynaptic terminal. This model provides bounds on efficiency of the studied endocytosis mechanisms at recovery of plasma membrane area during and after neuronal stimulus. Both the image analysis and the computational simulations demonstrated in this work provide useful tools and insights into current research of synaptic vesicle recycling and the role of activity-dependent bulk endocytosis. In particular, the utility of adding time-dependent experimental protocol knowledge to both the image analysis tools and the computational simulations is shown.

Styles APA, Harvard, Vancouver, ISO, etc.

Passerat-Palmbach, Jonathan. « Contributions to parallel stochastic simulation : application of good software engineering practices to the distribution of pseudorandom streams in hybrid Monte Carlo simulations ». Phd thesis, Université Blaise Pascal - Clermont-Ferrand II, 2013. http://tel.archives-ouvertes.fr/tel-00858735.

Texte intégral

Résumé :

The race to computing power increases every day in the simulation community. A few years ago, scientists have started to harness the computing power of Graphics Processing Units (GPUs) to parallelize their simulations. As with any parallel architecture, not only the simulation model implementation has to be ported to the new parallel platform, but all the tools must be reimplemented as well. In the particular case of stochastic simulations, one of the major element of the implementation is the pseudorandom numbers source. Employing pseudorandom numbers in parallel applications is not a straightforward task, and it has to be done with caution in order not to introduce biases in the results of the simulation. This problematic has been studied since parallel architectures are available and is called pseudorandom stream distribution. While the literature is full of solutions to handle pseudorandom stream distribution on CPU-based parallel platforms, the young GPU programming community cannot display the same experience yet. In this thesis, we study how to correctly distribute pseudorandom streams on GPU. From the existing solutions, we identified a need for good software engineering solutions, coupled to sound theoretical choices in the implementation. We propose a set of guidelines to follow when a PRNG has to be ported to GPU, and put these advice into practice in a software library called ShoveRand. This library is used in a stochastic Polymer Folding model that we have implemented in C++/CUDA. Pseudorandom streams distribution on manycore architectures is also one of our concerns. It resulted in a contribution named TaskLocalRandom, which targets parallel Java applications using pseudorandom numbers and task frameworks. Eventually, we share a reflection on the methods to choose the right parallel platform for a given application. In this way, we propose to automatically build prototypes of the parallel application running on a wide set of architectures. This approach relies on existing software engineering tools from the Java and Scala community, most of them generating OpenCL source code from a high-level abstraction layer.

Styles APA, Harvard, Vancouver, ISO, etc.

Botha, Marthinus Ignatius. « Modelling and simulation framework incorporating redundancy and failure probabilities for evaluation of a modular automated main distribution frame ». Diss., University of Pretoria, 2013. http://hdl.handle.net/2263/33345.

Texte intégral

Résumé :

Maintaining and operating manual main distribution frames is labour-intensive. As a result, Automated Main Distribution Frames (AMDFs) have been developed to alleviate the task of maintaining subscriber loops. Commercial AMDFs are currently employed in telephone exchanges in some parts of the world. However, the most significant factors limiting their widespread adoption are costeffective scalability and reliability. Therefore, an impelling incentive is provided to create a simulation framework in order to explore typical implementations and scenarios. Such a framework will allow the evaluation and optimisation of a design in terms of both internal and external redundancies. One of the approaches to improve system performance, such as system reliability, is to allocate the optimal redundancy to all or some components in a system. Redundancy at the system or component levels can be implemented in one of two schemes: parallel redundancy or standby redundancy. It is also possible to mix these schemes for various components. Moreover, the redundant elements may or may not be of the same type. If all the redundant elements are of different types, the redundancy optimisation model is implemented with component mixing. Conversely, if all the redundant components are identical, the model is implemented without component mixing. The developed framework can be used both to develop new AMDF architectures and to evaluate existing AMDF architectures in terms of expected lifetimes, reliability and service availability. Two simulation models are presented. The first simulation model is concerned with optimising central office equipment within a telephone exchange and entails an environment of clients utilising services. Currently, such a model does not exist. The second model is a mathematical model incorporating stochastic simulation and a hybrid intelligent evolutionary algorithm to solve redundancy allocation problems. For the first model, the optimal partitioning of the model is determined to speed up the simulation run efficiently. For the second model, the hybrid intelligent algorithm is used to solve the redundancy allocation problem under various constraints. Finally, a candidate concept design of an AMDF is presented and evaluated with both simulation models.
Dissertation (MEng)--University of Pretoria, 2013.
gm2014
Electrical, Electronic and Computer Engineering
unrestricted

Styles APA, Harvard, Vancouver, ISO, etc.

Broy, Perrine. « Evaluation de la sûreté de systèmes dynamiques hybrides complexes : application aux systèmes hydrauliques ». Phd thesis, Université de Technologie de Troyes, 2014. http://tel.archives-ouvertes.fr/tel-01006308.

Texte intégral

Résumé :

Ces travaux s'intéressent à l'estimation de la fiabilité des évacuateurs de crues vannés. Le comportement fiabiliste de ces systèmes hydrauliques dépend à la fois d'événements aléatoires discrets, mais aussi de l'évolution d'une variable déterministe continue : ce sont des systèmes dynamiques hybrides. Pour ces systèmes, l'événement redouté est réalisé lorsque le niveau de la retenue atteint un seuil de sûreté. La démarche de fiabilité dynamique proposée dans cette thèse vise à prendre en compte l'information temporelle, de la modélisation à la synthèse d'indicateurs fiabilistes pour l'aide à la décision et développe deux contributions : 1) L'élaboration d'une base de connaissances dédiée à la description des évacuateurs de crues en termes de fiabilité dynamique. Chaque classe de composants est décrite par un automate stochastique hybride dont les états sont les différentes phases de son fonctionnement. 2) Le suivi de la simulation de Monte Carlo, le traitement et l'analyse des "histoires" (séquence de tous les états activés et des dates d'activation) obtenues en simulation. Cela permet de construire des indicateurs de fiabilité classique (probabilité d'occurrence de l'évènement redouté, identification des coupes équivalentes prépondérantes, ...). Des indicateurs de fiabilité dynamique basés sur la classification des histoires en fonction des dates de défaillance des composants concernés et sur l'estimation de l'importance dynamique sont aussi proposés.

Styles APA, Harvard, Vancouver, ISO, etc.

Chapitres de livres sur le sujet "Stochastic Hybrid Automata"

Julius, A. Agung. « Approximate Abstraction of Stochastic Hybrid Automata ». Dans Hybrid Systems : Computation and Control, 318–32. Berlin, Heidelberg : Springer Berlin Heidelberg, 2006. http://dx.doi.org/10.1007/11730637_25.

Texte intégral

Styles APA, Harvard, Vancouver, ISO, etc.

Bemporad, Alberto, et Stefano Di Cairano. « Optimal Control of Discrete Hybrid Stochastic Automata ». Dans Hybrid Systems : Computation and Control, 151–67. Berlin, Heidelberg : Springer Berlin Heidelberg, 2005. http://dx.doi.org/10.1007/978-3-540-31954-2_10.

Texte intégral

Styles APA, Harvard, Vancouver, ISO, etc.

Bortolussi, Luca, et Alberto Policriti. « Stochastic Programs and Hybrid Automata for (Biological) Modeling ». Dans Mathematical Theory and Computational Practice, 37–48. Berlin, Heidelberg : Springer Berlin Heidelberg, 2009. http://dx.doi.org/10.1007/978-3-642-03073-4_5.

Texte intégral

Styles APA, Harvard, Vancouver, ISO, etc.

Rigatos, Gerasimos G. « Fuzzy Stochastic Automata for Reactive Learning and Hybrid Control ». Dans Methods and Applications of Artificial Intelligence, 366–77. Berlin, Heidelberg : Springer Berlin Heidelberg, 2002. http://dx.doi.org/10.1007/3-540-46014-4_33.

Texte intégral

Styles APA, Harvard, Vancouver, ISO, etc.

Pilch, Carina, Maurice Krause, Anne Remke et Erika Ábrahám. « A Transformation of Hybrid Petri Nets with Stochastic Firings into a Subclass of Stochastic Hybrid Automata ». Dans Lecture Notes in Computer Science, 381–400. Cham : Springer International Publishing, 2020. http://dx.doi.org/10.1007/978-3-030-55754-6_23.

Texte intégral

Styles APA, Harvard, Vancouver, ISO, etc.

Blohm, Pauline, Paula Herber et Anne Remke. « Towards Quantitative Analysis of Simulink Models Using Stochastic Hybrid Automata ». Dans Lecture Notes in Computer Science, 172–93. Cham : Springer Nature Switzerland, 2024. http://dx.doi.org/10.1007/978-3-031-76554-4_10.

Texte intégral

Styles APA, Harvard, Vancouver, ISO, etc.

Pilch, Carina, Stefan Schupp et Anne Remke. « Optimizing Reachability Probabilities for a Restricted Class of Stochastic Hybrid Automata via Flowpipe-Construction ». Dans Quantitative Evaluation of Systems, 435–56. Cham : Springer International Publishing, 2021. http://dx.doi.org/10.1007/978-3-030-85172-9_23.

Texte intégral

Styles APA, Harvard, Vancouver, ISO, etc.

Lestingi, Livia. « Model-Driven Development of Formally Verified Human-Robot Interactions ». Dans Special Topics in Information Technology, 41–51. Cham : Springer Nature Switzerland, 2024. http://dx.doi.org/10.1007/978-3-031-51500-2_4.

Texte intégral

Résumé :

AbstractIntroducing service robots into everyday settings entails a significant technological shift for the robotics community. Service settings are characterized by critical sources of uncertainty (mainly due to human behavior) that current software engineering techniques do not handle. This chapter introduces a model-driven framework for developing interactive service robotic scenarios, relying on formal verification to guarantee robustness with respect to unexpected runtime contingencies. Target users specify the characteristics of the scenario under analysis through a custom textual Domain-Specific Language, which is then automatically converted into a network of Stochastic Hybrid Automata. The formal model captures non-traditional physiological (e.g., physical fatigue) and behavioral aspects of the human subjects. Through Statistical Model Checking, it is possible to estimate several quality metrics: if these meet the set dependability requirements, the scenario can be deployed. Specifically, the framework allows for deployment on the field or simulation. Field-collected data are fed to a novel active automata learning algorithm, called $$\textsf{L}^*_\textrm{SHA}$$ L SHA ∗ , to learn an updated model of human behavior. The formal analysis can then be iterated to update the scenario’s design. The overall approach has been assessed in terms of effectiveness and accuracy through realistic scenarios from the healthcare setting.

Styles APA, Harvard, Vancouver, ISO, etc.

Aubry, Jean-François, et Nicolae Brînzei. « Stochastic Hybrid Automaton ». Dans Systems Dependability Assessment, 105–20. Hoboken, NJ, USA : John Wiley & Sons, Inc., 2015. http://dx.doi.org/10.1002/9781119053996.ch7.

Texte intégral

Styles APA, Harvard, Vancouver, ISO, etc.

Marmion, Marie-Eléonore, Franco Mascia, Manuel López-Ibáñez et Thomas Stützle. « Automatic Design of Hybrid Stochastic Local Search Algorithms ». Dans Hybrid Metaheuristics, 144–58. Berlin, Heidelberg : Springer Berlin Heidelberg, 2013. http://dx.doi.org/10.1007/978-3-642-38516-2_12.

Texte intégral

Styles APA, Harvard, Vancouver, ISO, etc.

Actes de conférences sur le sujet "Stochastic Hybrid Automata"

Abate, Alessandro, Joost-Pieter Katoen et Alexandru Mereacre. « Quantitative automata model checking of autonomous stochastic hybrid systems ». Dans the 14th international conference. New York, New York, USA : ACM Press, 2011. http://dx.doi.org/10.1145/1967701.1967715.

Texte intégral

Styles APA, Harvard, Vancouver, ISO, etc.

Amparore, Elvio Gilberto, Benoit Barbot, Marco Beccuti, Susanna Donatelli et Giuliana Franceschinis. « Simulation-based verification of hybrid automata stochastic logic formulas for stochastic symmetric nets ». Dans the 2013 ACM SIGSIM conference. New York, New York, USA : ACM Press, 2013. http://dx.doi.org/10.1145/2486092.2486124.

Texte intégral

Styles APA, Harvard, Vancouver, ISO, etc.

Hequet, Gael, Nicolae Brinzei et Jean-Francois Petin. « Usage profile in physical systems modelized with stochastic hybrid automata ». Dans 2021 International Conference on Information and Digital Technologies (IDT). IEEE, 2021. http://dx.doi.org/10.1109/idt52577.2021.9497617.

Texte intégral

Styles APA, Harvard, Vancouver, ISO, etc.

Tkachev, Ilya, Alexandru Mereacre, Joost-Pieter Katoen et Alessandro Abate. « Quantitative automata-based controller synthesis for non-autonomous stochastic hybrid systems ». Dans the 16th international conference. New York, New York, USA : ACM Press, 2013. http://dx.doi.org/10.1145/2461328.2461373.

Texte intégral

Styles APA, Harvard, Vancouver, ISO, etc.

Brînzei, Nicolae, Carole Duval, Hassane Chraïbi, Mickaël Hassanaly et Jean-François Aubry. « Modeling the Consequences of a Feared Event by Stochastic Hybrid Automata ». Dans Proceedings of the 29th European Safety and Reliability Conference (ESREL). Singapore : Research Publishing Services, 2020. http://dx.doi.org/10.3850/978-981-14-8593-0_4914-cd.

Texte intégral

Styles APA, Harvard, Vancouver, ISO, etc.

Ballarini, Paolo, Hilal Djafri, Marie Duflot, Serge Haddad et Nihal Pekergin. « COSMOS : A Statistical Model Checker for the Hybrid Automata Stochastic Logic ». Dans 2011 Eighth International Conference on Quantitative Evaluation of Systems (QEST). IEEE, 2011. http://dx.doi.org/10.1109/qest.2011.24.

Texte intégral

Styles APA, Harvard, Vancouver, ISO, etc.

Hequet, Gaël, Nicolae Brînzei et Jean-François Pétin. « Modelling Failures in Complex Systems with Profile-Based Stochastic Hybrid Automata ». Dans 32nd European Safety and Reliability Conference. Singapore : Research Publishing Services, 2022. http://dx.doi.org/10.3850/978-981-18-5183-4_s14-06-297-cd.

Texte intégral

Styles APA, Harvard, Vancouver, ISO, etc.

Texte intégral

Styles APA, Harvard, Vancouver, ISO, etc.

David, Alexandre, Kim G. Larsen, Axel Legay, Guangyuan Li et Danny Bogsted Poulsen. « Quantified Dynamic Metric Temporal Logic for Dynamic Networks of Stochastic Hybrid Automata ». Dans 2014 14th International Conference on Application of Concurrency to System Design. IEEE, 2014. http://dx.doi.org/10.1109/acsd.2014.21.

Texte intégral

Styles APA, Harvard, Vancouver, ISO, etc.

Cauchi, Nathalie, et Alessandro Abate. « StocHy - automated verification and synthesis of stochastic processes ». Dans HSCC '19 : 22nd ACM International Conference on Hybrid Systems : Computation and Control. New York, NY, USA : ACM, 2019. http://dx.doi.org/10.1145/3302504.3313349.

Texte intégral

Styles APA, Harvard, Vancouver, ISO, etc.

Nous offrons des réductions sur tous les plans premium pour les auteurs dont les œuvres sont incluses dans des sélections littéraires thématiques. Contactez-nous pour obtenir un code promo unique!