Teleo-reactive systems and time bands

Speaker: Ian Hayes

When: 10:00, Friday 25th January 2008

Venue: 78-420

Nils Nilsson's (Stanford) teleo-reactive systems have been promoted as being suitable for implementing real-time control systems, like robotics. They are closer to "circuit-like" descriptions of systems. In this talk we review teleo-reactive systems, suggest some extensions to write teleo-reactive specifications, and then suggest ideas to combining them with time band ideas.

Hospitality: David Carrington

Contact: Robert Colvin (SSE seminar co-ordinator) (robert@itee.uq.edu.au)

SSE seminar web page: http://www.itee.uq.edu.au/~sse/Seminars.html