-
Stochastic Homogenisation of nonlinear minimum-cost flow problems
Authors:
Peter Gladbach,
Jan Maas,
Lorenzo Portinale
Abstract:
This paper deals with the large-scale behaviour of nonlinear minimum-cost flow problems on random graphs. In such problems, a random nonlinear cost functional is minimised among all flows (discrete vector-fields) with a prescribed net flux through each vertex. On a stationary random graph embedded in $\mathbb{R}^d$, our main result asserts that these problems converge, in the large-scale limit, to…
▽ More
This paper deals with the large-scale behaviour of nonlinear minimum-cost flow problems on random graphs. In such problems, a random nonlinear cost functional is minimised among all flows (discrete vector-fields) with a prescribed net flux through each vertex. On a stationary random graph embedded in $\mathbb{R}^d$, our main result asserts that these problems converge, in the large-scale limit, to a continuous minimisation problem where an effective cost functional is minimised among all vector fields with prescribed divergence. Our main result is formulated using $Γ$-convergence and applies to multi-species problems. The proof employs the blow-up technique by Fonseca and Müller in a discrete setting. One of the main challenges overcome is the construction of the homogenised energy density on random graphs without a periodic structure.
△ Less
Submitted 9 April, 2025; v1 submitted 6 December, 2024;
originally announced December 2024.
-
Beyond Labels: A Self-Supervised Framework with Masked Autoencoders and Random Cropping for Breast Cancer Subtype Classification
Authors:
Annalisa Chiocchetti,
Marco Dossena,
Christopher Irwin,
Luigi Portinale
Abstract:
This work contributes to breast cancer sub-type classification using histopathological images. We utilize masked autoencoders (MAEs) to learn a self-supervised embedding tailored for computer vision tasks in this domain. This embedding captures informative representations of histopathological data, facilitating feature learning without extensive labeled datasets. During pre-training, we investigat…
▽ More
This work contributes to breast cancer sub-type classification using histopathological images. We utilize masked autoencoders (MAEs) to learn a self-supervised embedding tailored for computer vision tasks in this domain. This embedding captures informative representations of histopathological data, facilitating feature learning without extensive labeled datasets. During pre-training, we investigate employing a random crop technique to generate a large dataset from WSIs automatically. Additionally, we assess the performance of linear probes for multi-class classification tasks of cancer sub-types using the representations learnt by the MAE. Our approach aims to achieve strong performance on downstream tasks by leveraging the complementary strengths of ViTs and autoencoders. We evaluate our model's performance on the BRACS dataset and compare it with existing benchmarks.
△ Less
Submitted 15 October, 2024;
originally announced October 2024.
-
Quantum optimal transport with convex regularization
Authors:
Emanuele Caputo,
Augusto Gerolin,
Nataliia Monina,
Lorenzo Portinale
Abstract:
The goal of this paper is to settle the study of non-commutative optimal transport problems with convex regularization, in their static and finite-dimensional formulations. We consider both the balanced and unbalanced problem and show in both cases a duality result, characterizations of minimizers (for the primal) and maximizers (for the dual). An important tool we define is a non-commutative vers…
▽ More
The goal of this paper is to settle the study of non-commutative optimal transport problems with convex regularization, in their static and finite-dimensional formulations. We consider both the balanced and unbalanced problem and show in both cases a duality result, characterizations of minimizers (for the primal) and maximizers (for the dual). An important tool we define is a non-commutative version of the classical $(c,ψ)$-transforms associated with a general convex regularization, which we employ to prove the convergence of Sinkhorn iterations in the balanced case. Finally, we show the convergence of the unbalanced transport problems towards the balanced one, as well as the convergence of transforms, as the marginal penalization parameters go to $+\infty$.
△ Less
Submitted 5 September, 2024;
originally announced September 2024.
-
Graph Neural Networks for Gut Microbiome Metaomic data: A preliminary work
Authors:
Christopher Irwin,
Flavio Mignone,
Stefania Montani,
Luigi Portinale
Abstract:
The gut microbiome, crucial for human health, presents challenges in analyzing its complex metaomic data due to high dimensionality and sparsity. Traditional methods struggle to capture its intricate relationships. We investigate graph neural networks (GNNs) for this task, aiming to derive meaningful representations of individual gut microbiomes. Unlike methods relying solely on taxa abundance, we…
▽ More
The gut microbiome, crucial for human health, presents challenges in analyzing its complex metaomic data due to high dimensionality and sparsity. Traditional methods struggle to capture its intricate relationships. We investigate graph neural networks (GNNs) for this task, aiming to derive meaningful representations of individual gut microbiomes. Unlike methods relying solely on taxa abundance, we directly leverage phylogenetic relationships, in order to obtain a generalized encoder for taxa networks. The representation learnt from the encoder are then used to train a model for phenotype prediction such as Inflammatory Bowel Disease (IBD).
△ Less
Submitted 28 June, 2024;
originally announced July 2024.
-
Limit theorems for empirical measures of interacting quantum systems in Wasserstein space
Authors:
Lorenzo Portinale,
Simone Rademacher,
Dániel Virosztek
Abstract:
We prove fundamental properties of empirical measures induced by measurements performed on quantum $N$-body systems. More precisely, we consider measurements performed on the ground state of an interacting, trapped Bose gase in the Gross--Pitaevskii regime, known to exhibit Bose--Einstein condensation. For the corresponding empirical measure, we prove a weak law of large numbers with limit induced…
▽ More
We prove fundamental properties of empirical measures induced by measurements performed on quantum $N$-body systems. More precisely, we consider measurements performed on the ground state of an interacting, trapped Bose gase in the Gross--Pitaevskii regime, known to exhibit Bose--Einstein condensation. For the corresponding empirical measure, we prove a weak law of large numbers with limit induced by the condensate wave function and characterize the fluctuations around through an appropriate central limit theorem.
△ Less
Submitted 1 December, 2023;
originally announced December 2023.
-
Discrete-to-continuum limits of optimal transport with linear growth on periodic graphs
Authors:
Lorenzo Portinale,
Filippo Quattrocchi
Abstract:
We prove discrete-to-continuum convergence for dynamical optimal transport on $\mathbb{Z}^d$-periodic graphs with energy density having linear growth at infinity. This result provides an answer to a problem left open by Gladbach, Kopfer, Maas, and Portinale (Calc Var Partial Differential Equations 62(5), 2023), where the convergence behaviour of discrete boundary-value dynamical transport problems…
▽ More
We prove discrete-to-continuum convergence for dynamical optimal transport on $\mathbb{Z}^d$-periodic graphs with energy density having linear growth at infinity. This result provides an answer to a problem left open by Gladbach, Kopfer, Maas, and Portinale (Calc Var Partial Differential Equations 62(5), 2023), where the convergence behaviour of discrete boundary-value dynamical transport problems is proved under the stronger assumption of superlinear growth. Our result extends the known literature to some important classes of examples, such as scaling limits of 1-Wasserstein transport problems. Similarly to what happens in the quadratic case, the geometry of the graph plays a crucial role in the structure of the limit cost function, as we discuss in the final part of this work, which includes some visual representations.
△ Less
Submitted 28 November, 2023;
originally announced November 2023.
-
Entropic regularised optimal transport in a noncommutative setting
Authors:
Lorenzo Portinale
Abstract:
This survey has been written in occasion of the School and Workshop about Optimal Transport on Quantum Structures at Erdös Center in September 2022. We discuss some recent results on noncommutative entropic optimal transport problems and their relation to the study of the ground-state energy of a finite-dimensional composite quantum system at positive temperature, following the work [FGP23]. In th…
▽ More
This survey has been written in occasion of the School and Workshop about Optimal Transport on Quantum Structures at Erdös Center in September 2022. We discuss some recent results on noncommutative entropic optimal transport problems and their relation to the study of the ground-state energy of a finite-dimensional composite quantum system at positive temperature, following the work [FGP23]. In the first part, we review some of the classical primal-dual formulations of optimal transport in the commutative setting, including extensions to multimarginal problems and entropic regularisation. We discuss the main features of the entropic problem and show how optimisers can be efficiently computed via the so-called Sinkhorn algorithm. In the second part, we discuss how to apply these ideas to a noncommutative setting, in particular on the space of density matrices over finite dimensional Hilbert spaces. In this framework, we present equivalences between primal and dual formulations, and use them to characterise the optimisers. Despite the lack of explicit formulas due to the noncommutative nature of the problem, one can also show that a suitable quantum version of the Sinkhorn algorithm converges to the minimiser of the entropic problem. In the final part of this work, we discuss similar results for bosonic and fermionic systems.
△ Less
Submitted 16 October, 2023;
originally announced October 2023.
-
The strong Brunn--Minkowski inequality and its equivalence with the CD condition
Authors:
Mattia Magnabosco,
Lorenzo Portinale,
Tommaso Rossi
Abstract:
In the setting of essentially non-branching metric measure spaces, we prove the equivalence between the curvature dimension condition CD(K,N), in the sense of Lott--Sturm--Villani, and a newly introduced notion that we call strong Brunn--Minkowski inequality SBM(K,N). This condition is a reinforcement of the generalized Brunn--Minkowski inequality BM(K,N), which is known to hold in CD(K,N) spaces.…
▽ More
In the setting of essentially non-branching metric measure spaces, we prove the equivalence between the curvature dimension condition CD(K,N), in the sense of Lott--Sturm--Villani, and a newly introduced notion that we call strong Brunn--Minkowski inequality SBM(K,N). This condition is a reinforcement of the generalized Brunn--Minkowski inequality BM(K,N), which is known to hold in CD(K,N) spaces. Our result is a first step towards providing a full equivalence between the CD(K,N) condition and the validity of BM(K,N), which we have recently proved in the framework of weighted Riemannian manifolds.
△ Less
Submitted 4 October, 2022;
originally announced October 2022.
-
The Brunn--Minkowski inequality implies the CD condition in weighted Riemannian manifolds
Authors:
Mattia Magnabosco,
Lorenzo Portinale,
Tommaso Rossi
Abstract:
The curvature dimension condition CD(K,N), pioneered by Sturm and Lott--Villani, is a synthetic notion of having curvature bounded below and dimension bounded above, in the non-smooth setting. This condition implies a suitable generalization of the Brunn--Minkowski inequality, denoted by BM(K,N). In this paper, we address the converse implication in the setting of weighted Riemannian manifolds, pr…
▽ More
The curvature dimension condition CD(K,N), pioneered by Sturm and Lott--Villani, is a synthetic notion of having curvature bounded below and dimension bounded above, in the non-smooth setting. This condition implies a suitable generalization of the Brunn--Minkowski inequality, denoted by BM(K,N). In this paper, we address the converse implication in the setting of weighted Riemannian manifolds, proving that BM(K,N) is in fact equivalent to CD(K,N). Our result allows to characterize the curvature dimension condition without using neither the optimal transport nor the differential structure of the manifold.
△ Less
Submitted 27 September, 2022;
originally announced September 2022.
-
Optimal transport with nonlinear mobilities: a deterministic particle approximation result
Authors:
Simone Di Marino,
Lorenzo Portinale,
Emanuela Radici
Abstract:
We study the discretization of generalized Wasserstein distances with nonlinear mobilities on the real line via suitable discrete metrics on the cone of N ordered particles, a setting which naturally appears in the framework of deterministic particle approximation of partial differential equations. In particular, we provide a $Γ$-convergence result for the associated discrete metrics as…
▽ More
We study the discretization of generalized Wasserstein distances with nonlinear mobilities on the real line via suitable discrete metrics on the cone of N ordered particles, a setting which naturally appears in the framework of deterministic particle approximation of partial differential equations. In particular, we provide a $Γ$-convergence result for the associated discrete metrics as $N \to \infty$ to the continuous one and discuss applications to the approximation of one-dimensional conservation laws (of gradient flow type) via the so-called generalized minimizing movements, proving a convergence result of the schemes at any given discrete time step $τ>0$. This the first work of a series aimed at shedding new lights on the interplay between generalized gradient-flow structures, conservation laws, and Wasserstein distances with nonlinear mobilities.
△ Less
Submitted 31 August, 2022;
originally announced August 2022.
-
Scaling Limits of Random Walks, Harmonic Profiles, and Stationary Non-Equilibrium States in Lipschitz Domains
Authors:
Lorenzo Dello Schiavo,
Lorenzo Portinale,
Federico Sau
Abstract:
We consider the open symmetric exclusion (SEP) and inclusion (SIP) processes on a bounded Lipschitz domain $Ω$, with both fast and slow boundary. For the random walks on $Ω$ dual to SEP/SIP we establish: a functional-CLT-type convergence to the Brownian motion on $Ω$ with either Neumann (slow boundary), Dirichlet (fast boundary), or Robin (at criticality) boundary conditions; the discrete-to-conti…
▽ More
We consider the open symmetric exclusion (SEP) and inclusion (SIP) processes on a bounded Lipschitz domain $Ω$, with both fast and slow boundary. For the random walks on $Ω$ dual to SEP/SIP we establish: a functional-CLT-type convergence to the Brownian motion on $Ω$ with either Neumann (slow boundary), Dirichlet (fast boundary), or Robin (at criticality) boundary conditions; the discrete-to-continuum convergence of the corresponding harmonic profiles. As a consequence, we rigorously derive the hydrodynamic and hydrostatic limits for SEP/SIP on $Ω$, and analyze their stationary non-equilibrium fluctuations. All scaling limit results for SEP/SIP concern finite-dimensional distribution convergence only, as our duality techniques do not require to establish tightness for the fields associated to the particle systems.
△ Less
Submitted 3 August, 2023; v1 submitted 28 December, 2021;
originally announced December 2021.
-
Homogenisation of dynamical optimal transport on periodic graphs
Authors:
Peter Gladbach,
Eva Kopfer,
Jan Maas,
Lorenzo Portinale
Abstract:
This paper deals with the large-scale behaviour of dynamical optimal transport on $\mathbb{Z}^d$-periodic graphs with general lower semicontinuous and convex energy densities. Our main contribution is a homogenisation result that describes the effective behaviour of the discrete problems in terms of a continuous optimal transport problem. The effective energy density can be explicitly expressed in…
▽ More
This paper deals with the large-scale behaviour of dynamical optimal transport on $\mathbb{Z}^d$-periodic graphs with general lower semicontinuous and convex energy densities. Our main contribution is a homogenisation result that describes the effective behaviour of the discrete problems in terms of a continuous optimal transport problem. The effective energy density can be explicitly expressed in terms of a cell formula, which is a finite-dimensional convex programming problem that depends non-trivially on the local geometry of the discrete graph and the discrete energy density.
Our homogenisation result is derived from a $Γ$-convergence result for action functionals on curves of measures, which we prove under very mild growth conditions on the energy density. We investigate the cell formula in several cases of interest, including finite-volume discretisations of the Wasserstein distance, where non-trivial limiting behaviour occurs.
△ Less
Submitted 28 October, 2021;
originally announced October 2021.
-
A Non-Commutative Entropic Optimal Transport Approach to Quantum Composite Systems at Positive Temperature
Authors:
Dario Feliciangeli,
Augusto Gerolin,
Lorenzo Portinale
Abstract:
This paper establishes new connections between many-body quantum systems, One-body Reduced Density Matrices Functional Theory (1RDMFT) and Optimal Transport (OT), by interpreting the problem of computing the ground-state energy of a finite dimensional composite quantum system at positive temperature as a non-commutative entropy regularized Optimal Transport problem. We develop a new approach to fu…
▽ More
This paper establishes new connections between many-body quantum systems, One-body Reduced Density Matrices Functional Theory (1RDMFT) and Optimal Transport (OT), by interpreting the problem of computing the ground-state energy of a finite dimensional composite quantum system at positive temperature as a non-commutative entropy regularized Optimal Transport problem. We develop a new approach to fully characterize the dual-primal solutions in such non-commutative setting. The mathematical formalism is particularly relevant in quantum chemistry: numerical realizations of the many-electron ground state energy can be computed via a non-commutative version of Sinkhorn algorithm. Our approach allows to prove convergence and robustness of this algorithm, which, to our best knowledge, were unknown even in the two marginal case. Our methods are based on careful a priori estimates in the dual problem, which we believe to be of independent interest. Finally, the above results are extended in 1RDMFT setting, where bosonic or fermionic symmetry conditions are enforced on the problem.
△ Less
Submitted 21 July, 2021; v1 submitted 21 June, 2021;
originally announced June 2021.
-
Evolutionary $Γ$-convergence of entropic gradient flow structures for Fokker-Planck equations in multiple dimensions
Authors:
Dominik Forkert,
Jan Maas,
Lorenzo Portinale
Abstract:
We consider finite-volume approximations of Fokker-Planck equations on bounded convex domains in $\mathbb{R}^d$ and study the corresponding gradient flow structures. We reprove the convergence of the discrete to continuous Fokker-Planck equation via the method of Evolutionary $Γ$-convergence, i.e., we pass to the limit at the level of the gradient flow structures, generalising the one-dimensional…
▽ More
We consider finite-volume approximations of Fokker-Planck equations on bounded convex domains in $\mathbb{R}^d$ and study the corresponding gradient flow structures. We reprove the convergence of the discrete to continuous Fokker-Planck equation via the method of Evolutionary $Γ$-convergence, i.e., we pass to the limit at the level of the gradient flow structures, generalising the one-dimensional result obtained by Disser and Liero. The proof is of variational nature and relies on a Mosco convergence result for functionals in the discrete-to-continuum limit that is of independent interest. Our results apply to arbitrary regular meshes, even though the associated discrete transport distances may fail to converge to the Wasserstein distance in this generality.
△ Less
Submitted 25 August, 2020;
originally announced August 2020.
-
Penalization via global functionals of optimal-control problems for dissipative evolution
Authors:
Lorenzo Portinale,
Ulisse Stefanelli
Abstract:
We consider an optimal control problem for an abstract nonlinear dissipative evolution equation. The differential constraint is penalized by augmenting the target functional by a nonnegative global-in-time functional which is null-minimized in the evolution equation is satisfied. Different variational settings are presented, leading to the convergence of the penalization method for gradient flows,…
▽ More
We consider an optimal control problem for an abstract nonlinear dissipative evolution equation. The differential constraint is penalized by augmenting the target functional by a nonnegative global-in-time functional which is null-minimized in the evolution equation is satisfied. Different variational settings are presented, leading to the convergence of the penalization method for gradient flows, noncyclic and semimonotone flows, doubly nonlinear evolutions, and GENERIC systems.
△ Less
Submitted 22 October, 2019;
originally announced October 2019.
-
Approaching Adaptation Guided Retrieval in Case-Based Reasoning through Inference in Undirected Graphical Models
Authors:
Luigi Portinale
Abstract:
In Case-Based Reasoning, when the similarity assumption does not hold, the retrieval of a set of cases structurally similar to the query does not guarantee to get a reusable or revisable solution. Knowledge about the adaptability of solutions has to be exploited, in order to define a method for adaptation-guided retrieval. We propose a novel approach to address this problem, where knowledge about…
▽ More
In Case-Based Reasoning, when the similarity assumption does not hold, the retrieval of a set of cases structurally similar to the query does not guarantee to get a reusable or revisable solution. Knowledge about the adaptability of solutions has to be exploited, in order to define a method for adaptation-guided retrieval. We propose a novel approach to address this problem, where knowledge about the adaptability of the solutions is captured inside a metric Markov Random Field (MRF). Nodes of the MRF represent cases and edges connect nodes whose solutions are close in the solution space. States of the nodes represent different adaptation levels with respect to the potential query. Metric-based potentials enforce connected nodes to share the same state, since cases having similar solutions should have the same adaptability level with respect to the query. The main goal is to enlarge the set of potentially adaptable cases that are retrieved without significantly sacrificing the precision and accuracy of retrieval. We will report on some experiments concerning a retrieval architecture where a simple kNN retrieval (on the problem description) is followed by a further retrieval step based on MRF inference.
△ Less
Submitted 29 May, 2019;
originally announced May 2019.
-
Homogenisation of one-dimensional discrete optimal transport
Authors:
Peter Gladbach,
Eva Kopfer,
Jan Maas,
Lorenzo Portinale
Abstract:
This paper deals with dynamical optimal transport metrics defined by spatial discretisation of the Benamou--Benamou formula for the Kantorovich metric $W_2$. Such metrics appear naturally in discretisations of $W_2$-gradient flow formulations for dissipative PDE. However, it has recently been shown that these metrics do not in general converge to $W_2$, unless strong geometric constraints are impo…
▽ More
This paper deals with dynamical optimal transport metrics defined by spatial discretisation of the Benamou--Benamou formula for the Kantorovich metric $W_2$. Such metrics appear naturally in discretisations of $W_2$-gradient flow formulations for dissipative PDE. However, it has recently been shown that these metrics do not in general converge to $W_2$, unless strong geometric constraints are imposed on the discrete mesh. In this paper we prove that, in a $1$-dimensional periodic setting, discrete transport metrics converge to a limiting transport metric with a non-trivial effective mobility. This mobility depends sensitively on the geometry of the mesh and on the non-local mobility at the discrete level. Our result quantifies to what extent discrete transport can make use of microstructure in the mesh to reduce the cost of transport.
△ Less
Submitted 23 January, 2020; v1 submitted 13 May, 2019;
originally announced May 2019.
-
Modeling Uncertain Temporal Evolutions in Model-Based Diagnosis
Authors:
Luigi Portinale
Abstract:
Although the notion of diagnostic problem has been extensively investigated in the context of static systems, in most practical applications the behavior of the modeled system is significantly variable during time. The goal of the paper is to propose a novel approach to the modeling of uncertainty about temporal evolutions of time-varying systems and a characterization of model-based temporal dia…
▽ More
Although the notion of diagnostic problem has been extensively investigated in the context of static systems, in most practical applications the behavior of the modeled system is significantly variable during time. The goal of the paper is to propose a novel approach to the modeling of uncertainty about temporal evolutions of time-varying systems and a characterization of model-based temporal diagnosis. Since in most real world cases knowledge about the temporal evolution of the system to be diagnosed is uncertain, we consider the case when probabilistic temporal knowledge is available for each component of the system and we choose to model it by means of Markov chains. In fact, we aim at exploiting the statistical assumptions underlying reliability theory in the context of the diagnosis of timevarying systems. We finally show how to exploit Markov chain theory in order to discard, in the diagnostic process, very unlikely diagnoses.
△ Less
Submitted 13 March, 2013;
originally announced March 2013.
-
Bayesian Networks for Dependability Analysis: an Application to Digital Control Reliability
Authors:
Luigi Portinale,
Andrea Bobbio
Abstract:
Bayesian Networks (BN) provide robust probabilistic methods of reasoning under uncertainty, but despite their formal grounds are strictly based on the notion of conditional dependence, not much attention has been paid so far to their use in dependability analysis. The aim of this paper is to propose BN as a suitable tool for dependability analysis, by challenging the formalism with basic issues ar…
▽ More
Bayesian Networks (BN) provide robust probabilistic methods of reasoning under uncertainty, but despite their formal grounds are strictly based on the notion of conditional dependence, not much attention has been paid so far to their use in dependability analysis. The aim of this paper is to propose BN as a suitable tool for dependability analysis, by challenging the formalism with basic issues arising in dependability tasks. We will discuss how both modeling and analysis issues can be naturally dealt with by BN. Moreover, we will show how some limitations intrinsic to combinatorial dependability methods such as Fault Trees can be overcome using BN. This will be pursued through the study of a real-world example concerning the reliability analysis of a redundant digital Programmable Logic Controller (PLC) with majority voting 2:3
△ Less
Submitted 23 January, 2013;
originally announced January 2013.
-
Parametric Dependability Analysis through Probabilistic Horn Abduction
Authors:
Andrea Bobbio,
Stefania Montani,
Luigi Portinale
Abstract:
Dependability modeling and evaluation is aimed at investigating that a system performs its function correctly in time. A usual way to achieve a high reliability, is to design redundant systems that contain several replicas of the same subsystem or component. State space methods for dependability analysis may suffer of the state space explosion problem in such a kind of situation.…
▽ More
Dependability modeling and evaluation is aimed at investigating that a system performs its function correctly in time. A usual way to achieve a high reliability, is to design redundant systems that contain several replicas of the same subsystem or component. State space methods for dependability analysis may suffer of the state space explosion problem in such a kind of situation. Combinatorial models, on the other hand, require the simplified assumption of statistical independence; however, in case of redundant systems, this does not guarantee a reduced number of modeled elements. In order to provide a more compact system representation, parametric system modeling has been investigated in the literature, in such a way that a set of replicas of a given subsystem is parameterized so that only one representative instance is explicitly included. While modeling aspects can be suitably addressed by these approaches, analytical tools working on parametric characterizations are often more difficult to be defined and the standard approach is to 'unfold' the parametric model, in order to exploit standard analysis algorithms working at the unfolded 'ground' level. Moreover, parameterized combinatorial methods still require the statistical independence assumption. In the present paper we consider the formalism of Parametric Fault Tree (PFT) and we show how it can be related to Probabilistic Horn Abduction (PHA). Since PHA is a framework where both modeling and analysis can be performed in a restricted first-order language, we aim at showing that converting a PFT into a PHA knowledge base will allow an approach to dependability analysis directly exploiting parametric representation. We will show that classical qualitative and quantitative dependability measures can be characterized within PHA. Furthermore, additional modeling aspects (such as noisy gates and local dependencies) as well as additional reliability measures (such as posterior probability analysis) can be naturally addressed by this conversion. A simple example of a multi-processor system with several replicated units is used to illustrate the approach.
△ Less
Submitted 19 October, 2012;
originally announced December 2012.
