| E. M. Atkins, Plan Generation and Hard Real-Time Execution with Application to Safe, Autonomous Flight, PhD thesis, University of Michigan, 1999. |
.... if time fashion. 3. 1 Control Inputs There are currently two different versions of the SA CIRCA SSP: the evolved original SSP that reasons about nondeterministic worlds without explicitly representing quantitative uncertainty, and the Probabilistic State Space Planner (PSSP) from CIRCA II [1, 2], that reasons explicitly about the probabilities of different transitions and states [10] In both cases, the controller synthesis activity can be controlled by adjusting aspects of the SSP inputs: the problem configuration it is required to solve, and the parameters that describe precisely the ....
E. M. Atkins, Plan Generation and Hard Real-Time Execution with Application to Safe, Autonomous Flight, PhD thesis, University of Michigan, 1999.
....P i . As described in (Musliner, 1994) task periods must be artificially set below their optimal values to guarantee meeting the former task separation constraints. We are working to better represent task periods in future CIRCA II work. main.tex; 10 09 1999; 20:08; p. 6 7 vironmental situations (Atkins, 1999) or computational resource faults. In this paper, we describe the production of plan sets for the cache that allow CIRCA II to respond in real time to computational system faults by retrieving a plan built specifically for that fault (or fault set) Details of the current Plan Execution Subsystem ....
.... paper, we describe the production of plan sets for the cache that allow CIRCA II to respond in real time to computational system faults by retrieving a plan built specifically for that fault (or fault set) Details of the current Plan Execution Subsystem design and implementation are provided in (Atkins, 1999). Due to the complexity of the algorithms required for real time fault detection and run time scheduling, significant discussion of the multi resource Real time Plan Executor is reserved for future publication. 2 In subsequent sections, we will discuss the details of the resource allocation, ....
[Article contains additional citation context not shown here]
Atkins, E. M.: 1999, Plan Generation and Hard Real-time Execution with Application to Safe, Autonomous Flight. University of Michigan PhD Dissertation.
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC