Sök böcker

Här kan du söka dig fram till bra böcker. Klicka sen på en bok för att läsa mer om den!

Sökning efter: Mattias Nyberg 43 träffar

Titel Författare År Språk
1 On modeling and diagnosis of friction and wear in industrial robots André Carvalho Bittencourt 2012 Engelska
2 FDI with adaptive residual generation applied to a DC-servo Erik Frisk 1997 Engelska
3 A minimal polynomial basis solution to residual generation for fault diagnosis in linear systems Erik Frisk 1999 Engelska
4 Residual generation for fault diagnosis of systems described by general linear differential-algebraic equations Erik Frisk 2003 Engelska
5 Residual Generation for Fault Diagnosis of Systems Described by General Linear Differential-Algebraic Equations (revised) Erik Frisk 2005 Engelska
6-7 Using Minimal Polynomial Bases for Model-Based Fault Diagnosis - A Demonstration Document for PolyX, Ltd (flera utgåvor) Erik Frisk 1999 Engelska
8 A Theory of Probabilistic Contracts (With Proofs) Anton Hampus 2024 Engelska
9 Formally Verifying Decompositions of Stochastic Specifications (With Proofs) FMICS 2022 Anton Hampus 2022 Engelska
10 Verifying Refinement of Probabilistic Contracts Using Timed Automata (With Proofs) Anton Hampus 2023 Engelska
11 Design and analysis of diagnosis systems using structural methods Mattias Krysander 2006 Engelska
12 An efficient algorithm for finding over-constrained sub-systems for construction of diagnostic tests Mattias Krysander 2005 Engelska
13 Fault isolability prediction of diagnostic models Mattias Krysander 2005 Engelska
14-15 Structural analysis for fault diagnosis of DAE systems utilizing graph theory and MSS sets (flera utgåvor) Mattias Krysander 2002 Engelska
16 Automated Creation of Safety Cases for Highly Configurable Systems Damir Nešić 2020 Engelska
17 Contract-based Specification and Description-Logic-Based Validation of Product Lines Damir Nešić 2018 Engelska
18 Verifying Contract-Based Specications of Product Lines using Description Logic 31st international workshop on Description Logics Damir Nešić 2018 Engelska
19 Issues in Diagnosis, Supervision, and Safety Lars Nielsen 1996 Engelska
20 A Derivation of the Minimal Polynomial Basis Approach to Linear Residual Generation Mattias Nyberg 2001 Engelska

1 2 3 Nästa sida

Sökningen görs direkt i Kungl. bibliotekets söktjänst libris. Libris katalog innehåller närmare 7 miljoner titlar från ca 170 bibliotek i Sverige och biblioteken samarbetar om att hålla katalogen uppdaterad. Utan libris skulle inte en tjänst som Boktraven vara möjlig.