Title:
The Motion Grammar Calculus for Context-Free Hybrid Systems

Thumbnail Image
Authors
Dantam, Neil
Stilman, Mike
Authors
Advisors
Advisors
Associated Organizations
Organizational Unit
Series
Supplementary to
Abstract
This paper provides a method for deriving provably correct controllers for Hybrid Dynamical Systems with Context-Free discrete dynamics, nonlinear continuous dynamics, and nonlinear state partitioning. The proposed method models the system using a Context-Free Motion Grammar and specifies correct performance using a Regular language representation such as Linear Temporal Logic. The initial model is progressively rewritten via a calculus of symbolic transformation rules until it satisfies the desired specification.
Sponsor
Date Issued
2012-06
Extent
Resource Type
Text
Resource Subtype
Proceedings
Rights Statement
Rights URI