Title:
Make Your Robot Talk Correctly: Deriving Models of Hybrid System
Make Your Robot Talk Correctly: Deriving Models of Hybrid System
Files
Author(s)
Dantam, Neil
Stilman, Mike
Egerstedt, Magnus B.
Stilman, Mike
Egerstedt, Magnus B.
Advisor(s)
Editor(s)
Collections
Supplementary to
Permanent Link
Abstract
Using both formal language and differential
equations to model a robotic system, we introduce a calculus
of transformation rules for the symbolic derivation of
hybrid controllers. With a Context-Free Motion Grammar,
we show how to test reachability between different regions
of state-space and give several symbolic transformations to
modify the set of event strings the system may generate.
This approach lets one modify the language of the hybrid
system, providing a way to change system behavior so that
it satisfies linguistic constraints on correct operation.
Sponsor
Date Issued
2011-07
Extent
Resource Type
Text
Resource Subtype
Paper