An approach to self-adaptive software based on supervisory control

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

Volumn 2614, Issue , 2003, Pages 24-38

  Karsai, Gabor ^a   Ledeczi, Akos ^a   Sztipanovits, Janos ^a   Peceli, Gabor ^b   Simon, Gyula ^b   Kovacshazy, Tamas ^b  

^a VANDERBILT UNIVERSITY   (United States)

^b BUDAPEST UNIVERSITY OF TECHNOLOGY AND ECONOMICS   (Hungary)

Author keywords

[No Author keywords available]

Indexed keywords

HIERARCHICAL SYSTEMS;

HIERARCHICAL CONTROL SYSTEMS; RUNNING SYSTEMS; SELF ADAPTIVE SOFTWARES; SELF-ADAPTIVE SOFTWARE SYSTEMS; SUPERVISORY CONTROL; SYSTEM FUNCTIONS;

COMPUTER SOFTWARE;

EID: 35248861664     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/3-540-36554-0_3     Document Type: Article

References (16)

1. McLean, J and Heitmeyer, C. "High Assurance Computer Systems: A Research Agenda," America in the Age of Information, National Science and Technology Council Committee on Information and Communications Forum, Bethesda, 1995.
2. Kumpati S. Narendra, Anuradha M. Annaswamy: Stable Adaptive Systems, Prentice-Hall, 1988.
3. Karl Johan Åström and Björn Wittenmark: Adaptive Control, Addison-Wesley,1995.
4. Ken Dutton, William Barraclough, Steve Thompson, Bill Barraclough: The Art of Control Engineering, Addison-Wesley, 1997.
5. Karl J. Astrom (Editor): Control of Complex Systems, Springer, 2000.
6. http://trese.cs.utwente.nl/Workshops/OOPSLA2000/
7. Personal communication with engineers from a major aerospace manufacturer.
8. http://www.omg.org
9. Janos Sztipanovits and Gabor Karsai, "Model-Integrated Computing," IEEE Computer, pp. 110-112, April, 1997.
10. http://www.rational.com
11. David Harel, Michal Politi: Modeling Reactive Systems with Statecharts: The Statemate Approach, McGraw-Hill, 1998.
12. Ledeczi A., Bakay A., Maroti M.: Model-Integrated Embedded Systems, in Robertson, Shrobe, Laddaga (eds) Self Adaptive Software, Springer-Verlag Lecture Notes in CS, #1936, February, 2001.
13. IEEE Std 1232-1995. Trial Use Standard for Artificial Intelligence and Expert System Tie to Automatic Test Equipment (AI-ESTATE): Overview and Architecture, New York, IEEE Press. 1995.
14. Don Box, Charlie Kindel, Grady Booch: Essential COM, Addison-Wesley, 1998.
15. http://www.isis.vanderbilt.edu/Projects/Fact/Fact.htm
16. Neema S.: Design Space Representation and Management for Model-Based Embedded System Synthesis, ISIS-01-203, February, 2003.