Explore projects

Code for paper "Bridging Neural ODE and ResNet: A Formal Error Bound for Safety Verification"

vehlib software is the Eco7 hybrid vehicle simulation tool based on a block diagram description associated with principles from Bond-Graph theory. A Backward approach proposes energy management strategy based on DP and PMP principles.