Search Results - "PORTINALE, L"

RADYBAN : A tool for reliability analysis of dynamic fault trees through conversion into dynamic Bayesian networks by MONTANI, S, PORTINALE, L, BOBBIO, A, CODETTA-RAITERI, D

“…In this paper, we present Radyban (Reliability Analysis with DYnamic BAyesian Networks), a software tool which allows to analyze a dynamic fault tree relying…”
Get full text

Improving the analysis of dependable systems by mapping fault trees into Bayesian networks by Bobbio, A., Portinale, L., Minichino, M., Ciancamerla, E.

“…Bayesian Networks (BN) provide a robust probabilistic method of reasoning under uncertainty. They have been successfully applied in a variety of real-world…”
Get full text

Parametric fault tree for the dependability analysis of redundant systems and its high-level Petri net semantics by Bobbio, A., Franceschinis, G., Gaeta, R., Portinale, L.

“…In order to cope efficiently with the dependability analysis of redundant systems with replicated units, a new, more compact fault-tree formalism, called…”
Get full text

Analysis and Detection of Cyber Attack Processes targeting Smart Grids by Cerotti, D., Codetta-Raiteri, D., Egidi, L., Franceschinis, G., Portinale, L., Dondossola, G., Terruggia, R.

“…This paper proposes an approach based on Bayesian Networks to support cyber security analysts in improving the cyber-security posture of the smart grid. We…”
Get full text

Case-Base Maintenance in a Multimodal Reasoning System by Portinale, Luigi, Torasso, Pietro

“…The definition of suitable case‐base maintenance policies is widely recognized as a major key to success for case‐based systems; underestimating this issue may…”
Get full text

Using compiled knowledge to guide and focus abductive diagnosis by Console, L., Portinale, L., Theseider Dupre, D.

“…Several artificial intelligence architectures and systems based on "deep" models of a domain have been proposed, in particular for the diagnostic task. These…”
Get full text

Supporting Flexible, Efficient, and User-Interpretable Retrieval of Similar Time Series by Montani, S., Leonardi, G., Bottrighi, A., Portinale, L., Terenziani, P.

“…Supporting decision making in domains in which the observed phenomenon dynamics have to be dealt with, can greatly benefit of retrieval of past cases, provided…”
Get full text

Dependability assessment of an industrial Programmable Logic Controller via Parametric Fault-Tree and High Level Petri net by Gaeta, R., Bobbio, A., Franceschinis, G., Portinale, L.

“…The case-study presented in this paper is aimed at assessing the dependability of a Programmable Logic Controller (PLC) devoted to safety functions. This case…”
Get full text

Supporting decisions in diabetic patients management through case-based retrieval by Montani, S, Bellazzi, R, Portinale, L, Fiocchi, S, d'Annunzio, G, Stefanelli, M

“…In this paper we present a tool for the intelligent retrieval of past cases to support Insulin Dependent Diabetes Mellitus patients therapy revision. This tool…”
Get more information

Cased-Based Reasoning for medical knowledge-based systems by Schmidt, Rainer, Montani, Stefania, Bellazzi, Riccardo, Portinale, Luigi, Gierl, Lothar

“…In this paper we present the results of the MIE/GMDS-2000 Workshop ‘Case-Based Reasoning for Medical Knowledge-based Systems’. While in many domains…”
Get full text

Petri net reachability analysis meets model-based diagnostic problem solving by Portinale, L.

“…The present paper describes the formal connection between model-based diagnostic problem solving (usually performed inside logical frameworks) and Petri net…”
Get full text

Behavioral Petri nets: a model for diagnostic knowledge representation and reasoning by Portinale, L.

“…Some of the most popular approaches to model-based diagnosis consist of reasoning about a model of the behaviour of the system to be diagnosed by considering a…”
Get full text

Multi-modal diagnosis combining case-based and model-based reasoning: a formal and experimental analysis by Portinale, Luigi, Magro, Diego, Torasso, Pietro

“…Integrating different reasoning modes in the construction of an intelligent system is one of the most interesting and challenging aspects of modern AI…”
Get full text

R adyban: A tool for reliability analysis of dynamic fault trees through conversion into dynamic Bayesian networks by Montani, S., Portinale, L., Bobbio, A., Codetta-Raiteri, D.

“…In this paper, we present R adyban (Reliability Analysis with DYnamic BAyesian Networks), a software tool which allows to analyze a dynamic fault tree relying…”
Get full text

Sequential application of heterogeneous models for the safetyanalysis of a control system: a case study by Bobbio, A., Ciancamerla, E., Franceschinis, G., Gaeta, R., Minichino, M., Portinale, L.

“…This paper shows how heterogeneous stochastic modelling techniques of increasing modelling power can be applied to assess the safety of a digital control…”
Get full text

Sequential application of heterogeneous models for the safety analysis of a control system: a case study by Bobbio, A, Ciancamerla, E, Franceschinis, G, Gaeta, R, Minichino, M, Portinale, L

“…This paper shows how heterogeneous stochastic modelling techniques of increasing modelling power can be applied to assess the safety of a digital control…”
Get full text

A tool for automatically translating dynamic fault trees into dynamic bayesian networks by Montani, S., Portinale, L., Bobbio, A., Varesio, M., Codetta-Raiteri

“…The unreliability evaluation of a system including dependencies involving the state of components or the failure events, can be performed by modelling the…”
Get full text

A multi-modal reasoning methodology for managing IDDM patients by Montani, Stefania, Bellazzi, Riccardo, Portinale, Luigi, Stefanelli, Mario

“…We present a knowledge management and decision support methodology for insulin dependent diabetes mellitus (IDDM) patients care. Such methodology exploits the…”
Get full text

Diabetic patients management exploiting case-based reasoning techniques by Montani, Stefania, Bellazzi, Riccardo, Portinale, Luigi, d’Annunzio, Giuseppe, Fiocchi, Stefano, Stefanelli, Mario

“…In this paper we propose a case-based decision support tool, designed to help physicians in 1st type diabetes therapy revision through the intelligent…”
Get full text

Using Dynamic Decision Networks and Extended Fault Trees for Autonomous FDIR by Portinale, L., Codetta-Raiteri, D.

“…We address the problem of defining the behavior of an autonoumous FDIR (Fault Detection, Identification and Recovery) agent (e.g. a space rover), in presence…”
Get full text