Rudra Prakash

The paper develops a method to compute certified design regions for robust controller tuning under parametric plant uncertainty, demonstrating improved certification rates using tensor-product Bernstein enclosures.

This paper develops a global shaving contractor to compute certified parameter intervals for steady-state specifications in biomolecular models, demonstrating efficient contraction of design domains without subdivision.

The paper develops interval analysis methods to rigorously bound steady states in nonlinear biomolecular systems and evaluates their performance on gene network models.

The paper analyzes the robustness and sensitivity of a bistable biomolecular circuit under multi-parametric perturbations, revealing a tradeoff between robustness and dynamic sensitivity.

This paper develops interval analysis methods to design biomolecular circuits that meet steady-state specifications by rigorously bounding parameter solutions.