A fast marching algorithm for hybrid systems

Describes an approach to solving optimal hybrid control problems using level set methods. Level set methods are powerful techniques for generating equipotential contours with applications in the realm of fluid mechanics, computer vision, material science, robotics, and geometry. The paper specifically deals with the problem of determining an optimal control path in a hybrid system by extending the "fast marching" method to a hybrid setting. We formalize the hybrid problem, provide an algorithm to solve it, and give a constructive proof of the algorithm's correctness. We also solve two examples in our hybrid setup and discuss upper- and lower-bounds of numerical solutions.

[1]  E. Rouy,et al.  A viscosity solutions approach to shape-from-shading , 1992 .

[2]  Thomas A. Henzinger,et al.  Hybrid Automata: An Algorithmic Approach to the Specification and Verification of Hybrid Systems , 1992, Hybrid Systems.

[3]  J A Sethian,et al.  A fast marching level set method for monotonically advancing fronts. , 1996, Proceedings of the National Academy of Sciences of the United States of America.

[4]  Michael S. Branicky,et al.  Fast marching for hybrid control , 1999, Proceedings of the 1999 IEEE International Symposium on Computer Aided Control System Design (Cat. No.99TH8404).

[5]  John Lygeros,et al.  Computing Controllers for Nonlinear Hybrid Systems , 1999, HSCC.