Problem domain: Scaling chains of integrators

Problems in this domain require construction of a controller—if one exists—for a chain of integrators so that resulting trajectories satisfy a reach-and-avoid specification. More...

Classes
class	DMTranscriber
	Transcribe state messages (VectorStamped) into other types. More...
class	LabeledPolytope
	Extension of Polytope to have label (string). More...
class	Labeler
class	Polytope
	Basic half-space representation of polytopes. More...
class	Problem
	Representation of problem instances. More...
class	TGThread
class	TrajectoryGenerator
	Flow computation for the problem domain: scaling chains of integrators. More...
class	WordEvents
	Echo trajectory labeling modulo repetition. More...

Detailed Description

Problems in this domain require construction of a controller—if one exists—for a chain of integrators so that resulting trajectories satisfy a reach-and-avoid specification.

Our treatment here focuses on the programming interface. The notation and relevant theory is developed in the benchmark specification, and a tutorial introduction is given in the User's Guide.