A Formal Model for Autonomous Planning in High Performance Systems