Minimal Control Synthesis Algorithm Research Articles