Symbols for setting the LEDs and the sound request.
The formalized behavior references a variety of input and output symbols, which can stand for variables or functions of the agent's software. Constants are constant decimal values.
| Name | Type | Measure | Description |
| leds.top-red | enumerated | top.both-on top.both-fast-blink top.both-slow-blink top.both-off top.left top.right top.left-fast-blink top.right-fast-blink top.left-slow-blink top.right-slow-blink top.alternate-fast top.alternate-slow
| a request how the both red top leds are set. |
| leds.bottom-red | enumerated | bottom.both-on bottom.both-fast-blink bottom.both-slow-blink bottom.both-off bottom.left bottom.right bottom.left-fast-blink bottom.right-fast-blink bottom.left-slow-blink bottom.right-slow-blink bottom.alternate-fast bottom.alternate-slow
| a request how the both red bottom leds are set. |
| leds.face1 | enumerated | face1.oooo face1.oool face1.oolo face1.ooll face1.oloo face1.olol face1.ollo face1.olll face1.looo face1.lool face1.lolo face1.loll face1.lloo face1.llol face1.lllo face1.llll
| a request how the face leds are set. |
| leds.face2 | enumerated | face2.oooo face2.oool face2.oolo face2.ooll face2.oloo face2.olol face2.ollo face2.olll face2.looo face2.lool face2.lolo face2.loll face2.lloo face2.llol face2.lllo face2.llll
| a request how the face leds are set. |
| leds.face3 | enumerated | face3.oooo face3.oool face3.oolo face3.ooll face3.oloo face3.olol face3.ollo face3.olll face3.looo face3.lool face3.lolo face3.loll face3.lloo face3.llol face3.lllo face3.llll
| a request how the face leds are set. |
| leds.face4 | enumerated | face4.oooo face4.oool face4.oolo face4.ooll face4.oloo face4.olol face4.ollo face4.olll face4.looo face4.lool face4.lolo face4.loll face4.lloo face4.llol face4.lllo face4.llll
| a request how the face leds are set. |
| leds.face5 | enumerated | face5.oooo face5.oool face5.oolo face5.ooll face5.oloo face5.olol face5.ollo face5.olll face5.looo face5.lool face5.lolo face5.loll face5.lloo face5.llol face5.lllo face5.llll
| a request how the face leds are set. |
| leds.face6 | enumerated | face6.oooo face6.oool face6.oolo face6.ooll face6.oloo face6.olol face6.ollo face6.olll face6.looo face6.lool face6.lolo face6.loll face6.lloo face6.llol face6.lllo face6.llll
| a request how the face leds are set. |
| leds.face7 | enumerated | face7.oooo face7.oool face7.oolo face7.ooll face7.oloo face7.olol face7.ollo face7.olll face7.looo face7.lool face7.lolo face7.loll face7.lloo face7.llol face7.lllo face7.llll
| a request how the face leds are set. |
| leds.face8 | enumerated | face8.oooo face8.oool face8.oolo face8.ooll face8.oloo face8.olol face8.ollo face8.olll face8.looo face8.lool face8.lolo face8.loll face8.lloo face8.llol face8.lllo face8.llll
| a request how the face leds are set. |
| leds.face9 | enumerated | face9.oooo face9.oool face9.oolo face9.ooll face9.oloo face9.olol face9.ollo face9.olll face9.looo face9.lool face9.lolo face9.loll face9.lloo face9.llol face9.lllo face9.llll
| a request how the face leds are set. |
| leds.face10 | enumerated | face10.oooo face10.oool face10.oolo face10.ooll face10.oloo face10.olol face10.ollo face10.olll face10.looo face10.lool face10.lolo face10.loll face10.lloo face10.llol face10.lllo face10.llll
| a request how the face leds are set. |
| leds.face11 | enumerated | face11.oooo face11.oool face11.oolo face11.ooll face11.oloo face11.olol face11.ollo face11.olll face11.looo face11.lool face11.lolo face11.loll face11.lloo face11.llol face11.lllo face11.llll
| a request how the face leds are set. |
| leds.face12 | enumerated | face12.oooo face12.oool face12.oolo face12.ooll face12.oloo face12.olol face12.ollo face12.olll face12.looo face12.lool face12.lolo face12.loll face12.lloo face12.llol face12.lllo face12.llll
| a request how the face leds are set. |
| leds.face13 | enumerated | face13.oooo face13.oool face13.oolo face13.ooll face13.oloo face13.olol face13.ollo face13.olll face13.looo face13.lool face13.lolo face13.loll face13.lloo face13.llol face13.lllo face13.llll
| a request how the face leds are set. |
| leds.face14 | enumerated | face14.oooo face14.oool face14.oolo face14.ooll face14.oloo face14.olol face14.ollo face14.olll face14.looo face14.lool face14.lolo face14.loll face14.lloo face14.llol face14.lllo face14.llll
| a request how the face leds are set. |
| leds.back-front-white | enumerated | back-front-white.oooo back-front-white.oool back-front-white.oolo back-front-white.ooll back-front-white.oloo back-front-white.olol back-front-white.ollo back-front-white.olll back-front-white.looo back-front-white.lool back-front-white.lolo back-front-white.loll back-front-white.lloo back-front-white.llol back-front-white.lllo back-front-white.llll
| a request how the back front white led is set. |
| leds.back-front-blue | enumerated | back-front-blue.oooo back-front-blue.oool back-front-blue.oolo back-front-blue.ooll back-front-blue.oloo back-front-blue.olol back-front-blue.ollo back-front-blue.olll back-front-blue.looo back-front-blue.lool back-front-blue.lolo back-front-blue.loll back-front-blue.lloo back-front-blue.llol back-front-blue.lllo back-front-blue.llll
| a request how the back front blue led is set. |
| leds.back-middle-white | enumerated | back-middle-white.oooo back-middle-white.oool back-middle-white.oolo back-middle-white.ooll back-middle-white.oloo back-middle-white.olol back-middle-white.ollo back-middle-white.olll back-middle-white.looo back-middle-white.lool back-middle-white.lolo back-middle-white.loll back-middle-white.lloo back-middle-white.llol back-middle-white.lllo back-middle-white.llll
| a request how the back middle white led is set. |
| leds.back-middle-orange | enumerated | back-middle-orange.oooo back-middle-orange.oool back-middle-orange.oolo back-middle-orange.ooll back-middle-orange.oloo back-middle-orange.olol back-middle-orange.ollo back-middle-orange.olll back-middle-orange.looo back-middle-orange.lool back-middle-orange.lolo back-middle-orange.loll back-middle-orange.lloo back-middle-orange.llol back-middle-orange.lllo back-middle-orange.llll
| a request how the back middle orange led is set. |
| leds.back-rear-white | enumerated | back-rear-white.oooo back-rear-white.oool back-rear-white.oolo back-rear-white.ooll back-rear-white.oloo back-rear-white.olol back-rear-white.ollo back-rear-white.olll back-rear-white.looo back-rear-white.lool back-rear-white.lolo back-rear-white.loll back-rear-white.lloo back-rear-white.llol back-rear-white.lllo back-rear-white.llll
| a request how the back rear white led is set. |
| leds.back-rear-red | enumerated | back-rear-red.oooo back-rear-red.oool back-rear-red.oolo back-rear-red.ooll back-rear-red.oloo back-rear-red.olol back-rear-red.ollo back-rear-red.olll back-rear-red.looo back-rear-red.lool back-rear-red.lolo back-rear-red.loll back-rear-red.lloo back-rear-red.llol back-rear-red.lllo back-rear-red.llll
| a request how the back rear red led is set. |
| leds.head-white | enumerated | head-white.oooo head-white.oool head-white.oolo head-white.ooll head-white.oloo head-white.olol head-white.ollo head-white.olll head-white.looo head-white.lool head-white.lolo head-white.loll head-white.lloo head-white.llol head-white.lllo head-white.llll
| a request how the head white led is set. |
| leds.head-orange | enumerated | head-orange.oooo head-orange.oool head-orange.oolo head-orange.ooll head-orange.oloo head-orange.olol head-orange.ollo head-orange.olll head-orange.looo head-orange.lool head-orange.lolo head-orange.loll head-orange.lloo head-orange.llol head-orange.lllo head-orange.llll
| a request how the head orange led is set. |
| leds.tail-mode | enumerated | tail.on tail.slow-blink tail.fast-blink
| a request how the tail led is set. |
| sound-request | enumerated | sound-request.none sound-request.test sound-request.bark1 sound-request.bark2 sound-request.bark3 sound-request.hurtdog sound-request.howl sound-request.growl sound-request.start-me sound-request.ring sound-request.space sound-request.bing01 sound-request.bing02 sound-request.bing03 sound-request.bing04 sound-request.bing05 sound-request.bing06 sound-request.bing07 sound-request.rob001 sound-request.rob002 sound-request.rob003 sound-request.rob004 sound-request.rob005 sound-request.rob006 sound-request.rob101 sound-request.okay sound-request.notokay sound-request.accuracy sound-request.imprssve sound-request.xcellent sound-request.baetsch sound-request.klick sound-request.highvolt sound-request.alert sound-request.alarm sound-request.alarm2 sound-request.evilaugh sound-request.fanfare sound-request.kuckuck sound-request.growl2 sound-request.richtig
| a request for a certain sound output. |