A method for analyzing control systems in terms of their internal states and their evolution over time.