Segueix
Marta Capiluppi
Marta Capiluppi
Assegnista di ricerca, Università di Verona
Correu electrònic verificat a univr.it
Títol
Citada per
Citada per
Any
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
142012
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
142006
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
112014
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
112013
Fault Tolerance in Large Scale Systems: hybrid and distributed approaches
M Capiluppi
Ph. D Thesis, 2007
112007
A game-theoretic approach to fault diagnosis and identification of hybrid systems
D Bresolin, M Capiluppi
Theoretical Computer Science 493, 15-29, 2013
92013
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
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
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
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
Modelling Implicit Communication in Multi-Agent Systems with Hybrid Input/Output Automata
M Capiluppi, R Segala
arXiv preprint arXiv:1210.2448, 2012
42012
Hierarchical design of distributed fault tolerant control systems
M Capiluppi, A Paoli
Intelligent Control, 2005. Proceedings of the 2005 IEEE International …, 2005
42005
A Game-Theoretic approach to Fault Diagnosis of Hybrid Systems
D Bresolin, M Capiluppi
arXiv preprint arXiv:1106.1244, 2011
32011
World Automata: a compositional approach to model implicit communication in hierarchical Hybrid Systems
M Capiluppi, R Segala
EPTCS 124, 58-72, 0
3*
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
En aquests moments el sistema no pot dur a terme l'operació. Torneu-ho a provar més tard.
Articles 1–20