Computational and Analytical Modeling for Senate Decision Dynamics