Sfoglia per Autore  

Opzioni
Mostrati risultati da 1 a 8 di 8
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