A compendium of comparison function results

The use of comparison functions has become standard in systems and control theory, particularly for the purposes of studying stability properties. The use of these functions typically allows elegant and succinct statements of stability properties such as asymptotic stability and input-to-state stability and its several variants. Furthermore, over the last 20 years several inequalities involving these comparison functions have been developed that simplify their manipulation in the service of proving more significant results. Many of these inequalities have appeared in the body of proofs or in appendices of various papers. Our goal herein is to collect these inequalities in one place.