Imposing real-time constraints on self-adaptive controller synthesis

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 1936, Issue , 2001, Pages 143-160

  Musliner, David J ^a  

^a HONEYWELL TECHNOLOGY CENTER   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

ADAPTIVE SYSTEMS;

CHANGING ENVIRONMENT; INCREMENTAL IMPROVEMENTS; INTELLIGENT AUTONOMOUS SYSTEMS; REAL TIME CONSTRAINTS; SELF-ADAPTIVE CONTROLLERS; SELF-ADAPTIVE SYSTEM; SYNTHESIS PROCESS; SYSTEM CAPABILITIES;

REAL TIME SYSTEMS;

EID: 84956981622     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: None     Document Type: Conference Paper

References (15)

1. [I] E. Atkins, R. H. Miller, T. Van Pelt, K. D. Shaw, W. B. Ribbons, P. D. Wasliabaugh, and D. S. Bernstein, “Solus: An Autonomous Aircraft Tor Flight Control and Trajectory Planning Research,” in Proc. American Control Conference, volume 2, pp. 689-693, June 1998.
2. [2] E. M. Atkins, Plan Generation and Hard Real-Time Execution with, Application to Safe, Autonomous Flight, PhD thesis, University of Michigan, 1999.
3. [3] R.. P. Bonasso, D. Kortenkamp, D. Miller, and M. Slack, “Experiences with an Architecture for Intelligent, Reactive Agents,” in Journal of Experimental and Theoretical AI, 1996.
4. [4] R.. J. Firby, “An Investigation into Reactive Planning in Complex Domains,” in Proc. National Conf. on Artificial Intelligence, pp. 202-206, 1987.
5. [5] A. Garvey and V. Lesser, “Design-to-timo Real-Time Scheduling,” IEEE Trans. Systems, Man, and (.Cybernetics, vol. 23, no. 6, 1993.
6. [6] R. P. Goldman, D. J. Musliner, K. D. Krebsbach, and M. S. Boddy, “Dynamic Abstraction Planning,” in Proc. National Conf. on Artificial Intelligence, pp. 680-686, 1997.
7. [7] F. F. Ingrand, M. P. Georgeff, and A. S. Rao, “An Architecture for Real-Time Reasoning and System Control,” JEFF Expert, pp. 34-44, December 1992.
8. [8] L. P. Kaelbling and S. J. Rosenschein, “Action and Planning in Embedded Agents,” in Robotics and Autonomous Systems 6, pp. 35-48, 1990.
9. [9] T.-W. Kuo and A. K. Mok, “Load Adjustment in Adaptive Real-Time Systems,” in Proc. Real-Time Systems Symposium, pp. 160-170, December 1991.
10. [10] H. Li, E. Atkins, E. Durfee, and K. Shin, “Resource Allocation for a Limited Real-Time Agent Using a Temporal Probabilistic World Model,” in Working Notes of the 2000 AAAI Spring Symposium on Real-Time Autonomous Systems, 2000
11. N. Malcolm and W. Zhao, “Version Selection Schemes for Hard Real-Time Communications,” in Proc. Real- TimeSystems Symposium, pp. 12-21, December 1991.
12. [12] D.J. Musliner, “R. H. Dnrfec, and K. G. Shin, “CIRCA: A Cooperative Intelligent Real-Time Control Architecture,” IEEE Trans. Systems, Man, and Cybernetics, vol. 23, no. 6, pp. 1561-1574, 1993.
13. [13] D. J. Musliner, E. H. Durfee, and K. G. Shin, “World Modeling for the Dynamic Construction of Real-Time Control Plans,” Artificial Intelligence, vol. 74, no. 1, pp. 83-127, March 1995.
14. [14] D. J. Musliner, R. P. Goldman, M. J. Pelican, and K. D. Krebsbach, “Self-Adaptive Software for Hard Real-Time Environments,” IEEE Intelligent Systems, vol. 14, no. 4, pp. 23-29, July/August 1999.
15. [15] S. J. R. Roscnschcin and L. P. Kaelbling, “The Synthesis of Digital Machines with Provable Epistemic Properties,” in Proc. Conf. Theoretical Aspects of Reasoning About Knowledge, pp. 83-98, 1986.