CAPILUPPI, MARTA
CAPILUPPI, MARTA
ARIC - AREA RICERCA
Personale tecnico amm.vo
Mostra
records
Risultati 1 - 8 di 8 (tempo di esecuzione: 0.014 secondi).
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
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
Fault Diagnosis of Hybrid Systems: an Onboard Camera Model
2012 D. Bresolin; M. Capiluppi
A Game-Theoretic approach to Fault Diagnosis of Hybrid Systems
2011 D. Bresolin; M. Capiluppi
An Integrated Design Approach to Multilevel Fault Tolerant Control of Distributed Systems
2005 C. Bonivento; M. Capiluppi; L. Marconi; A. Paoli
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
| Titolo | Autore(i) | Anno | Periodico | Editore | Tipo | File |
|---|---|---|---|---|---|---|
| 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 | - |
| 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 | - |
| 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 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 | - |
| 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 | - |
| 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 | - |