Approximate Model Checking of Stochastic Hybrid Systems

Approximate Model Checking of Stochastic Hybrid Systems

Diğer sürümleri göster (1)

A method for approximate model checking of stochastic hybrid systems with provable approximation guarantees is proposed. We focus on the probabilistic invariance problem for discrete time stochastic hybrid systems and propose a two-step scheme. The stochastic hybrid system is first approximated by a...

Detaylı Bibliyografya
Asıl Yazarlar:	Abate, A, Katoen, J, Lygeros, J, Prandini, M
Materyal Türü:	Journal article
Dil:	English
Baskı/Yayın Bilgisi:	2010

Benzer Materyaller

Approximate Model Checking of Stochastic Hybrid Systems
Yazar:: Abate, A, ve diğerleri
Baskı/Yayın Bilgisi: (2010)

Probabilistic reachability and safety for controlled discrete time stochastic hybrid systems
Yazar:: Abate, A, ve diğerleri
Baskı/Yayın Bilgisi: (2008)

Probabilistic Reachability and Safety for Controlled Discrete Time Stochastic Hybrid Systems
Yazar:: Abate, A, ve diğerleri
Baskı/Yayın Bilgisi: (2008)

Quantitative automata-based controller synthesis for non-autonomous stochastic hybrid systems
Yazar:: Tkachev, I, ve diğerleri
Baskı/Yayın Bilgisi: (2012)

Quantitative model-checking of controlled discrete-time Markov processes
Yazar:: Tkachev, I, ve diğerleri
Baskı/Yayın Bilgisi: (2016)

Stochastic hybrid systems /
Yazar:: Cassandras, Christos G., ve diğerleri
Baskı/Yayın Bilgisi: (2007)

Statistical Model Checking for Stochastic Hybrid Systems
Yazar:: Danny Bøgsted Poulsen, ve diğerleri
Baskı/Yayın Bilgisi: (2012-08-01)

Stochastic hybrid systems : theory and safety critical applications /
Yazar:: Lygeros, John, ve diğerleri
Baskı/Yayın Bilgisi: (2006)

Efficient CTMC Model Checking of Linear Real−Time Objectives
Yazar:: Barbot, B, ve diğerleri
Baskı/Yayın Bilgisi: (2011)

Model Checking Temporal Properties of Recursive Probabilistic Programs
Yazar:: Tobias Winkler, ve diğerleri
Baskı/Yayın Bilgisi: (2023-12-01)

Model Checking of Continuous-Time Markov Chains Against Timed Automata Specifications
Yazar:: Taolue Chen, ve diğerleri
Baskı/Yayın Bilgisi: (2011-03-01)

Model Checking Stochastic Branching Processes
Yazar:: Chen, T, ve diğerleri
Baskı/Yayın Bilgisi: (2012)

Approximation Refinement for Interpolation−Based Model Checking
Yazar:: D'Silva, V, ve diğerleri
Baskı/Yayın Bilgisi: (2008)

Approximation Refinement for Interpolation−Based Model Checking
Yazar:: D'Silva, V, ve diğerleri
Baskı/Yayın Bilgisi: (2008)

Computing Over−Approximations with Bounded Model Checking
Yazar:: Kroening, D
Baskı/Yayın Bilgisi: (2006)

Computing over-approximations with bounded model checking
Yazar:: Kroening, D
Baskı/Yayın Bilgisi: (2006)

A Stochastic Hybrid Approximation for Chemical Kinetics Based on the Linear Noise Approximation
Yazar:: Cardelli, L, ve diğerleri
Baskı/Yayın Bilgisi: (2016)

Markov chain approximations to stochastic differential equations by recombination on lattice trees
Yazar:: Cosentino, F, ve diğerleri
Baskı/Yayın Bilgisi: (2021)

Stochastic approximation /
Yazar:: 405479 Wasan, M.
Baskı/Yayın Bilgisi: (1969)

Strong Stationarity Conditions for Optimal Control of Hybrid Systems
Yazar:: Hempel, A, ve diğerleri
Baskı/Yayın Bilgisi: (2017)

Exploring Parameter Space of Stochastic Biochemical Systems Using Quantitative Model Checking
Yazar:: Brim, L, ve diğerleri
Baskı/Yayın Bilgisi: (2013)

SMT-based model checking of max-plus linear systems
Yazar:: Mufid, MSU, ve diğerleri
Baskı/Yayın Bilgisi: (2021)

Optimizing ZigBee Security using Stochastic Model Checking
Yazar:: Yüksel, E, ve diğerleri
Baskı/Yayın Bilgisi: (2010)

Stochastic approximation methods for constrained and unconstrained system /
Yazar:: 272176 Kushner, Harold J. (Harold Joseph), 1933-, ve diğerleri
Baskı/Yayın Bilgisi: (1978)

Stochastic Check-in Employee Scheduling Problem
Yazar:: Ming Liu, ve diğerleri
Baskı/Yayın Bilgisi: (2020-01-01)

Equilibria-based probabilistic model checking for concurrent stochastic games
Yazar:: Kwiatkowska, M, ve diğerleri
Baskı/Yayın Bilgisi: (2019)

Approximating attractors of Boolean networks by iterative CTL model checking
Yazar:: Hannes eKlarner, ve diğerleri
Baskı/Yayın Bilgisi: (2015-09-01)

Approximate Solutions of Hybrid Stochastic Pantograph Equations with Levy Jumps
Yazar:: Wei Mao, ve diğerleri
Baskı/Yayın Bilgisi: (2013-01-01)

Bayesian inference for stochastic individual-based models of ecological systems: a pest control simulation study
Yazar:: Francesca eParise, ve diğerleri
Baskı/Yayın Bilgisi: (2015-06-01)

Performance of stochastic Runge-Kutta Methods in approximating the solution of stochastic model in biological system
Yazar:: Noor Amalina Nisa, Ariffin, ve diğerleri
Baskı/Yayın Bilgisi: (2017)

Improving HyLTL model checking of hybrid systems
Yazar:: Davide Bresolin
Baskı/Yayın Bilgisi: (2013-07-01)

Compression methods for approximate stochastic modelling
Yazar:: Onggadinata, Kelvin
Baskı/Yayın Bilgisi: (2020)

Approximate models for stochastic load combination.
Yazar:: Waugh, Charles Benjamin
Baskı/Yayın Bilgisi: (2005)

Model checking and strategy synthesis for stochastic games: from theory to practice
Yazar:: Kwiatkowska, M
Baskı/Yayın Bilgisi: (2016)

Efficiency through uncertainty: scalable formal synthesis for stochastic hybrid systems
Yazar:: Cauchi, N, ve diğerleri
Baskı/Yayın Bilgisi: (2019)

Stochastic pair approximation treatment of the noisy voter model
Yazar:: A F Peralta, ve diğerleri
Baskı/Yayın Bilgisi: (2018-01-01)

Stochastic pair approximation treatment of the noisy voter model
Yazar:: Peralta, A, ve diğerleri
Baskı/Yayın Bilgisi: (2018)

Application of stochastic approximation methods to system optimization
Baskı/Yayın Bilgisi: (2004)

Probabilistic model checking for hybrid systems with hybrid concolic testing and importance sampling
Yazar:: Kong, Pingfan
Baskı/Yayın Bilgisi: (2016)

Model Checking the Quantitative mu-Calculus on Linear Hybrid Systems
Yazar:: Diana Fischer, ve diğerleri
Baskı/Yayın Bilgisi: (2012-09-01)