• Sorted by Date • Classified by Publication Type • Sorted by First Author Last Name • Classified by Author Last Name •
Y. Zhang and Alan K. Mackworth. Specification and Verification of Constraint-Based Dynamic Systems. In Proceedings of the Second Workshop on Principles and Practise of Constraint Programming, pp. 206–215, May 1994.
Constraint satisfaction can be seen as a dynamic process that approaches the solution set of the given constraints asymptotically [6]. Constraint programming is seen as creating a dynamic system with the required property. We have developed a semantic model for dynamic systems, Constraint Nets, which serves as a useful abstract target machine for constraint programming languages, providing both semantics and pragmatics. Generalizing, here we view a constraint-based dynamic system as a dynamic system which approaches thesolution set of the given constraints persistently. Most robotic systems are constralnt-based dynamic systems with tasks specified as constraints. In this paper, we further explore the specification and verification of constraint-based dynamic systems. We first develop generalized V-automata for the specification and verification of general (hybrid) dynamic systems , then explicate the relationship between constraint-based dynamic systems and their requirements specification.
@InProceedings{PPCP94,
author = {Y. Zhang and Alan K. Mackworth},
title = {Specification and Verification of Constraint-Based Dynamic Systems},
year = {1994},
month = {May},
booktitle = {Proceedings of the Second Workshop on Principles and Practise of Constraint Programming},
pages = {206--215},
abstract = {Constraint satisfaction can be seen as a dynamic process
that approaches the solution set of the given constraints asymptotically
[6]. Constraint programming is seen as creating a dynamic system with
the required property. We have developed a semantic model for dynamic
systems, Constraint Nets, which serves as a useful abstract target machine for constraint programming languages, providing both semantics and pragmatics. Generalizing, here we view a constraint-based dynamic
system as a dynamic system which approaches thesolution set of the
given constraints persistently. Most robotic systems are constralnt-based
dynamic systems with tasks specified as constraints. In this paper, we
further explore the specification and verification of constraint-based dynamic systems. We first develop generalized V-automata for the specification and verification of general (hybrid) dynamic systems , then explicate
the relationship between constraint-based dynamic systems and their requirements specification. },
bib2html_pubtype ={Refereed Conference Proceeding},
bib2html_rescat ={},
}
Generated by bib2html.pl (written by Patrick Riley ) on Wed Apr 23, 2014 19:08:34