SOSTOOLS is a MATLAB toolbox for constructing and solving sum of squares programs. It
can be used in combination with semidefinite programming software, such as SeDuMi, to …

This paper addresses the state feedback control synthesis problems for nonlinear systems,
either without or with guaranteed cost or H/sub /spl infin// performance objectives. By …

Synthetic Biology is the ‘Engineering of Biology’ – it aims to use a forward-engineering design
cycle based on specifications, modelling, analysis, experimental implementation, testing …

We consider the problem of constructing Lyapunov functions for linear differential equations
with delays. For such systems it is known that exponential stability implies the existence of a …

We employ chordal decomposition to reformulate a large and sparse semidefinite program (SDP),
either in primal or dual standard form, into an equivalent SDP with smaller positive …

A relaxation of Lyapunov's direct method has been proposed elsewhere that allows for an
algorithmic construction of Lyapunov functions to prove stability of equilibria in nonlinear …

Modeling and analysis of complex biological networks presents a number of mathematical
challenges. For the models to be useful from a biological standpoint, they must be …

We investigate the robustness of consensus schemes for linear Multi-Agent Systems (MAS)
to feedback delays. To achieve this, we develop a unified framework that considers linear …

This tutorial is about new system analysis techniques that were developed in the past few
years based on the sum of squares decomposition. We present stability and robust stability …

A powerful way of gaining insight into biological systems is by creating a nonlinear differential
equation model, which usually contains many unknown parameters. Such a model is …