Filters








6,883 Hits in 5.9 sec

Coupling and Importance Sampling for Statistical Model Checking [chapter]

Benoît Barbot, Serge Haddad, Claudine Picaronny
2012 Lecture Notes in Computer Science  
Statistical model-checking is an alternative verification technique applied on stochastic systems whose size is beyond numerical analysis ability.  ...  Given a model (most often a Markov chain) and a formula, it provides a confidence interval for the probability that the model satisfies the formula.  ...  Conclusion We proposed a method of statistical model checking which computes a reduced confidence interval for the probability of a rare event. Our method is based on importance sampling techniques.  ... 
doi:10.1007/978-3-642-28756-5_23 fatcat:nztzdbmdpvfffiogmoqjmgdlgy

Optimal Modeling of an Elevator Chassis under Crash Scenario Based on Characterization and Validation of the Hyperelastic Material of Its Shock Absorber System

Dimitrios Giagopoulos, Alexandros Arailopoulos, Iraklis Chatziparasidis
2022 Applied Mechanics  
For the characterization of the hyperelastic absorber, a Mooney–Rivlin material model was adopted, and a series of in-lab compression quasi-static tests were conducted.  ...  Applying a fully parallelizable state-of-the-art stochastic model updating methodology, coupled with robust, accurate and efficient Finite Element Analysis (FEA) software, the hyperelastic behavior of  ...  Conflicts of Interest: The authors declare no conflict of interest.  ... 
doi:10.3390/applmech3010016 fatcat:2i5ilrxuw5b23mmdnsd5xdtxye

Agent based models and opinion dynamics as Markov chains

Sven Banisch, Ricardo Lima, Tanya Araújo
2012 Social Networks  
For such a purpose a crucial role is played by the type of probability distribution used to implement the stochastic part of the model which defines the updating rule and governs the dynamics.  ...  We describe our analysis in detail with some specific models of opinion dynamics.  ...  Acknowledgments We are grateful to Ann Henshall for a careful reading of the manuscript and to Dima Volchenkov for helpful discussions.  ... 
doi:10.1016/j.socnet.2012.06.001 fatcat:5dis337f7ncmdkxcpdaukwldqm

Agent Based Models and Opinion Dynamics as Markov Chains [article]

Sven Banisch and Ricardo Lima and Tanya Araújo
2011 arXiv   pre-print
For such a purpose a crucial role is played by the type of probability distribution used to implement the stochastic part of the model which defines the updating rule and governs the dynamics.  ...  We describe our analysis in detail with some specific models of opinion dynamics.  ...  Acknowledgments We are grateful to Ann Henshall for a careful reading of the manuscript and to Dima Volchenkov for helpful discussions.  ... 
arXiv:1108.1716v2 fatcat:garq3iufubhxvoiqy2if7merwm

A comparative study of stochastic analysis techniques

Monika Heiner, Christian Rohr, Martin Schwarick, Stefan Streif
2010 Proceedings of the 8th International Conference on Computational Methods in Systems Biology - CMSB '10  
Stochastic models are becoming increasingly popular in Systems Biology. They are compulsory, if the stochastic noise is crucial for the behavioural properties to be investigated.  ...  We report on a comparative study focusing on the three base case techniques of stochastic analysis: exact numerical analysis, approximative numerical analysis, and simulation.  ...  We would like to thank Verena Wolf for fruitful discussions and for the support in Snoopy's FAU implementation, and Thomas Meier for implementing Snoopy's parallel simulation engine.  ... 
doi:10.1145/1839764.1839776 dblp:conf/cmsb/HeinerRSS10 fatcat:hlzdpikfhrf2jhzgtfmwoqzdwq

Geometrical characteristics of magnetospheric energetic ion time series: evidence for low dimensional chaos

G. P. Pavlos, M. A. Athanasiu, A. G. Rigas, D. V. Sarafopoulos, E. T. Sarris
2003 Annales Geophysicae  
Also, the stochastic Lorenz system produced by coloured noise perturbation of the deterministic Lorenz system was used as an archetype model in comparison with the dynamics of the magnetrospheric ions.  ...  the strong null hypothesis supposing that the ions' time series is caused by a linear stochastic process perturbed by a static nonlinear distortion.  ...  Pulkkinen thanks two referees for their help in evaluating this paper.  ... 
doi:10.5194/angeo-21-1975-2003 fatcat:bhpc63rh4rdlzeb2mfmpbj224e

Automated Verification and Synthesis of Stochastic Hybrid Systems: A Survey [article]

Abolfazl Lavaei, Sadegh Soudjani, Alessandro Abate, Majid Zamani
2022 arXiv   pre-print
Automated verification and policy synthesis for stochastic hybrid systems can be inherently challenging: this is due to the heterogeneity of their dynamics (presence of continuous and discrete components  ...  ), the presence of uncertainty, and in some applications the large dimension of state and input sets.  ...  synthesis of these models, together with the associated software tools.  ... 
arXiv:2101.07491v2 fatcat:dpir554ebfclhpj5m7e7fi2hv4

Structural-acoustic modeling of automotive vehicles in presence of uncertainties and experimental identification and validation

Jean-François Durand, Christian Soize, Laurent Gagliardini
2008 Journal of the Acoustical Society of America  
Considering the very high complexity of such structuralacoustic systems, and in order to improve the robustness of such computational structural-acoustic models, both model uncertainties and data uncertainties  ...  This database is used to perform the experimental identification of the probability model parameters and to validate the stochastic computational model.  ...  The stochastic reduced model of the uncertain structural-acoustic system for which the reduced mean model is defined by Eqs. (8) to (10) is written, for all ω fixed in the frequency band of analysis as  ... 
doi:10.1121/1.2953316 pmid:19045643 fatcat:hw5djht65rd3hocgotwyxfvuie

Coadaptive behaviour in a simple distributed job scheduling system

A. Glockner, J. Pasquale
1993 IEEE Transactions on Systems, Man and Cybernetics  
cause qualitative changes in the coadaptive behavior, and that constructing an optimal agent for a coadapting system is dependent upon the other agents present.  ...  The decision-making process is constructed as a set of autonomous agents based on learning automata that can individually learn from feedback The set of agents adapt together, or cmfapt, to form a good  ...  ACKNOWLEDGMENT The authors wish to thank Ted Billard for his insightful comments on this work, the members of the UCSD Computer Systems Lab for their criticisms, and the referees for their suggestions  ... 
doi:10.1109/21.256564 fatcat:pkcppzgjwzglhezp5iuublgs24

Achieving Fair Load Balancing by Invoking a Learning Automata-Based Two-Time-Scale Separation Paradigm

Anis Yazidi, Ismail Hassan, Hugo L. Hammer, B. John Oommen
2020 IEEE Transactions on Neural Networks and Learning Systems  
This leads to the emergence of the so-called property of "stochastic diminishing rewards."  ...  Since the load is dynamically varying, static resource allocation schemes are doomed to underperform.  ...  Static LB algorithms are mostly suitable for stable environments with homogeneous systems.  ... 
doi:10.1109/tnnls.2020.3010888 pmid:32755870 fatcat:v4gvdyacsvhkve2tn6b5jorrsm

Fundamental limits on dynamic inference from single-cell snapshots

Caleb Weinreb, Samuel Wolock, Betsabeh K. Tusi, Merav Socolovsky, Allon M. Klein
2018 Proceedings of the National Academy of Sciences of the United States of America  
We thank Kyogo Kawaguchi, Andreas Hilfinger, Jeremy Gunawardena, Johan Paulsson, and Rebecca Ward for their helpful feedback and comments.  ...  For example, it assigns to each transcriptional state a set of testable fate probabilities.  ...  tissue being isolated for analysis.  ... 
doi:10.1073/pnas.1714723115 pmid:29463712 pmcid:PMC5878004 fatcat:lljxxn4qqngedhrpssqdpepsl4

Source of Knowledge Dynamics—Transition from High School to University

Shahrazad Hadad, Mihai Dinu, Robert Bumbac, Maria-Cristina Iorgulescu, Ramona Cantaragiu
2020 Entropy  
They completed this survey twice, once for their previous and once for their current education.  ...  of knowledge via the stationary distribution.  ...  For a confidence level of 95% and a confidence interval of 4%, for a population of 485, the recommended sample size was 269.  ... 
doi:10.3390/e22090918 pmid:33286687 fatcat:gk4gvygxqfaplmfjsfvstnwe4q

Stress-Testing Framework for Urban Water Systems: A Source to Tap Approach for Stochastic Resilience Assessment

Dionysios Nikolopoulos, Panagiotis Kossieris, Ioannis Tsoukalas, Christos Makropoulos
2022 Water  
Optimizing the design and operation of an Urban Water System (UWS) faces significant challenges over its lifespan to account for the uncertainties of important stressors that arise from population growth  ...  The analysis of a UWS's performance across interdependent subsystems benefits from a multi-model approach where different designs are tested against a variety of metrics and in different times scales for  ...  The use of synthetic (stochastically generated) inputs allows for the encapsulation of hydrologic uncertainty in the uncertainty-aware simulation and analysis of the system.  ... 
doi:10.3390/w14020154 fatcat:g6rf5hwy7zbhtc5eakevdz34f4

A Stochastic Approach to Predicting Performance of Web Service Composition

Yuxiang Dong, Yunni Xia, Qingsheng Zhu, Ruilong Yang
2009 Journal of Computers  
The approach first translates web service composition specification into Stochastic Petri Nets.  ...  In this paper, we propose an analytical approach to predict the performance of web service composition built on BPEL.  ...  Stochastic Petri net Petri Nets is a tool used for modeling and analysis of complex system with behavioral patterns such as concurrency, synchronization and conflict.  ... 
doi:10.4304/jcp.4.6.485-493 fatcat:omwcme5dizcn7ddy3zsgk3frkm

Page 4477 of Mathematical Reviews Vol. , Issue 96g [page]

1996 Mathematical Reviews  
Nakagawa, Optimal charging times of a battery for memory backup (71-75); H. Ishii [Hiroaki Ishii'] and T. Matsutomi, Confidence regional method of stochastic spanning tree problem (77-82). K. Ito, T.  ...  Zhang, Uniqueness of the solution for optimal static routing in open BCMP queueing networks (119-130); T. Katayama [Tsuyoshi Katayama] and K.  ... 
« Previous Showing results 1 — 15 out of 6,883 results