probabilistic systems
Branching bisimulation congruence for probabilistic systems
... of probabilistic systems with a finite set of states that is a congruence for parallel composition, as well as for the rest of the standard operators in a probabilistic process algebra [ 6 , 15 ...
15
Decision algorithms for modelling, optimal control and verification of probabilistic systems
... method [Sha87] to solve the LP problems. However a small modification of the under- lying network [TH15] enables us to adapt the corresponding LP problem into a variant of a minimum cost flow problem [AMO93] with flow ...
229
Three-valued abstraction for probabilistic systems
... of probabilistic systems has enjoyed a rapid increase of ...802.11), systems biology, and quantum ...of probabilistic models like Markov chains and Markov decision processes ...adopted ...
34
Confluence Reduction for Probabilistic Systems (extended version)
... Figure 2 depicts the three notions of confluence we will generalise [3]. They should be interpreted as follows: for any state from which the solid transitions are enabled (universally quantified), there should be a ...
28
Family-Based Modeling and Analysis for Probabilistic Systems
... of systems that share a base functionality and differ in certain ...of probabilistic systems and an automatic translation of family models to the input language of the probabilistic model ...
19
Context-Aware Temporal Logic for Probabilistic Systems
... checking, probabilistic systems, synthesis 1 Introduction The correct-by-design paradigm in Cyber-Physical Systems (CPS) has been a central concept during the design phase of various system ...In ...
20
Implementation of symbolic model checking for probabilistic systems
... 2.4 Alternative Approaches 2.4.1 Other Data Structures A number of other data structures related to MTBDDs have been introduced in the lit- erature. In this section we review some of the more relevant ones. Firstly, we ...
222
Energy-Utility Analysis of Probabilistic Systems with Exogenous Coordination
... 4 Reo for exogenous coordination within Prism Having extended Prism by the infrastructure for the exogenous coordination of probabilistic components, we are now interested in a framework for the convenient ...
20
Symbolic Representations and Analysis of Large Probabilistic Systems
... of probabilistic models, sparse matrices are the most obvious and popular explicit storage ...of probabilistic mod- els can be broken down into a number of areas, and we cover each one separately in this ...
43
Reduction Techniques for Nondeterministic and Probabilistic Systems
... as Probabilistic Symbolic Model Checker (PRISM) [98], Markov Reward Model Checker (MRMC) [89] and PEPA Workbench [63] have been successfully applied for the modeling and analysis of probabilistic sys- ...
194
Verifying probabilistic systems : new algorithms and complexity results
... of systems. The term ‘modelling’ refers to describing systems through mathematical formalisms, the term ‘verification’ means to check automatically whether a system satisfies a desired property, and the ...
166
RODES: A Robust-Design Synthesis Tool for Probabilistic Systems
... The rest of the paper presents RODES and its extensible architecture (Sec- tion 2), and the tool scalability and applicability to systems from different do- mains (Section 3). The RODES code, supplementary case ...
5
Confluence Reduction for Probabilistic Systems
... sition systems (LTSs) to probabilistic automata (PAs) ...of probabilistic confluence, we introduce a symbolic tech- nique that reduces PAs while preserving branching probabilistic ...
15
Probabilistic and Epistemic Model Checking for Multi-Agent Systems
... multi-agent systems against given ...However, systems also have quantitative and uncertain (i.e., probabilistic) proper- ties such as degree of reliability and reachability, which still need further ...
152
Static Partial Order Reduction for Probabilistic Concurrent Systems
... non-probabilistic systems, Kurshan et al [7], [8] pre- sented alternatives for the global condition (A3’) that can be realized by analyzing and modifying the control ...
11
Probabilistic Expert Systems for Reasoning in Clinical Depressive Disorders
... IV. EXPERIMENTAL RESULTS AND ANALYSIS Although KEBN provides an intuitive medium for knowledge acquisition and inference in many systems, graphical tools are required for the creation and manipulation of any ...
6
Approximate Probabilistic Relations for Compositional Abstractions of Stochastic Systems
... Similarities between two gMDPs have been recently studied in [22] using a notion of δ-lifted relation. This notion is used in [23] for temporal logic control of gMDPs. These two works are focused on single gMDPs. One of ...
9
Probabilistic verification of satellite systems for mission critical applications
... Chapter 1 Introduction 1.1 Motivation Satellite based systems appear in almost all aspects of our daily lives. In industry, satel- lites are already in operational use as part of commercial and non-critical ...
193
Probabilistic Message Passing in Peer Data Management Systems
... a probabilistic model where we take ad- vantage of transitive closures of mapping operations to con- front local belief on the correctness of a mapping against evidences gathered around the ...
12
Probabilistic and Nondeterministic Systems
... We used token based randomized stabilization protocol to see the efficiency of modchk fuzzy algorithm. Leaving apart the inherent exponential blow up of the system, the method is competitive with respect to resources and ...
60