Even for a simple automated manufacturing system (AMS), such as a general single-unit resource allocation system, the computation of an optimal or maximally permissive deadlock-avoidance policy (DAP) ...

We present a sum of squares (SOS) method for the synthesis of nonlinear polynomial control systems. As an emerging numerical solution method in recent years, SOS targets polynomials as the research ...