Stefan Haar

Literature review of Industry 4.0 and related technologies

Diagnosis of Intermittent Faults

Prognostics and Health Management: A Review on Data Driven Approaches

Digital twin modeling

A Dynamic-Bayesian-Network-Based Fault Diagnosis Methodology Considering Transient and Intermittent Faults

Digital Twins: State-of-the-Art and Future Directions for Modeling and Simulation in Engineering Dynamics Applications

Fault detection for discrete event systems using Petri nets with unobservable transitions

A systematic literature review on QoS-aware service composition and selection in cloud environment

An Overview of Recent Progress in the Study of Distributed Multi-Agent Coordination

Modular Modeling for the Diagnostic of Complex Discrete-Event Systems

An overview of fault tree analysis and its application in model based dependability analysis

A Qualitative Event-Based Approach to Continuous Systems Diagnosis

The AltaRica 3.0 Project for Model-Based Safety Assessment

A Hybrid Prognostics Approach for Estimating Remaining Useful Life of Rolling Element Bearings

A Survey of Fault Diagnosis and Fault-Tolerant Techniques—Part I: Fault Diagnosis With Model-Based and Signal-Based Approaches

Fault Diagnosis and Prognosis With Partially Observed Petri Nets

Asynchronous Consensus Protocols Using Nonlinear Paracontractions Theory

On-line fault detection in discrete event systems by Petri nets and integer linear programming

Diagnosis of Discrete Event Systems Using Satisfiability Algorithms: A Theoretical and Empirical Study

Probabilistic QoS and Soft Contracts for Transaction-Based Web Services Orchestrations

Markov nets: probabilistic models for distributed and concurrent systems

Types of Asynchronous Diagnosability and the Reveals-Relation in Occurrence Nets

Diagnosis of asynchronous discrete-event systems: a net unfolding approach