UnissResearch

Logo Universitàegli studi di Sassari
titoli, abstracts, parole chiave >>>
Safe learning with real-time constraints: a case study

Metta, Giorgio and Natale, Lorenzo and Pathak, Shashank and Pulina, Luca and Tacchella, Armando (2010) Safe learning with real-time constraints: a case study. In: Trends in Applied Intelligent Systems: 23rd international conference on Industrial engineering and other applications of applied intelligent systems, IEA/AIE 2010, 1-4 June 2010, Cordoba, Spain. Berlin - Heidelberg, Springer. p. 133-142. (Lecture Notes in Computer Science, 6096/2010). ISBN 978-3-642-13021-2. Conference or Workshop Item.

Full text not available from this repository.

DOI: 10.1007/978-3-642-13022-9_14

Abstract

Aim of this work is to study the problem of ensuring safety and effectiveness of a multi-agent robot control system with real-time constraints in the case of learning components usage. Our case study focuses on a robot playing the air hockey game against a human opponent, where the robot has to learn how to minimize opponent’s goals. This case study is paradigmatic since the robot must act in real-time, but, at the same time, it must learn and guarantee that the control system is safe throughout the process. We propose a solution using automatatheoretic formalisms and associated verification tools, showing experimentally that our approach can yield safety without heavily compromising effectiveness.

Item Type:Conference or Workshop Item (Contribute)
ID Code:7219
Status:Published
Uncontrolled Keywords:Multi-agent robot control system, air hockey game, effectiveness, safety
Subjects:Area 09 - Ingegneria industriale e dell'informazione > ING-INF/05 Sistemi di elaborazione delle informazioni
Divisions:001 Università di Sassari > 01 Dipartimenti > Economia, istituzioni e società
Publisher:Springer
ISBN:978-3-642-13021-2
Additional Information:
Deposited On:14 Mar 2012 12:54

I documenti depositati in UnissResearch sono protetti dalle leggi che regolano il diritto d'autore

Repository Staff Only: item control page