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