An autonomous sytems control theory: An overview

Proceedings of the IEEE International Symposium on Computer-Aided Control System Design

Volumn , Issue , 1992, Pages 204-210

  Nerode, Anil ^a   Kohn, Wolf ^b  

^a Cornell University ^*  (United States)

^b Intermetrics ^*  (United States)

Author keywords

[No Author keywords available]

Indexed keywords

EID: 84966677327     PISSN: 21653011     EISSN: 2165302X     Source Type: Conference Proceeding    
DOI: 10.1109/CACSD.1992.274432     Document Type: Conference Paper

References (27)

1. Athans M. and P. Falb, "Optimal Control" McGraw-Hill, New-York, 1966.
2. Astrom. K. J. and B. Wittenmark "Computer Controlled Systems", Prentice Hall, Engewood Cliffs, 1984.
3. Shinkey, F. G. "Process Control Systems" 2nd ed. McGraw-Hill, New York, 1979.
4. Robinson, J. A. "A Machine Oriented Logic Based on the Resolution Principle" J. ACM 12, 1 jan 1965, pp 23-41.
5. Loveland, D. W. "Automated Theorem Proving: A Logical Basis" North Holland, New York, 1978.
6. Mycielsky, J. and W. Taylor " A Compactification of the Algebra of Terms", Algebra Universalis, 6 1976, pp 159-163.
7. Nerode A. "Hybrid Systems" Workshop on Hybrid systems, IMS, Cornell U. June 5-7 1991.
8. Hostetter G. H., Savant, C. J. and R. Stefani "Design of Feedback Control Systems" Holt Rinehart and Winston, New York, 1982.
9. Hsu C. J. and A. U. Meyer " Modern Control Principles and Applications", McGraw Hill, New York, 1968.
10. Fehling M. Altman A. and B. M. Wilber "The HCVM: a Schemer Architecture for Real-time Problem Solving", in R Jagganathan, and R. Dodhiawala Eds. Blackboard Systems and Apllications, New York, Academic Press, 1989.
11. Albus J. S., Barbera, A. J. and Nagel, R. N. "theory and Practice of Hierarchical Control" proc. 23rd IEEE Computer Society. International Conf. Wahshington D. C., 1981
12. Nii H. P. "Blackboard Systems: the balckboard model of problem solving and the evolution of blackboard architectures" AI Magazine, vol 7, pp38-53, Summer, 1986.
13. Kohn, W. and T. Skillman "Hierarchical Control Systems for Autonomous Space Robots" Proceedings of AIAA Conference in Guidance, Navigation and Control, Vol. 1, pp 382-390, Minneapolis, MN, Aug. 15-18, 1988.
14. Warga, K. "Optimal Control of Differential and Functional Equations" Academic Press, NY., 1977.
15. Padawitz, P. "Computing in Horn Clause Theories" Springer Verlag, NY, 1988.
16. Vickers S. "Topology Via Logic", Cambridge University Press, New York, 1989.
17. Bertsel J. and Reutenauer "Rational Series and Their Languages", Springer-Verlag, New York, 1984.
18. Kohn W. "Multiple-Agents Declarative Control Architectures", Second Intl. Conf. on AI and Mathematics. Jan 5-8 1992, To appears in the annals of mathematics June 1992.
19. Kohn, W. "Declarative Hierarchical Controllers" Proceedings of the Workshop on Software Tools for Distributed Intelligent Control Systems, pp 141-163, Pacifica, CA, July 17-19, 1990.
20. Kohn, W. "A Declarative Theory for Rational Controllers" Proceedings of the 27th IEEE CDC, Vol. 1, pp 131-136, Dec. 7-9, 1988, Austin, TX.
21. Kohn, W. "Advanced Architectures and Methods for Knowledge-Based Planning and Declarative Control" IR&D BCS-021.
22. Young, L. C. "Optimal Control Theory" Chelsea Publishing Co., NY, 1980.
23. Kohn, W. "Rational Algebras; a Constructive Approach" IR&D BE-499, Technical Document D-905-10107-2, July 7, 1989.
24. Kohn, W. "The Rational Tree Machine: Technical Description & Mathematical Foundations" IR&D BE-499, Technical Document D-905-10107-1, July 7, 1989.
25. Kohn, W. "Declarative Multiplexed Rational Controllers" Proceedings of the 5th IEEE International Symposium on Intelligent Control, pp 794-803, Philadelphia, PA, Sept. 5, 1990.
26. Kohn, W. "declarative Control Arrchitecture", CACM, pp 64-79, vol. 34, 8, aug 1991.
27. Skillman, T., W. Kohn, et al. "Class of Hierarchical Controllers and their Blackboard Implementations" Journal of Guidance Control & Dynamics, Vol. 13, N1, pp 176-182, Jan.-Feb., 1990.