Constraint nets: a semantic model for hybrid dynamic systems
Theoretical Computer Science - Special issue on hybrid systems
Specification and Verification of Constraint-Based Dynamic Systems
PPCP '94 Proceedings of the Second International Workshop on Principles and Practice of Constraint Programming
Synthesis of Hybrid Constraint-Based Controllers
Hybrid Systems II
Exploiting Interchangeabilities for Case Adaptation
ICCBR '01 Proceedings of the 4th International Conference on Case-Based Reasoning: Case-Based Reasoning Research and Development
Constraint-Based Agents: The ABC's of CBA's
CP '02 Proceedings of the 6th International Conference on Principles and Practice of Constraint Programming
Soft interchangeability for case adaptation
ICCBR'03 Proceedings of the 5th international conference on Case-based reasoning: Research and Development
A robot decision making framework using constraint programming
Artificial Intelligence Review
| Hi-index | 0.00 |
Substantial progress has been achieved using the standardConstraint Satisfaction Problem framework. However, there isa major unsolved challenge confronting the constraint researchcommunity: the constraint-based design of embedded intelligentsystems. This requires a new online model of constraint satisfactionand new computational tools for specifying, modeling, verifyingand implementing constraint-based, hybrid, intelligent systems,such as robots. The Constraint Net model of Zhang and Mackworthallows the design of hybrid intelligent systems as situated robots:modeling the robot and the environment symmetrically as dynamicsystems. If the robot‘s perceptual and control systems are designedas constraint-satisfying devices then the total robotic system,consisting of the robot symmetrically coupled to the environment,can be proven correct. Some theoretical and practical advancesbased on this model are described, including experiments withthe constraint-based design of robot soccer players.