A Supervisor Αgent-Based on the Markovian Decision Process Framework to Optimize the Behavior of a Highly Automated System