ICT 2013 Exhibition |
The aim of the demonstration was to show the advantages of relying on autonomic systems, operating in changing or partially unknown environments and the analysis of such autonomic systems. In the exhibit we presented modeling techniques for autonomous systems at three different abstraction levels. 1) We had two real robots one of which is programmed according to our autonomic paradigm and another was controllable via a joystick by visitors. Visitors had to compete with the autonomic robots experiencing the robots' perspective. 2) We showed a robot simulator (ARGoS) that let visitors appreciate the adaptive behavior of robot swarms. 3) We provided also experimental results about how formal methods enable a designer to predict the behavior of robots and provide measures of the quality of the proposed solutions. |
||
Last Updated on Tuesday, 03 March 2015 14:28 |