Planning for embedded systems: A real-time prospective
Azer Bestavros · Annual Review in Automatic Programming · 1991
We investigate the problem of planning for embedded systems where issues of safety, liveness, and responsiveness are much more important than intelligence. We argue that in such systems, a planning agent should produce a behavioral specification that, when superimposed on running behaviors, preserves the properties critical to the mission of the system. In this respect, we propose the Time-constrained Reactive Automata (TRA) formalism [Best91c] for plan generation and verification.