3 papers
eess.SY2026
Learning-enabled Parameter Synthesis for Nonlinear Systems from Signal Temporal Logic
Alex Beaudin, Hanna Krasowski, Eric Palanques-Tost +3
Signal Temporal Logic (STL) is increasingly used to describe interpretable objectives and constraints for optimal control and learning methods, especially when no target time serie…
cs.LG2025
STL-based Optimization of Biomolecular Neural Networks for Regression and Control
Eric Palanques-Tost, Hanna Krasowski, Murat Arcak +2
Biomolecular Neural Networks (BNNs), artificial neural networks with biologically synthesizable architectures, achieve universal function approximation capabilities beyond simple b…
q-bio.MN2024
Learning Biomolecular Models using Signal Temporal Logic
Hanna Krasowski, Eric Palanques-Tost, Calin Belta +1
Modeling dynamical biological systems is key for understanding, predicting, and controlling complex biological behaviors. Traditional methods for identifying governing equations, s…