Synthesis of Time-Optimal Control for an Inverse Linear Pendulum on a Cart | Synapse