Given a continuous-time system with parameters, can we find the range (or intervals) of the parameters where the system is stable?
When the system model is written with the Laplacian transform, the question is equivalent to finding all the roots of a parameterized polynomial where the real parts of the roots are negative. Via orthant-based, sign-definite decomposition a set of "vertex polynomials" are created whereby such a test of stability can occur. Through iterative bisection of the parameter space, the region of stable parameters of the dynamic system can be constructed and viewed.
Examples are provided where the parameters are PID gains of a controller, though the parameters may also occur in the plant. Currently, the parameters must be real-valued, though the polynomial need not be real-valued.
For more detailed information, see the papers referenced in the H1 information and the readme.
Similar results are available for discrete-time systems, though these have not been included here.
The screenshot is the stability region of the polynomial:
s^4 + (kd + kp + 10)*s^3 + (2*kp - 4*kd + 35)*s^2 + (50 - 23*kp - 18*kd*kp - 19*kd)*s + 35*kd*kp - 60*kp - 14*kd + 24.
For this update, I have added a walkthrough.m script and its 'publish'ed html directory.