Marta Capiluppi

Publication Activity (10 Years)

Years Active: 2005-2016
Publications (10 Years): 1

Top Topics

Undergraduate Students

Fault Diagnosis

Top Venues

Theor. Comput. Sci.

Publications

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