Modern Koopman theory for dynamical systems

SL Brunton, M Budišić, E Kaiser, JN Kutz - arXiv preprint arXiv:2102.12086, 2021 - arxiv.org
The field of dynamical systems is being transformed by the mathematical tools and
algorithms emerging from modern computing and data science. First-principles derivations …

Robustness analysis, prediction, and estimation for uncertain biochemical networks: An overview

S Streif, KKK Kim, P Rumschinski, M Kishida… - Journal of Process …, 2016 - Elsevier
Mathematical models of biochemical reaction networks are important tools in systems
biology and systems medicine, eg, to analyze disease causes or to make predictions for the …

Auxiliary functions as Koopman observables: Data-driven analysis of dynamical systems via polynomial optimization

JJ Bramburger, G Fantuzzi - Journal of Nonlinear Science, 2024 - Springer
We present a flexible data-driven method for dynamical system analysis that does not
require explicit model discovery. The method is rooted in well-established techniques for …

Convex computation of the reachable set for hybrid systems with parametric uncertainty

S Mohan, R Vasudevan - 2016 American control conference …, 2016 - ieeexplore.ieee.org
To verify the correct operation of systems, engineers need to determine the set of
configurations of a dynamical model that are able to safely reach a specified configuration …

[PDF][PDF] Data-Driven Methods for Dynamic Systems

JJ Bramburger - 2024 - SIAM
Excerpt This book grew out of multiple stimulating conversations with Nathan Kutz while I
was a postdoc at the University of Washington. It began with joking about taking our favorite …

Robustness analysis, prediction and estimation for uncertain biochemical networks

S Streif, KKK Kim, P Rumschinski, M Kishida… - IFAC Proceedings …, 2013 - Elsevier
Mathematical models of biochemical reaction networks are important tools in systems
biology and systems medicine to understand the reasons for diseases like cancer, and to …

Probabilistic and set-based model invalidation and estimation using lmis

S Streif, D Henrion, R Findeisen - IFAC Proceedings Volumes, 2014 - Elsevier
Probabilistic and set-based methods are two approaches for model (in) validation,
parameter and state estimation. Both classes of methods use different types of data, ie …

Inner approximations of consistent parameter sets by constraint inversion and mixed-integer programming

S Streif, N Strobel, R Findeisen - IFAC Proceedings Volumes, 2013 - Elsevier
Mathematical modeling has become an indispensable tool in the analysis, prediction and
control of chemical and biological systems. However, the estimation of consistent model …

Uncertainty propagation for nonlinear dynamics: A polynomial optimization approach

F Covella, G Fantuzzi - 2023 American Control Conference …, 2023 - ieeexplore.ieee.org
We use Lyapunov-like functions and convex optimization to propagate uncertainty in the
initial condition of nonlinear systems governed by ordinary differential equations. We …

Set-based analysis for biological modeling

T Dang, T Dreossi, E Fanchon, O Maler… - … Reasoning for Systems …, 2019 - Springer
The understanding of biological systems and processes requires the development of
dynamical models characterized by nonlinear laws and often intricate regulation …