Constraint-Based Design of Embedded Intelligent Systems

Constraints

Volumn 2, Issue 1, 1997, Pages 83-86

  Mackworth, Alan K ^a  

^a UNIVERSITY OF BRITISH COLUMBIA   (Canada)

Author keywords

Constraint net; Constraint satisfaction; Dynamic systems; Hybrid systems; Intelligent systems; Robot soccer; Robotics

Indexed keywords

CONTROL SYSTEMS; DESIGN; INTELLIGENT ROBOTS; MATHEMATICAL MODELS; ROBOTICS;

CONSTRAINT SATISFACTION; DYNAMIC SYSTEM; HYBRID SYSTEM; INTELLIGENT SYSTEM; ROBOT SOCCER PLAYER;

CONSTRAINT THEORY;

EID: 0031118675     PISSN: 13837133     EISSN: None     Source Type: Journal    
DOI: 10.1023/A:1009705224515     Document Type: Article

References (9)

1. Barman, R. A., Kingdon, S. J., Little, J. J., Mackworth, A. K., Pai, D. K., Sahota, M., Wilkinson, H., & Zhang, Y. (1993). DYNAMO: Real-time experiments with multiple mobile robots. In Intelligent Vehicles Symposium, pages 261-266, Tokyo.
2. Horswill, I. D. & Brooks, R. A. (1988). Situated vision in a dynamic world: Chasing objects. In AAAI-88, pages 796-800, St. Paul, MN.
3. Mackworth, A. K. (1993). On seeing robots. In Basu, A. and Li, X., editors, Computer Vision: Systems, Theory, and Applications, pages 1-13. World Scientific Press, Singapore.
4. Sahota, M. & Mackworth, A. K. (1994). Can situated robots play soccer? In Proc. Artificial Intelligence 94, pages 249-254, Banff, Alberta.
5. Zhang, Y. & Mackworth, A. K. (1994a). Specification and verification of constraint-based dynamic systems. In Borning, A., editor, Principles and Practice of Constraint Programming, number 874 in Lecture Notes in Computer Science, pages 229-242. Springer-Verlag.
6. Zhang, Y. & Mackworth, A. K. (1994b). Will the robot do the right thing? In Proc. Artificial Intelligence 94, pages 255-262, Banff, Alberta.
7. Zhang, Y. & Mackworth, A. K. (1995a). Constraint Nets: A semantic model for hybrid dynamic systems. Theoretical Computer Science, 138:211-239.
8. Zhang, Y. & Mackworth, A. K. (1995b). Constraint programming in constraint nets. In V. Saraswat and P. Van Hentenryck, editor, Principles and Practice of Constraint Programming, chapter 3, pages 49-68. The MIT Press, Cambridge, MA.
9. Zhang, Y. & Mackworth, A. K. (1995c). Synthesis of hybrid constraint-based controllers. In Antsaklis, P., Kohn, W., Nerode, A., and Sastry, S., editors, Hybrid Systems II, Lecture Notes in Computer Science 999, pages 552-567. Springer Verlag.