Maintainability: A weaker stabilizability like notion for high level control

Proceedings of the 17th National Conference on Artificial Intelligence and 12th Conference on Innovative Applications of Artificial Intelligence, AAAI 2000

Volumn , Issue , 2000, Pages 62-67

  Nakamura, Mutsumi ^a   Baral, Chitta ^b   Bjäreland, Marcus ^c  

^a UNIVERSITY OF TEXAS AT ARLINGTON   (United States)

^b ARIZONA STATE UNIVERSITY   (United States)

^c LINKÖPING UNIVERSITY   (Sweden)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTER CIRCUITS; MAINTAINABILITY; SOFTWARE AGENTS; STABILITY CRITERIA; TEMPORAL LOGIC;

CONTROL ACTIONS; DISCRETE EVENTS SYSTEMS; HIGH LEVEL CONTROL; SAFETY AND STABILITIES; STABILITY CRITERIONS; STABILIZABILITY; SUPPORTABILITY;

DISCRETE EVENT SIMULATION;

EID: 84893438426     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: None     Document Type: Conference Paper

References (20)

1. Bacchus, F., and Kabanza, F. 1998. Planning for temporally extended goals. Annals of Math and AI 22:5-27.
2. Baral, C., and Son, T. 1998. Relating theories of actions and reactive control. Electronic transactions on Artificial Intelligence 2(3-4).
3. Baral, C.; Gelfond, M.; and Provetti, A. 1997. Representing Actions: Laws, Observations and Hypothesis. Journal of Logic Programming 31(1-3):201-243.
4. Brooks, R. 1986. A robust layered control system for a mobile robot. IEEE journal of robotics and automation 14-23.
5. Ceri, S., and Widom, J. 1990. Deriving production rules for constraint maintainance. In VLDB 90. 566-577.
6. Clarke, E.; Emerson, E.; and Sistla, A. 1986. Automatic verification of finite-state concurrent systems using temporal logic specifications. ACM Transactions on Programming Languages and Systems 8(2):244-263.
7. DeGiacomo, G.; Reiter, R.; and Soutchanski, M. 1998. Execution monitoring of high-level robot programs. In Proc. of KR 98, 453-464.
8. Dijkstra, E. W. 1974. Self-stabilizing systems in spite of distributed control. CACM 17(11):843-644.
9. Kabanza, F.; Barbeau, M.; and St-Denis, R. 1997. Planning control rules for reactive agents. Artificial Intelligence 5(1):67-113.
10. Kaelbling, L., and Rosenschein, S. 1991. Action and planning in embedded agents. In Maes, P., ed., Designing Autonomous Agents. MIT Press. 35-48.
11. Maes, P., ed. 1991. Designing Autonomous Agents. MIT/Elsevier.
12. Manna, Z., and Pnueli, A. 1992. The temporal logic of reactive and concurrent systems: specification. Springer Verlag.
13. Ozveren, O.; Willsky, A.; and Antsaklis, P. 1991. Stability and stabilizability of discrete event dynamic systems. JACM 38(3):730-752.
14. Passino, K., and Burgess, K. 1998. Stability Analysis of Discrete Event Systems. Adaptive and Learning Systems for Signal Processing, Communications, and Control. New York: John Wiley and Sons, Inc.
15. Ramadge, P., and Wonham, W. 1987a. Modular feedback logic for discrete event systems. SIAM Journal of Control and Optimization 25(5):1202-1217.
16. Ramadge, P., and Wonham, W. 1987b. Supervisory control of a class of discrete event process. SIAM Journal of Control and Optimization 25(1):206-230.
17. Singh, M. 1994. Multiagent systems - a theoretical framework for intentions, know-how, and communications. Springer-Verlag.
18. Sontag, E. 1999. Stability and stabilization: Discontinuities and the effect of disturbances. In Clarke, F., and Stern, R., eds., Proc. NATO advanced study institute, July/Aug 1998. Kluwer. 551-598.
19. Weld, D., and Etzioni, O. 1994. The first law of robotics (a call to arms). In AAAI, 1042-1047.
20. Widom, J., and Ceri, S., eds. 1996. Active Database Systems - Triggers and Rules for advanced database processing. Morgan Kaufmann.