Marta Capiluppi
Marta Capiluppi
Assegnista di ricerca, UniversitÓ di Verona
Verified email at univr.it
Title
Cited by
Cited by
Year
Distributed collision avoidance for autonomous vehicles: world automata representation
NE Marinica, M Capiluppi, JA Rogge, R Segala, RK Boel
IFAC Proceedings Volumes 45 (9), 216-221, 2012
132012
Fault Tolerance in Large Scale Systems: hybrid and distributed approaches
M Capiluppi
Ph. D Thesis, 2007
122007
Reliability evaluation for fault diagnosis in complex systems
C Bonivento, M Capiluppi, L Marconi, A Paoli, C Rossi
IFAC Proceedings Volumes 39 (13), 1330-1335, 2006
112006
Ontology-based modular architecture for surgical autonomous robots
R Perrone, F Nessi, E De Momi, F Boriero, M Capiluppi, P Fiorini, ...
The Hamlyn Symposium on Medical Robotics, 85, 2014
92014
An integrated design approach to multilevel fault tolerant control of distributed systems
C Bonivento, M Capiluppi, L Marconi, A Paoli
proceedings of XVI IFAC World Congress, Prague, Czech Republic, 2005
92005
A game-theoretic approach to fault diagnosis and identification of hybrid systems
D Bresolin, M Capiluppi
Theoretical Computer Science 493, 15-29, 2013
82013
EuRoSurge Workflow: From ontology to surgical task execution
E De Momi, R Perrone, L Schreiter, J Raczkowsky, F Boriero, M Capiluppi, ...
Proceedings of joint workshop on new technologies for computer/robotá…, 2013
82013
Modeling and Verification of a Robotic Surgical System using Hybrid Input/Output Automata
M Capiluppi, L Schreiter, P Fiorini, J Raczkowsky, H Woern
European Control Conference, 4238-4243, 2013
82013
Distributed fault tolerant control of the two-tanks system benchmark
M Capiluppi, A Paoli
Decision and Control, 2005 and 2005 European Control Conference. CDC-ECC'05á…, 2005
82005
Application of contract-based verification techniques for hybrid automata to surgical robotic systems
L Schreiter, D Bresolin, M Capiluppi, J Raczkowsky, P Fiorini, H Woern
Control Conference (ECC), 2014 European, 2310-2315, 2014
52014
Modelling Implicit Communication in Multi-Agent Systems with Hybrid Input/Output Automata
M Capiluppi, R Segala
arXiv preprint arXiv:1210.2448, 2012
52012
Teaching physical human-robot interaction to computer science undergraduate students
C Tadiello, G De Rossi, M Capiluppi, R Muradore, P Fiorini
Control Conference (ECC), 2016 European, 376-381, 2016
42016
Hierarchical design of distributed fault tolerant control systems
M Capiluppi, A Paoli
Intelligent Control, 2005. Proceedings of the 2005 IEEE Internationalá…, 2005
42005
World Automata: a compositional approach to model implicit communication in hierarchical Hybrid Systems
M Capiluppi, R Segala
EPTCS 124, 58-72, 0
4*
A Game-Theoretic approach to Fault Diagnosis of Hybrid Systems
D Bresolin, M Capiluppi
arXiv preprint arXiv:1106.1244, 2011
32011
Fault Diagnosis of Hybrid Systems: An Onboard Camera Model
D Bresolin, M Capiluppi
Fault Detection, Supervision and Safety of Technical Processes 8 (1), 714-719, 2012
2*2012
A framework for fault diagnosis of hybrid systems based on predicate abstractions
D Bresolin, M Capiluppi
Control and Fault-Tolerant Systems (SysTol), 2013 Conference on, 802-807, 2013
12013
A fault analysis procedure for surgical robotic systems
M Capiluppi, L Schreiter, P Fiorini, J Raczkowsky, H Woern
Hamlyn Symposium on Medical Robotics 2013, 2013
12013
From ontological knowledge to surgical task execution in the EuRoSurge experiment
R Perrone, E De Momi, F Nessi, L Schreiter, J Raczkowsky, F Boriero, ...
Proceedings of the 2013 IROS Conference, 2013
12013
World automata: a compositional approach to modeling objects moving in a complex environment
M Capiluppi, R Segala
Submitted to 21st International Conference on Concurrency Theory, 2010
12010
The system can't perform the operation now. Try again later.
Articles 1–20