Title:
The Motion Grammar Calculus for Context-Free Hybrid Systems
The Motion Grammar Calculus for Context-Free Hybrid Systems
Author(s)
Dantam, Neil
Stilman, Mike
Stilman, Mike
Advisor(s)
Editor(s)
Collections
Supplementary to
Permanent Link
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