Efficient simulation techniques for stochastic model checking

Efficient simulation techniques for stochastic model checking

PhD thesis Univesity of Twente, Summary in English

Lưu vào:

Hiển thị chi tiết
Tác giả chính:	Haverkort, B.R.H.M., Reijsbergen, D.
Định dạng:	LA
Ngôn ngữ:	eng
Thông tin xuất bản:	University of Twente (UT) 2020
Chủ đề:	Stochastic model Simulation techniques Asymptotic regimes Algorithm
Truy cập trực tuyến:	http://tailieuso.tlu.edu.vn/handle/DHTL/4622
Từ khóa:	Thêm từ khóa bạn đọc Không có từ khóa, Hãy là người đầu tiên gắn từ khóa cho biểu ghi này!

Tài liệu tương tự

Advances in building simulation and computational techniques: A review between 1987 and 2014
Thông tin tác giả:: Wang,Haidong

A multi-modal analytical non-stationary spectral model for characterization and stochastic simulation of earthquake ground motions / Christos Vlachos, Konstantinos G. Papakonstantinou, George Deodatis
Thông tin tác giả:: Vlachos, Christos, và những người khác

Stochastic simulation and applications in finance with MATLAB programs
Thông tin tác giả:: Huynh, Huu Tue, và những người khác

Mathematical analysis of HIV/AIDS stochastic dynamic models
Thông tin tác giả:: Emvudu,Yves

The asymptotic behavior of a stochastic vaccination model with backward bifurcation
Thông tin tác giả:: Chen ,Can

An analysis of approximation algorithms for iterated stochastic integrals and a Julia and MATLAB simulation toolbox
Thông tin tác giả:: Felix, Kastner, và những người khác
Thông tin xuất bản: (2023)

Model-reduction techniques for reliability-based design problems of complex structural systems /H.A. Jensen a,n , A. Muñoz a , C. Papadimitriou b , E. Millas a
Thông tin tác giả:: Jensen,H.A.

Stochastic modelling of big data in finance
Thông tin tác giả:: Swishchuk, Anatoliy

A comparison of numerical approaches for statistical inference with stochastic models
Thông tin tác giả:: Bacci, Marco, và những người khác
Thông tin xuất bản: (2023)

A two-stage stochastic optimization model for the transfer activity choice in metro networks /Lixing Yang ∗ , Yan Zhang, Shukai Li, Yuan Gao
Thông tin tác giả:: Yang,Lixing, và những người khác

Simulation-Driven Modeling and Optimization
Thông tin tác giả:: Koziel, Slawomir, và những người khác
Thông tin xuất bản: (2016)

Network Modeling and Simulation / Mohsen Guizani
Thông tin tác giả:: Guizani, Mohsen

A stochastic ground motion accelerogram model for Northwest Europe / Carlos Medel-Vera, Tianjian Ji
Thông tin tác giả:: Medel-Vera, Carlos, và những người khác

Modeling and Simulation Support for System of Systems Engineering Applications
Thông tin tác giả:: Rainey, Larry B., và những người khác
Thông tin xuất bản: (2016)

Stochastic Petri nets : modelling, stability, simulation / Peter J. Haas.
Thông tin tác giả:: Haas, Peter J. (Peter Jay)

Vehicle dynamics: Modeling and simulation
Thông tin tác giả:: Dieter Schramm, và những người khác

Corporate social responsibility & firm efficiency: evidence from endogenous cost inefficiency stochastic frontier analysis
Thông tin tác giả:: Tu Van Binh
Thông tin xuất bản: (2022)

Efficient Model Points Selection in Insurance by Parallel Global Optimization Using Multi CPU and Multi GPU
Thông tin tác giả:: Ferreiro-Ferreiro, Ana Maria
Thông tin xuất bản: (2020)

A simulation-based decomposition approach for two-stage staffing optimization in call centers under arrival rate uncertainty
Thông tin tác giả:: Ta, Thuy Anh
Thông tin xuất bản: (2021)

An introduction to stochastic modeling
Thông tin tác giả:: Taylor, Howard M., và những người khác

Mechatronic Systems-Modelling and Simulation with DHLs
Thông tin tác giả:: Georg Pelz

An occupant behavior modeling tool for co-simulation
Thông tin tác giả:: Hong,Tianzhen

Building software for simulation: Theory and algorithms, with application in C++
Thông tin tác giả:: Nutaro, James J.
Thông tin xuất bản: (2015)

Stochastic Processes and Calculus : An Elementary Introduction with Applications / Uwe Hassler
Thông tin tác giả:: Hassler, Uwe

An introduction to stochastic modeling
Thông tin tác giả:: Pinsky, Mark A., và những người khác

European Journal of Operational Research
Thông tin tác giả:: Thuy Anh Ta, và những người khác
Thông tin xuất bản: (2021)

Numerical optimisation through dynamic simulation of the position of trees around a stand-alone building to reduce cooling energy consumption
Thông tin tác giả:: Calcerano,Filippo

Smart Modeling and Simulation for Complex Systems: Practice and Theory
Thông tin tác giả:: Bai, Quan
Thông tin xuất bản: (2016)

Modeling and simulation of the effects of landslide on circulation of transports on the mountain roads
Thông tin tác giả:: Hung Nguyen Manh, Ho Tuong Vinh, Nguyen Trong Khanh, Do Minh Duc
Thông tin xuất bản: (2016)

Model Reduction for Circuit Simulation
Thông tin tác giả:: Schilders, Wil H. A.
Thông tin xuất bản: (2016)

A hybrid simulation-assignment modeling framework for crowd dynamics in large-scale pedestrian facilities
Thông tin tác giả:: Abdelghany,Ahmed

The deployment-dependence of occupancy-related models in building performance simulation
Thông tin tác giả:: Mahdavi,Ardeshir

Nonsmooth Modeling and Simulation for Switched Circuits
Thông tin tác giả:: Acary, Vincent, và những người khác
Thông tin xuất bản: (2016)

Determinants of Vietnam's rice and coffee exports: using stochastic frontier gravity model
Thông tin tác giả:: Nguyễn Đình Đạo
Thông tin xuất bản: (2022)

Temperature and humidity transient simulation and validation in a measured house without a HVAC system
Thông tin tác giả:: Martínez-Ibernón,Ana

Finite element model updating using simulated annealing hybridized with unscented Kalman ﬁlter
Thông tin tác giả:: Astroza,Rodrigo

Estimation of Profit Efficiency in the Hotel Industry Using a Bayesian Stochastic Frontier Model
Thông tin tác giả:: Arbelo, Antonio, và những người khác
Thông tin xuất bản: (2024)

A probabilistic model for vehicle scheduling based on stochastic trip times /Yindong Shen a , b , ∗ , Jia Xu a , b , Jingpeng Li c
Thông tin tác giả:: Shen,Yindong

Introduction to stochastic finance with market examples
Thông tin tác giả:: Privault, Nicolas

Integrating building performance simulation in agent-based modeling using regression surrogate models: A novel human-in-the-loop energy modeling approach
Thông tin tác giả:: Papadopoulos,Sokratis