CAPILUPPI, MARTA

CAPILUPPI, MARTA  

ARIC - AREA RICERCA  

Personale tecnico amm.vo  

Mostra records
Risultati 1 - 8 di 8 (tempo di esecuzione: 0.012 secondi).
Titolo Autore(i) Anno Periodico Editore Tipo File
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 -
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 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 -
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 -
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 -
Fault Diagnosis of Hybrid Systems: an Onboard Camera Model D. Bresolin; M. Capiluppi 2012-01-01 - Elsevier 4.01 Contributo in Atti di convegno -