Controller synthesis for hybrid systems with linear vector fields

Presents a method which can synthesize a trajectory to drive a hybrid system with linear vector fields from an initial state to a final state. All the possible states and evolutions of the process are modeled by a hybrid automata. Then a controllability analysis is carried out in state-space with geometric calculus and a controller which fulfils the specifications is synthesized.