Mattias Nyberg

Available identifiers

zbMath Open nyberg.mattiasMaRDI QIDQ212277

List of research outcomes

Publication	Date of Publication	Type
Preserving Contract Satisfiability Under Non-monotonic Composition	2023-03-10	Paper
Transient analysis of hierarchical semi-Markov process models with tool support in Stateflow	2022-03-24	Paper
Conditions of contracts for separating responsibilities in heterogeneous systems	2018-04-12	Paper
Residual Generation for Fault Diagnosis of Systems Described by Linear Differential-Algebraic Equations	2017-07-27	Paper
Automated design of an FDI system for the wind turbine benchmark	2012-03-09	Paper
Criterions for detectability and strong detectability of faults in linear systems	2002-10-16	Paper
A minimal polynomial basis solution to residual generation for fault diagnosis in linear systems	2002-05-14	Paper

Research outcomes over time

This page was built for person: Mattias Nyberg