Relevant bibliographies by topics / Stochastic Hybrid Automata

Contents

  1. Journal articles
  2. Dissertations / Theses
  3. Book chapters
  4. Conference papers

Academic literature on the topic 'Stochastic Hybrid Automata'

Author: Grafiati
Published: 29 March 2025

Create a spot-on reference in APA, MLA, Chicago, Harvard, and other styles

Select a source type:

Consult the lists of relevant articles, books, theses, conference reports, and other scholarly sources on the topic 'Stochastic Hybrid Automata.'

Next to every source in the list of references, there is an 'Add to bibliography' button. Press on it, and we will generate automatically the bibliographic reference to the chosen work in the citation style you need: APA, MLA, Harvard, Chicago, Vancouver, etc.

You can also download the full text of the academic publication as pdf and read online its abstract whenever available in the metadata.

Journal articles on the topic "Stochastic Hybrid Automata"

1

Bortolussi, L., and A. Policriti. "(Hybrid) automata and (stochastic) programs * The hybrid automata lattice of a stochastic program." Journal of Logic and Computation 23, no. 4 (December 6, 2011): 761–98. http://dx.doi.org/10.1093/logcom/exr045.

Full text
APA, Harvard, Vancouver, ISO, and other styles
2

Bemporad, Alberto, and Stefano Di Cairano. "Model-Predictive Control of Discrete Hybrid Stochastic Automata." IEEE Transactions on Automatic Control 56, no. 6 (June 2011): 1307–21. http://dx.doi.org/10.1109/tac.2010.2084810.

Full text
APA, Harvard, Vancouver, ISO, and other styles
3

Castañeda, G. A. Pérez, J.-F. Aubry, and 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, no. 1 (March 2011): 28–41. http://dx.doi.org/10.1177/1748006xjrr312.

Full text
APA, Harvard, Vancouver, ISO, and other styles
4

Ballarini, Paolo, and Benoît Barbot. "Cosmos." ACM SIGMETRICS Performance Evaluation Review 49, no. 4 (June 2, 2022): 65–69. http://dx.doi.org/10.1145/3543146.3543161.

Full text
APA, Harvard, Vancouver, ISO, and other styles
5

Lunze, Jan, and Bernhard Nixdorf. "Representation of Hybrid Systems by Means of Stochastic Automata." Mathematical and Computer Modelling of Dynamical Systems 7, no. 4 (December 1, 2001): 383–422. http://dx.doi.org/10.1076/mcmd.7.4.383.3639.

Full text
APA, Harvard, Vancouver, ISO, and other styles
6

Huang, Tao, Zining Cao, and Qing Li. "Verification and Fault Analysis based on Combination of AADL and Modelica." Journal of Physics: Conference Series 2261, no. 1 (June 1, 2022): 012014. http://dx.doi.org/10.1088/1742-6596/2261/1/012014.

Full text
Abstract:
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.
APA, Harvard, Vancouver, ISO, and other styles
7

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

Full text
APA, Harvard, Vancouver, ISO, and other styles
8

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

Full text
APA, Harvard, Vancouver, ISO, and other styles
9

Kumar, Ranjan, Pavel Kudinov, Sevostian Bechta, Florence Curnier, and Michel Marques. "Dynamic Hybrid Reliability Studies of a Decay Heat Removal System." International Journal of Reliability, Quality and Safety Engineering 22, no. 04 (August 2015): 1550020. http://dx.doi.org/10.1142/s0218539315500205.

Full text
Abstract:
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.
APA, Harvard, Vancouver, ISO, and other styles
10

Mereghetti, Carlo, Beatrice Palano, and Priscilla Raucci. "Unary Quantum Finite State Automata with Control Language." Applied Sciences 14, no. 4 (February 12, 2024): 1490. http://dx.doi.org/10.3390/app14041490.

Full text
Abstract:
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.
APA, Harvard, Vancouver, ISO, and other styles
More sources

Dissertations / Theses on the topic "Stochastic Hybrid Automata"

1

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

Full text
Abstract:
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
APA, Harvard, Vancouver, ISO, and other styles
2

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.

Full text
Abstract:
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
APA, Harvard, Vancouver, ISO, and other styles
3

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.

Full text
Abstract:
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
APA, Harvard, Vancouver, ISO, and other styles
4

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.

Full text
Abstract:
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
APA, Harvard, Vancouver, ISO, and other styles
5

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.

Full text
Abstract:
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.
APA, Harvard, Vancouver, ISO, and other styles
6

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.

Full text
Abstract:
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.
APA, Harvard, Vancouver, ISO, and other styles
7

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.

Full text
Abstract:
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
APA, Harvard, Vancouver, ISO, and other styles
8

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.

Full text
Abstract:
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.
APA, Harvard, Vancouver, ISO, and other styles

Book chapters on the topic "Stochastic Hybrid Automata"

1

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

Full text
APA, Harvard, Vancouver, ISO, and other styles
2

Bemporad, Alberto, and Stefano Di Cairano. "Optimal Control of Discrete Hybrid Stochastic Automata." In 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.

Full text
APA, Harvard, Vancouver, ISO, and other styles
3

Bortolussi, Luca, and Alberto Policriti. "Stochastic Programs and Hybrid Automata for (Biological) Modeling." In 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.

Full text
APA, Harvard, Vancouver, ISO, and other styles
4

Rigatos, Gerasimos G. "Fuzzy Stochastic Automata for Reactive Learning and Hybrid Control." In 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.

Full text
APA, Harvard, Vancouver, ISO, and other styles
5

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

Full text
APA, Harvard, Vancouver, ISO, and other styles
6

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

Full text
APA, Harvard, Vancouver, ISO, and other styles
7

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

Full text
APA, Harvard, Vancouver, ISO, and other styles
8

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

Full text
Abstract:
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.
APA, Harvard, Vancouver, ISO, and other styles
9

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

Full text
APA, Harvard, Vancouver, ISO, and other styles
10

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

Full text
APA, Harvard, Vancouver, ISO, and other styles

Conference papers on the topic "Stochastic Hybrid Automata"

1

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

Full text
APA, Harvard, Vancouver, ISO, and other styles
2

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

Full text
APA, Harvard, Vancouver, ISO, and other styles
3

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

Full text
APA, Harvard, Vancouver, ISO, and other styles
4

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

Full text
APA, Harvard, Vancouver, ISO, and other styles
5

Brînzei, Nicolae, Carole Duval, Hassane Chraïbi, Mickaël Hassanaly, and Jean-François Aubry. "Modeling the Consequences of a Feared Event by Stochastic Hybrid Automata." In 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.

Full text
APA, Harvard, Vancouver, ISO, and other styles
6

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

Full text
APA, Harvard, Vancouver, ISO, and other styles
7

Hequet, Gaël, Nicolae Brînzei, and Jean-François Pétin. "Modelling Failures in Complex Systems with Profile-Based Stochastic Hybrid Automata." In 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.

Full text
APA, Harvard, Vancouver, ISO, and other styles
8

Hequet, Gaël, Nicolae Brînzei, and Jean-François Pétin. "Modelling Failures in Complex Systems with Profile-Based Stochastic Hybrid Automata." In 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.

Full text
APA, Harvard, Vancouver, ISO, and other styles
9

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

Full text
APA, Harvard, Vancouver, ISO, and other styles
10

Cauchi, Nathalie, and Alessandro Abate. "StocHy - automated verification and synthesis of stochastic processes." In 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.

Full text
APA, Harvard, Vancouver, ISO, and other styles
You might also be interested in the extended bibliographies on the topic 'Stochastic Hybrid Automata' for particular source types:
Journal articles
We offer discounts on all premium plans for authors whose works are included in thematic literature selections. Contact us to get a unique promo code!

To the bibliography