CAPILUPPI, MARTA
Dettaglio
CAPILUPPI, MARTA
Personale tecnico amm.vo
Pubblicazioni
Risultati 1 - 8 di 8 (tempo di esecuzione: 0.0 secondi).
Titolo | Autore(i) | Anno | Periodico | Editore | Tipo | File | |
---|---|---|---|---|---|---|---|
1 | A framework for Fault Diagnosis of Hybrid Systems based on Predicate Abstractions | D. Bresolin;M. Capiluppi | 2013 | IEEE Comp. Society Press | 4.01 Contributo in Atti di convegno | - | |
2 | A game-theoretic approach to fault diagnosis and identification of hybrid systems | D. Bresolin; M. Capiluppi | 2013 | THEORETICAL COMPUTER SCIENCE | 1.01 Articolo in rivista | - | |
3 | A Game-Theoretic approach to Fault Diagnosis of Hybrid Systems | D. Bresolin; M. Capiluppi | 2011 | ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE | Open Publishing Association | 4.01 Contributo in Atti di convegno | - |
4 | An integrated design approach to multilevel Fault Tolerant Control of distributed systems | C. Bonivento; M. Capiluppi; L. Marconi; A. Paoli | 2004 | s.n | 4.01 Contributo in Atti di convegno | - | |
5 | An Integrated Design Approach to Multilevel Fault Tolerant Control of Distributed Systems | C. Bonivento; M. Capiluppi; L. Marconi; A. Paoli | 2005 | Elsevier | 4.01 Contributo in Atti di convegno | - | |
6 | 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 | IEEE | 4.01 Contributo in Atti di convegno | - | |
7 | Distributed fault tolerant control of a two-tanks system | C. Bonivento; M. Capiluppi; L. Marconi; A. Paoli | 2004 | s.n | 4.01 Contributo in Atti di convegno | - | |
8 | Fault Diagnosis of Hybrid Systems: an Onboard Camera Model | D. Bresolin; M. Capiluppi | 2012 | Elsevier | 4.01 Contributo in Atti di convegno | - |