Variation of Constants Formula for Linear Control Systems applied PSPACE Is Contained in EXPTIME applied Polynomial-Time Reduction from Independent Set to Clique applied PBH Stabilizability Criterion applied Polynomial-Time Decidability of Bipartite Matching applied Linear Quadratic Regulator Energy Identity applied Uniqueness of Minimal Realizations up to Similarity applied Kalman Decomposition Theorem applied