| 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 | 14 | 2012 |
| 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 | 14 | 2006 |
| 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 | 11 | 2014 |
| Fault Tolerance in Large Scale Systems: hybrid and distributed approaches M Capiluppi Ph. D Thesis, 2007 | 11 | 2007 |
| 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 | 10 | 2013 |
| A game-theoretic approach to fault diagnosis and identification of hybrid systems D Bresolin, M Capiluppi Theoretical Computer Science 493, 15-29, 2013 | 9 | 2013 |
| 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 | 9 | 2005 |
| 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 | 8 | 2013 |
| 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 | 8 | 2005 |
| 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 | 5 | 2014 |
| 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 | 4 | 2016 |
| Modelling Implicit Communication in Multi-Agent Systems with Hybrid Input/Output Automata M Capiluppi, R Segala arXiv preprint arXiv:1210.2448, 2012 | 4 | 2012 |
| Hierarchical design of distributed fault tolerant control systems M Capiluppi, A Paoli Intelligent Control, 2005. Proceedings of the 2005 IEEE International …, 2005 | 4 | 2005 |
| A Game-Theoretic approach to Fault Diagnosis of Hybrid Systems D Bresolin, M Capiluppi arXiv preprint arXiv:1106.1244, 2011 | 3 | 2011 |
| 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 | 1 | 2013 |
| 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 | 1 | 2013 |
| 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 | 1 | 2013 |
| 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 | 1 | 2010 |