# Difference between revisions of "Welcome to SYSOS"

### From SYSOS

Line 3: | Line 3: | ||

Our group develops tools and algorithms for the scalable analysis of '''nonlinear networked systems''' and the design of control laws using computational tools based on the '''Sum of Squares decomposition and Semidefinite Programming'''. In particular, our group concentrates on: | Our group develops tools and algorithms for the scalable analysis of '''nonlinear networked systems''' and the design of control laws using computational tools based on the '''Sum of Squares decomposition and Semidefinite Programming'''. In particular, our group concentrates on: | ||

− | * Nonlinear systems analysis, Sum of Squares optimization and Lyapunov techniques. In this spirit, we have developed methods for stability analysis of systems described by Ordinary, Delay and Partial Differential Equations | + | * Nonlinear systems analysis, Sum of Squares optimization and Lyapunov techniques. In this spirit, we have developed methods for stability analysis of systems described by Ordinary, Delay and Partial Differential Equations. |

+ | |||

+ | * Systems and Synthetic Biology. We collaborate closely with groups in biochemistry for understanding biological pathways through mathematical modelling using experimental data and designing new experiments for model invalidation (Systems Biology), as well as proposing and implementing redesigns for existing biological systems for improved performance (Synthetic Biology). | ||

* Software Development (SOSTOOLS). This can be found [http://www.eng.ox.ac.uk/control/sostools here]. A new version is currently under development with many more examples. | * Software Development (SOSTOOLS). This can be found [http://www.eng.ox.ac.uk/control/sostools here]. A new version is currently under development with many more examples. | ||

− | * Large-scale Networked Systems analysis with communication and structural constraints. Examples in this field come from synchronization phenomena in oscillator | + | * Large-scale Networked Systems analysis with communication and structural constraints. Examples in this field come from synchronization phenomena in oscillator networks, Network Congestion Control for the Internet and the propagation of information on spiking neuron networks. We are also looking at multi-agent systems consensus under communication and structural constraints such as the effect of time delays and switching topologies. |

* Fluid mechanics and Heat transfer, from a control perspective. We are taking a control engineering approach to understand questions in Hydrodynamic Stability and mechanisms for background noise energy amplification and subsequent reduction. | * Fluid mechanics and Heat transfer, from a control perspective. We are taking a control engineering approach to understand questions in Hydrodynamic Stability and mechanisms for background noise energy amplification and subsequent reduction. |

## Revision as of 10:02, 8 December 2009

# SySOS: Systems using Sum of Squares

Our group develops tools and algorithms for the scalable analysis of **nonlinear networked systems** and the design of control laws using computational tools based on the **Sum of Squares decomposition and Semidefinite Programming**. In particular, our group concentrates on:

- Nonlinear systems analysis, Sum of Squares optimization and Lyapunov techniques. In this spirit, we have developed methods for stability analysis of systems described by Ordinary, Delay and Partial Differential Equations.

- Systems and Synthetic Biology. We collaborate closely with groups in biochemistry for understanding biological pathways through mathematical modelling using experimental data and designing new experiments for model invalidation (Systems Biology), as well as proposing and implementing redesigns for existing biological systems for improved performance (Synthetic Biology).

- Software Development (SOSTOOLS). This can be found here. A new version is currently under development with many more examples.

- Large-scale Networked Systems analysis with communication and structural constraints. Examples in this field come from synchronization phenomena in oscillator networks, Network Congestion Control for the Internet and the propagation of information on spiking neuron networks. We are also looking at multi-agent systems consensus under communication and structural constraints such as the effect of time delays and switching topologies.

- Fluid mechanics and Heat transfer, from a control perspective. We are taking a control engineering approach to understand questions in Hydrodynamic Stability and mechanisms for background noise energy amplification and subsequent reduction.

## News

**Upcoming Events:**

- CDC 2009 Preconference Workshop: Full-day CDC 2009 Pre-conference Workshop on Biomolecular Circuit Analysis and Design, 15th December 2009.
- Lund Center for Control of Complex Engineering Systems: Multi-agent coordination and estimation, Jan 18 - Feb 19: Workshop Feb 3-5, 2010.
- Banff Workshop: Randomization, Relaxation, and Complexity, 28 February - 5 March 2010, Banff International Research Station, Banff, Canada.
- ICM 2010: International Congress of Matematicians 19-27 August, 2010, Hyderabad, India.
- Application of Control Theory and Optimization in Biochemical Pathways: A Satellite Meeting of the 2010 ICM, 16-18 August, 2010, Hyderabad, India.

**Previous Events:**

- NE{S|T}COC: Symposium on Recent Trends in Networked Systems and Cooperative Control & Workshop on Network Induced Constraints in Control, 28-29 September, 2009, University of Stuttgart, Germany
- ARCC Workshop on Convex Algebraic Geometry, Optimization and Applications: 21-25 September, 2009, Palo Alto, California, USA.
- RoSBNet First Year Workshop: 14-16 September 2009, St. Annes' College, University of Oxford, U.K.
- RoSBNet Launch Meeting: A Network in Synthetic Biology, 6 July 2009, University of Oxford, U.K.
- IMA Thematic Year on Mathematics of Molecular and Cellular Biology
- IMA Thematic Year on Applications of Algebraic Geometry
- Banff Workshop: Positive Polynomials and Optimization, 7-12 October, 2006, Banff International Research Station, Banff, Canada
- ARCC Workshop: Theory and Algorithms of Linear Matrix Inequalities, 1-5 August 2005, American Institute of Mathematics, Palo Alto, California.

## Projects

- Oxford-Princeton Collaboration on Network Science with Professor Mung Chiang.

- European Space Agency project with GMV (Spain), NGC (Canada) and the University of Leicester, "Worst-Case and Safety Analysis Tools for Autonomous Rendezvous Systems".

## Current Collaborations

## Current Members

- Mr Yo-Cheng (Mark) Chang - DPhil candidate co-supervised with Professor Judith Armitage, Department of Biochemistry, January 2007-

- Mr Bence Mélykúti, DPhil candidate co-supervised with Professor Alison Etheridge, Department of Statistics, January 2008-

- Mr James Anderson - DPhil candidate, October 2008-

- Mr Edward Hancock - Probationary Research Student, October 2009-

## Previous Members

- Mr Abdullah Hamadeh, March 2009 - October 2009

- Miss Nassia Inglessis, September 2009 - October 2009

- Mr Christoph Maier, April 2009 - July 2009

- Dr Mark Roberts, October 2007 - December 2008

- Dr Elias August, October 2007 - December 2008