Synthesis of control policies for a production-inventory tracking system · Study