Skip to main content
SpringerLink
Log in
SpringerLink
Log in

Imposing Real-Time Constraints on Self-Adaptive Controller Synthesis

  • Conference paper
  • First Online:
Self-Adaptive Software (IWSAS 2000)

Part of the book series: Lecture Notes in Computer Science ((LNCS,volume 1936))

Included in the following conference series:

Abstract

Self-adaptive systems must reconfigure themselves, at run-time to compensate for changing environments, objectives, and system capabilities. This paper discusses how the SA-CIRCA architecture for intelligent autonomous systems can automatically synthesize customized control software on the fly, and how that synthesis process itself can be managed to conform to real-time deadlines that may constrain the time available for reconfiguration. By restricting the scope of the problems it is trying to solve, by using incremental improvement algorithms, and by trading off solution quality against computation time, SA-CIRCA operates as a self-aware, self-adaptive system responding in real-time to perceived changes.

This work was supported by the Defence Advanced Research Projects Agency under contracts F30602-98-C-0212 and F30602-00-C-0017, and by a National Science Foundation Graduate Fellowship.

This is a preview of subscription content, log in via an institution to check access.

Access this chapter

Log in via an institution
Chapter
USD 29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD 39.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD 54.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. E. Atkins, R. H. Miller, T. Van Pelt, K. D. Shaw, W. B. Ribbens, P. D. Washabaugh, and D. S. Bernstein, “Solus: An Autonomous Aircraft for Flight Control and Trajectory Planning Research,” in Proc. American Control Conference, volume 2, pp. 689–693, June 1998.

    Google Scholar 

  2. E. M. Atkins, Plan Generation and Hard Real-Time Execution with Application to Safe, Autonomous Flight, PhD thesis, University of Michigan, 1999.

    Google Scholar 

  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 A I, 1996.

    Google Scholar 

  4. R. J. Firby, “An Investigation into Reactive Planning in Complex Domains,” in Proc. National Conf. on Artificial Intelligence, pp. 202–206, 1987.

    Google Scholar 

  5. A. Garvey and V. Lesser, “Design-to-time Real-Time Scheduling,” IEEE Trans. Systems, Man, and Cybernetics, vol. 23, no. 6,, 1993.

    Google Scholar 

  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.

    Google Scholar 

  7. F. F. Ingrand, M. P. Georgeff, and A. S. Rao, “An Architecture for Real-Time Reasoning and System Control,” IEEE Expert, pp. 34–44, December 1992.

    Google Scholar 

  8. L. P. Kaelbling and S. J. Rosenschein, “Action and Planning in Embedded Agents,” in Robotics and Autonomous Systems 6, pp. 35–48, 1990.

    Google Scholar 

  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.

    Google Scholar 

  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 A A AISpring Symposium on Real-Time Autonomous Systems, 2000.

    Google Scholar 

  11. N. Malcolm and W. Zhao, “Version Selection Schemes for Hard Real-Time Communications,” in Proc. Real-Time Systems Symposium, pp. 12–21, December 1991.

    Google Scholar 

  12. D. J. Musliner, E. H. Durfee, 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.

    Article  Google Scholar 

  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.

    Article  Google Scholar 

  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.

    Article  Google Scholar 

  15. S. J. Rosenschein 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.

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Automated Reasoning Group, Honeywell Technology Center, 3660 Technology Drive, MN 55418, Minneapolis

    David J. Musliner

Authors
  1. David J. Musliner
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Editors and Affiliations

  1. Dynamic Object Language Labs., Inc., 9 Bartlet St #334, Andover, MA 01810, USA

    Paul Robertson

  2. Artificial Intelligence Laboratory, Massachusetts Institute of Technology, 545 Technology Square (MIT NE43-839), Cambridge, Massachusetts, 02139, USA

    Howie Shrobe

  3. Artificial Intelligence Laboratory, Massachusetts Institute of Technology, 545 Technology Square (MIT NE 43-804), Cambridge, Massachusetts, 02139, USA

    Robert Laddaga

Rights and permissions

Reprints and permissions

Copyright information

© 2000 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Musliner, D.J. (2000). Imposing Real-Time Constraints on Self-Adaptive Controller Synthesis. In: Robertson, P., Shrobe, H., Laddaga, R. (eds) Self-Adaptive Software. IWSAS 2000. Lecture Notes in Computer Science, vol 1936. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-44584-6_12

Download citation

  • DOI: https://doi.org/10.1007/3-540-44584-6_12

  • Published:

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-41655-5

  • Online ISBN: 978-3-540-44584-5

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics

Search

Navigation