Marta Capiluppi

11 papers Journal 1Unranked 10
YearRankTypeTitle / Venue / Authors
2016 — conf
Teaching physical human-robot interaction to computer science undergraduate students.
ECC
Carlo Tadiello, Giacomo De Rossi, Marta Capiluppi, Riccardo Muradore, Paolo Fiorini
2014 — conf
Application of contract-based verification techniques for hybrid automata to surgical robotic systems.
ECC
Luzie Schreiter, Davide Bresolin, Marta Capiluppi, Jörg Raczkowsky, Paolo Fiorini, Heinz Wörn
2013 J jnl
A game-theoretic approach to fault diagnosis and identification of hybrid systems.
Theor. Comput. Sci.
Davide Bresolin, Marta Capiluppi
2013 — conf
Modeling and verification of a robotic surgical system using Hybrid Input/Output Automata.
ECC
Marta Capiluppi, Luzie Schreiter, Paolo Fiorini, Jörg Raczkowsky, Heinz Wörn
2013 — conf
World Automata: a compositional approach to model implicit communication in hierarchical Hybrid Systems.
HAS
Marta Capiluppi, Roberto Segala
2012 — conf
Distributed collision avoidance for autonomous vehicles: world automata representation.
ADHS
Nicolae E. Marinica, Marta Capiluppi, Jonathan Rogge, Roberto Segala, René K. Boel
2012 — conf
Modelling Implicit Communication in Multi-Agent Systems with Hybrid Input/Output Automata
GandALF
Marta Capiluppi, Roberto Segala
2011 — conf
A Game-Theoretic approach to Fault Diagnosis of Hybrid Systems
GandALF
Davide Bresolin, Marta Capiluppi
2007 — conf
Networks of Hybrid Systems: Connections Faults Modelling and Detection.
HSCC
Marta Capiluppi, Manfred Morari
2005 — conf
Distributed fault tolerant control of the two-tanks system benchmark.
CDC/ECC
Marta Capiluppi, Andrea Paoli
2005 — conf
Hierarchical Design of Distributed Fault Tolerant Control Systems.
ISIC
Marta Capiluppi, Andrea Paoli