Titlebook: Quantitative Evaluation of Systems; 11th International C Gethin Norman,William Sanders Conference proceedings 2014 Springer International P

弯曲的人

attenuate

A Statistical Approach for Computing Reachability of Non-linear and Stochastic Dynamical Systemst statistical techniques. From a small set of samples of the true reachable function of the system, expressed as a function of initial conditions or parameters, we emulate such function using a Bayesian method based on Gaussian Processes. Uncertainty in the reconstruction is reflected in confidence

并置

Formal Synthesis and Validation of Inhomogeneous Thermostatically Controlled Loadsmogeneous population of thermostatically controlled loads (TCLs). The temperature dynamics of a TCL is characterized by a differential equation in which the TCL status (ON, OFF) is controlled by a thresholding mechanism, and which displays inhomogeneity as its thermal resistance changes in time acco

crease

Finite Abstractions of Stochastic Max-Plus-Linear SystemsPL) systems. SMPL systems are probabilistic extensions of discrete-event MPL systems that are widely employed in the engineering practice for timing and synchronisation studies. We construct finite abstractions by re-formulating the SMPL system as a discrete-time Markov process, then tailoring forma

宣称

IRS

Morose

Probabilistic Model Checking of DTMC Models of User Activity Patterns an individual user. In order to address questions raised by system developers and evaluators about software usage, we define new probabilistic models that characterise user behaviour, based on activity patterns inferred from actual logged user traces. We encode these new models in a probabilistic m

袋鼠

Eulogy

A New GreatSPN GUI for GSPN Editing and CSLTA Model Checkingic logic CSL.. The GUI provides a modern and fully-featured environment designed around a complete modeling workflow: The user designs a GSPN model, a DTA (automaton describing properties for the CSL. logic), and can simulate the GSPN behavior and the model checking process with an interactive simul

Demulcent