MODEL BASED CONTINUAL PLANNING AND CONTROL FOR ASSISTIVE ROBOTS

A. Anier, J. Vain

2012

Abstract

The paper presents a model-based robot planning and control framework for human assistive robots - namely for Scrub Nurse Robots. We focus on endoscopic surgery as one of the most relevant surgery type for applying robot assistants. We demonstrate that our framework provides means for seamless integration of sensor data capture, cognitive functions for interpretation of sensor data, model based continual planning and actuation control. The novel component of the architecture is a distributed continual planning system implemented based on the Uppaal timed automata model-based verification and control tool suite. The distributed and modular architecture of the framework enables flexible online reconfiguration and easy adaptability to various application contexts. Online learning and safety monitoring functions ensure timely and safe updates of software components on-the-fly.

References

  1. Behrmann, G., David, A., and Larsen, K. G. (2004). A tutorial on uppaal. In Bernardo, M. and Corradini, F., editors, Formal Methods for the Design of Real-Time Systems: 4th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM-RT 2004, LNCS, page 200-236. Springer-Verlag.
  2. DesJardins, M. E., Durfee, E. H., Ortiz Jr, C. L., and Wolverton, M. J. (1999). A survey of research in distributed, continual planning. AI Magazine, 20(4):13.
  3. Hall, M., Frank, E., Holmes, G., Pfahringer, B., Reutemann, P., and Witten, I. H. (2009). The WEKA data mining software: an update. SIGKDD Explor. Newsl., 11(1):10-18.
  4. Hessel, A., Larsen, K., Mikucionis, M., Nielsen, B., Pettersson, P., and Skou, A. (2008). Testing Real-Time systems using UPPAAL. In Formal Methods and Testing, page 77-117.
  5. Miyawaki, F., Masamune, K., Suzuki, S., Yoshimitsu, K., and Vain, J. (2005). Scrub nurse robot systemintraoperative motion analysis of a scrub nurse and timed-automata-based model for surgery. Industrial Electronics, IEEE Transactions on, 52(5):1227 - 1235.
  6. Vain, J., Kull, A., Kääramees, M., Maili, M., and Raiend, K. (2011). Reactive testing of nondeterministic systems by test purpose directed tester. In Model-Based Testing for Embedded Systems., Computational Analysis, Synthesis, and Design of Dynamic Systems, pages 425-452. CRC Press - Taylor & Francis Group, Massachusetts, USA.
  7. Vain, J., Miyawaki, F., Nomm, S., Totskaya, T., and Anier, A. (2009). Human-robot interaction learning using timed automata. In ICCAS-SICE, 2009, pages 2037 -2042.
Download


Paper Citation


in Harvard Style

Anier A. and Vain J. (2012). MODEL BASED CONTINUAL PLANNING AND CONTROL FOR ASSISTIVE ROBOTS . In Proceedings of the International Conference on Health Informatics - Volume 1: HEALTHINF, (BIOSTEC 2012) ISBN 978-989-8425-88-1, pages 382-385. DOI: 10.5220/0003783503820385


in Bibtex Style

@conference{healthinf12,
author={A. Anier and J. Vain},
title={MODEL BASED CONTINUAL PLANNING AND CONTROL FOR ASSISTIVE ROBOTS},
booktitle={Proceedings of the International Conference on Health Informatics - Volume 1: HEALTHINF, (BIOSTEC 2012)},
year={2012},
pages={382-385},
publisher={SciTePress},
organization={INSTICC},
doi={10.5220/0003783503820385},
isbn={978-989-8425-88-1},
}


in EndNote Style

TY - CONF
JO - Proceedings of the International Conference on Health Informatics - Volume 1: HEALTHINF, (BIOSTEC 2012)
TI - MODEL BASED CONTINUAL PLANNING AND CONTROL FOR ASSISTIVE ROBOTS
SN - 978-989-8425-88-1
AU - Anier A.
AU - Vain J.
PY - 2012
SP - 382
EP - 385
DO - 10.5220/0003783503820385