An integrated process for FDIR design in aerospace

B Bittner, M Bozzano, A Cimatti, R De Ferluc… - Model-Based Safety and …, 2014 - Springer
The correct operation of complex critical systems increasingly relies on the ability to detect
and recover from faults. The design of Fault Detection, Isolation and Recovery (FDIR) sub …

Diagnosability of fair transition systems

B Bittner, M Bozzano, A Cimatti, M Gario, S Tonetta… - Artificial Intelligence, 2022 - Elsevier
The integrity of complex dynamic systems often relies on the ability to detect, during
operation, the occurrence of faults, or, in other words, to diagnose the system. The feasibility …

Diagnosability analysis of input/output discrete-event systems using model-checking

A Boussif, M Ghazel - IFAC-PapersOnLine, 2015 - Elsevier
This paper deals with analysis of diagnosability and K-diagnosability of dynamic systems in
a model-checking framework. Dynamic systems are abstracted here as Discrete-Event …

[PDF][PDF] FAME: A Model-Based Environment for FDIR Design in Aerospace

B Bittner, M Bozzano, A Cimatti… - Short and Tutorial …, 2014 - es-static.fbk.eu
The FAME environment is a model-based toolset that implements an integrated process for
FDIR (Fault Detection, Isolation and Recovery) design, addressing the shortcomings of …

Formal Design and Verification of Digital PID Gain Scheduling Controllers

PA Ordóñez Aguileta - 2018 - etheses.whiterose.ac.uk
The verification process of embedded systems is fundamental for their correct development.
Embedded control is a popular choice among the engineering community, making the …