Alan K. Mackworth's Publications

Sorted by DateClassified by Publication TypeSorted by First Author Last NameClassified by Author Last Name

Specification and Verification of Constraint-Based Dynamic Systems

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.

Download

[PDF]212.1kB  

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.

BibTeX

@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