Shaunak Sen

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.

The paper shows that negative feedback circuits are more robust to temperature changes than circuits without feedback, revealing a design principle for temperature robustness in biomolecular circuits.

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 proves the existence and localizes limit cycles in biomolecular oscillators using a geometric approach and interval-based reachability analysis.

The paper provides a quantitative design guideline for positive feedback in biomolecular systems, showing how feedback strength relates to saturation parameters and demonstrating its application in gene regulation models.

The paper designs a two-input sensor that combines chemical and temperature inputs to regulate gene expression, functioning as an AND Gate with a measured asymmetry.

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.

The paper investigates tradeoffs in RNA thermometer design, finding an inverse relationship between threshold and sensitivity in two-state models and similar constraints in more complex models.

The paper assesses temperature robustness in negative feedback and feedforward loops using experiments and models, finding temperature-dependent changes and parameter regimes that improve robustness.

The paper experimentally investigates amplitude-timescale co-variation in a pulse generating incoherent feedforward loop circuit and finds that larger amplitude pulses have slower rise times.

This study shows negative transcriptional feedback reduces temperature variation effects on circuit dynamics using mathematical models and experiments.

This study designs a temperature-robust incoherent feedforward loop circuit using control theory and experimental analysis.