CAPILUPPI, Marta

CAPILUPPI, Marta  

Mostra records
Risultati 1 - 14 di 14 (tempo di esecuzione: 0.037 secondi).
Titolo Data di pubblicazione Autore(i) File
A game-theoretic approach to fault diagnosis and identification of hybrid systems 1-gen-2013 Bresolin, Davide; Capiluppi, Marta
A Game-Theoretic approach to Fault Diagnosis of Hybrid Systems 1-gen-2011 Bresolin, Davide; Capiluppi, Marta
Application of Contract-based verification techniques for Hybrid Automata to Surgical Robotic Systems 1-gen-2014 Schreiter, Luzie; Bresolin, Davide; Capiluppi, Marta; Raczkowsky, Joerg; Fiorini, Paolo; Woern, Heinz
Deformation detection and tracking on continuous and deformable medical tools 1-gen-2016 Visentin, Francesco; Capiluppi, Marta; Suzuki, K.; Fiorini, Paolo
Distributed collision avoidance for autonomous vehicles: World automata representation 1-gen-2012 N. E., Marinica; Capiluppi, Marta; J. A., Rogge; Segala, Roberto; R. K., Boel
Fault Diagnosis of Hybrid Systems: an Onboard Camera Model 1-gen-2012 Bresolin, Davide; Capiluppi, Marta
Modeling and Verification of a Robotic Surgical System using Hybrid Input/Output Automata 1-gen-2013 Capiluppi, Marta; Schreiter, Luzie; Fiorini, Paolo; Raczkowsky, Joerg; Woern, Heinz
Modeling Objects Moving in a Complex Environment with World Automata 1-gen-2015 Capiluppi, Marta; Segala, Roberto
Modelling Implicit Communication in Multi-Agent Systems with Hybrid Input/Output Automata 1-gen-2012 Capiluppi, Marta; Segala, Roberto
Ontology-based modular architecture for surgical autonomous robots 1-gen-2014 Perrone, R.; Nessi, F.; De Momi, E.; Boriero, Fabrizio; Capiluppi, Marta; Fiorini, Paolo; Ferrigno, G.
A Smart Skin Based Measurement System for Abnormality Identification in Soft Tissue Palpation 1-gen-2016 Visentin, Francesco; Muradore, Riccardo; Capiluppi, Marta; Suzuki, K.; Fiorini, Paolo
Task Ontology Validation in Surgical Robotics 1-gen-2014 Boriero, Fabrizio; Capiluppi, Marta; Muradore, Riccardo; Fiorini, Paolo
Teaching physical Human-Robot Interaction to Computer Science Undergraduate Students 1-gen-2016 Tadiello, Carlo; DE ROSSI, Giacomo; Capiluppi, Marta; Muradore, Riccardo; Fiorini, Paolo
World Automata: a compositional approach to model implicit communication in hierarchical Hybrid Systems 1-gen-2013 Capiluppi, Marta; Segala, Roberto