Bifurcation-guided discrete-time modeling and stability analysis of the DAB converter in off-grid hydrogen production systems | Synapse