This chapter expands the proposed control architectures to AC microgrid systems. It is shown that, the derivation of similar results is by no means a trivial task, since there exist a substantial increase in system complexity, especially in the presence of constant power load demand. Nevertheless, a step-by-step analytic approach is presented that employs energy-like Lyapunov functions in order to characterize a positive invariant set under the solution of the microgrid system dynamics. The characterization of this set is in accordance with the closed set of the active and reactive components of the constant power load demand. Following this, sufficient conditions can be derived on the controller tuning parameters such that the microgrid system is always constrained within the desired operational region. This behaviour is illustrated in a simulated scenario, where an AC microgrid system with constant power loads asymptotically converges to a predefined neighbourhood of the desired equilibrium point. Moreover, the system displays the ability to guarantee constraint satisfaction during the transient and steady-state performance.