Extended Cartan homotopy formula for higher Chern-Simons-Antoniadis-Savvidy theory

We consider extended Cartan homotopy formula (ECHF) for higher gauge theory. Firstly, we construct an oriented simplex based on 2-connections and present differential and integral forms of the higher ECHF. Then, we study the higher Chern-Simons-Antoniadis-Savvidy (ChSAS) theory and prove that the higher ECHF can reproduce the higher Chern-Weil theorem and give higher triangle equation. We finally conclude from the higher ECHF that a higher transgression form can be written as the difference of two higher ChSAS forms minus an exact form.