Sfoglia per Autore
Mostrati risultati da 1 a 8 di 8
An integrated design approach to multilevel Fault Tolerant Control of distributed systems
2004 C. Bonivento; M. Capiluppi; L. Marconi; A. Paoli
Distributed fault tolerant control of a two-tanks system
2004 C. Bonivento; M. Capiluppi; L. Marconi; A. Paoli
An Integrated Design Approach to Multilevel Fault Tolerant Control of Distributed Systems
2005 C. Bonivento; M. Capiluppi; L. Marconi; A. Paoli
A Game-Theoretic approach to Fault Diagnosis of Hybrid Systems
2011 D. Bresolin; M. Capiluppi
Fault Diagnosis of Hybrid Systems: an Onboard Camera Model
2012 D. Bresolin; M. Capiluppi
A framework for Fault Diagnosis of Hybrid Systems based on Predicate Abstractions
2013 D. Bresolin;M. Capiluppi
A game-theoretic approach to fault diagnosis and identification of hybrid systems
2013 D. Bresolin; M. Capiluppi
Application of contract-based verification techniques for hybrid automata to surgical robotic systems
2014 Luzie Schreiter; Davide Bresolin; Marta Capiluppi; Joerg Raczkowsky; Paolo Fiorini; Heinz Woern
Titolo | Autore(i) | Anno | Periodico | Editore | Tipo | File |
---|---|---|---|---|---|---|
An integrated design approach to multilevel Fault Tolerant Control of distributed systems | C. Bonivento; M. Capiluppi; L. Marconi; A. Paoli | 2004-01-01 | - | s.n | 4.01 Contributo in Atti di convegno | - |
Distributed fault tolerant control of a two-tanks system | C. Bonivento; M. Capiluppi; L. Marconi; A. Paoli | 2004-01-01 | - | s.n | 4.01 Contributo in Atti di convegno | - |
An Integrated Design Approach to Multilevel Fault Tolerant Control of Distributed Systems | C. Bonivento; M. Capiluppi; L. Marconi; A. Paoli | 2005-01-01 | - | Elsevier | 4.01 Contributo in Atti di convegno | - |
A Game-Theoretic approach to Fault Diagnosis of Hybrid Systems | D. Bresolin; M. Capiluppi | 2011-01-01 | ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE | Open Publishing Association | 4.01 Contributo in Atti di convegno | - |
Fault Diagnosis of Hybrid Systems: an Onboard Camera Model | D. Bresolin; M. Capiluppi | 2012-01-01 | - | Elsevier | 4.01 Contributo in Atti di convegno | - |
A framework for Fault Diagnosis of Hybrid Systems based on Predicate Abstractions | D. Bresolin;M. Capiluppi | 2013-01-01 | - | IEEE Comp. Society Press | 4.01 Contributo in Atti di convegno | - |
A game-theoretic approach to fault diagnosis and identification of hybrid systems | D. Bresolin; M. Capiluppi | 2013-01-01 | THEORETICAL COMPUTER SCIENCE | - | 1.01 Articolo in rivista | - |
Application of contract-based verification techniques for hybrid automata to surgical robotic systems | Luzie Schreiter; Davide Bresolin; Marta Capiluppi; Joerg Raczkowsky; Paolo Fiorini; Heinz Woern | 2014-01-01 | - | IEEE | 4.01 Contributo in Atti di convegno | - |
Mostrati risultati da 1 a 8 di 8
Legenda icone
- file ad accesso aperto
- file disponibili sulla rete interna
- file disponibili agli utenti autorizzati
- file disponibili solo agli amministratori
- file sotto embargo
- nessun file disponibile