publication venue for Morse families in optimal control problems. 53:414-433. 2015 Second order conditions for optimality and local controllability of discrete-time systems. 53:352-377. 2015