logo
CanyamAI summaries for academic research
language
MobileMobile
  • Phone FeatureWeChat Mini Program
EnglishEnglish
noticeNotice
BlogBlog
delete
arrow
Back
M

Mattias Nyberg

scania

24H-index
181Paper Count
2.3KCitation Count
Published Papers 14
Publication Date
logo
Machine-Checked Compositional Specification and Proofs for Embedded Systems
errTHEORETICAL ASPECTS OF SOFTWARE ENGINEERING, TASE 2025
IF0
err2026-01-01
err0
PREAI
errPalmskog, Karl; Nyberg, Mattias; Gurov, Dilian
errShare
errSave
Transient Analysis of Hierarchical Semi-Markov Process Models with Tool Support in Stateflow
errquantitative evaluation of systems (qest
IF0
err2021-08-19
err2
PREAI
errKaalen, Stefan; Nyberg, Mattias; Mattsson, Olle
errShare
errSave
Product-line assurance cases from contract-based design
errJOURNAL OF SYSTEMS AND SOFTWARE
IF4.1
err2021-06-01
err7
errOAAI
errNesic, Damir; Nyberg, Mattias; Gallina, Barbara
errShare
errSave
An integrated toolchain for model based functional safety analysis
errnature computational science
IF3.7
err2014-05-01
err9
PREAI
errRogovchenko-Buffoni, Lena; Tundis, Andrea; Hossain, Muhammed Zoheb; Nyberg, Mattias; Fritzson, Peter
errShare
errSave
Data-driven and adaptive statistical residual evaluation for fault detection with an automotive application
errMECHANICAL SYSTEMS AND SIGNAL PROCESSING
IF8.9
err2014-03-01
err32
errOAAI
errSvard, Carl; Nyberg, Mattias; Frisk, Erik; Krysander, Mattias
errShare
errSave
Realizability Constrained Selection of Residual Generators for Fault Diagnosis with an Automotive Engine Application
errieee transactions on cybernetics
IF8.7
err2013-11-01
err27
errOAAI
errSvard, Carl; Nyberg, Mattias; Frisk, Erik
errShare
errSave
Automotive engine FDI by application of an automated model-based and data-driven design methodology
errCONTROL ENGINEERING PRACTICE
IF4.6
err2013-04-01
err45
errOAAI
errSvard, Carl; Nyberg, Mattias; Frisk, Erik; Krysander, Mattias
errShare
errSave
Residual generation for fault diagnosis of systems described by linear differential-algebraic equations
errIEEE TRANSACTIONS ON AUTOMATIC CONTROL
IF7
err2006-12-01
err52
errOAAI
errNyberg, Mattias; Frisk, Erik
errShare
errSave
Model based diagnosis of the air path of an automotive diesel engine
errCONTROL ENGINEERING PRACTICE
IF4.6
err2004-05-01
err85
PREAI
errNyberg, M; Stutte, T
errShare
errSave
Using hypothesis testing theory to evaluate principles for leakage diagnosis of automotive engines
errCONTROL ENGINEERING PRACTICE
IF4.6
err2003-11-01
err6
PREAI
errNyberg, M
errShare
errSave
Model-based diagnosis of an automotive engine using several types of fault models
errIEEE TRANSACTIONS ON CONTROL SYSTEMS TECHNOLOGY
IF3.9
err2002-09-01
err69
PREAI
errNyberg, M
errShare
errSave
A minimal polynomial basis solution to residual generation for fault diagnosis in linear systems
errAUTOMATICA
IF5.9
err2001-09-01
err59
errOAAI
errFrisk, E; Nyberg, M
errShare
errSave
A universal Chow-Willsky scheme and detectability criteria
errIEEE TRANSACTIONS ON AUTOMATIC CONTROL
IF7
err2000-01-01
err7
PREAI
errNyberg, M; Nielsen, L
errShare
errSave
Automatic design of diagnosis systems with application to an automotive engine
errCONTROL ENGINEERING PRACTICE
IF4.6
err1999-08-01
err17
PREAI
errNyberg, M
errShare
errSave

Research Directions

No research directions
Co-authors
Cooperation Journals
L
Lars Nielsen
H-index: 35 · Papers: 221
P
Peter Fritzson
H-index: 32 · Papers: 386
E
Erik Frisk
H-index: 29 · Papers: 208
M
Mattias Krysander
H-index: 22 · Papers: 117
B
Barbara Gallina
H-index: 18 · Papers: 159
View more