Artificial Intelligence and Graph Theory Tools for Describing Switched Linear Control Systems