Composition of Context-Free Motion Description Languages
| Author(s) | Zhang, Wenqi | |
| Author(s) | Tanner, Herbert | |
| Date Accessioned | 2010-10-13T01:19:43Z | |
| Date Available | 2010-10-13T01:19:43Z | |
| Publication Date | 2010 | |
| Abstract | We introduce a new formalism to define compositions of interacting heterogeneous systems, described by extended motion description languages (MDLes). The novelty of the formalism is in producing a composed system with a behavior that could be a superset of the union of the behaviors of its generators. We prove closedness of MDLes under this composition and we indicate that in the class of systems modeled using MDLes, language equivalence is decidable. Our approach consists of representing MDLes as normed processes, recursively defined as a guarded system of recursion equations in restricted Greibach Normal Form over a basic process algebra. Basic processes have well defined semantics for composition, which we exploit to establish the properties of our composed MDLes. | en_US |
| Sponsor | This work is supported by NSF under grant # 0447898. | en_US |
| URL | http://udspace.udel.edu/handle/19716/5656 | |
| Publisher | Department of Mechanical Engineering, University of Delaware | en_US |
| Part of Series | UDME Technical Report;MEEG TR-2010-0002 | |
| Keywords | Extended Motion Description Languages (MDLes) | en_US |
| Title | Composition of Context-Free Motion Description Languages | en_US |
| Type | Technical Report | en_US |