Composition of Context-Free Motion Description Languages

Author(s)Zhang, Wenqi
Author(s)Tanner, Herbert
Date Accessioned2010-10-13T01:19:43Z
Date Available2010-10-13T01:19:43Z
Publication Date2010
AbstractWe 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
SponsorThis work is supported by NSF under grant # 0447898.en_US
URLhttp://udspace.udel.edu/handle/19716/5656
PublisherDepartment of Mechanical Engineering, University of Delawareen_US
Part of SeriesUDME Technical Report;MEEG TR-2010-0002
KeywordsExtended Motion Description Languages (MDLes)en_US
TitleComposition of Context-Free Motion Description Languagesen_US
TypeTechnical Reporten_US
Files
Original bundle
Now showing 1 - 1 of 1
Loading...
Thumbnail Image
Name:
MDLe-Composition_TR.pdf
Size:
286.12 KB
Format:
Adobe Portable Document Format
Description:
License bundle
Now showing 1 - 1 of 1
Loading...
Thumbnail Image
Name:
license.txt
Size:
2.22 KB
Format:
Item-specific license agreed upon to submission
Description: