Difference between revisions of "Welcome to SYSOS"

From SYSOS

Line 17: Line 17:
 
*Complexity reduction of networked systems. We are investigating methods based on model decomposition and reduction to facilitate computational analysis of large-scale and nonlinear systems. Systems of interest include biochemical reaction networks, power systems and consensus networks.
 
*Complexity reduction of networked systems. We are investigating methods based on model decomposition and reduction to facilitate computational analysis of large-scale and nonlinear systems. Systems of interest include biochemical reaction networks, power systems and consensus networks.
 
<br>
 
<br>
<center> <span style="color:#F00000; font-size:130%;"> '''Please contact us if you are interested in studying towards a DPhil (PhD) or an MSc by Research.''' </span></center>  
+
<center> <span style="color:#F00000; font-size:130%;"> '''Please [mailto:antonis@eng.ox.ac.uk contact us] if you are interested in studying towards a DPhil (PhD) or an MSc by Research.''' </span></center>  
 
<br>
 
<br>
 
== Current Members ==
 
== Current Members ==

Revision as of 19:04, 24 January 2012


SySOS: Systems of Systems and Sum of Squares

Our group develops tools and algorithms for the scalable analysis of nonlinear networked systems (System of 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 Power System analysis. 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.
  • Complexity reduction of networked systems. We are investigating methods based on model decomposition and reduction to facilitate computational analysis of large-scale and nonlinear systems. Systems of interest include biochemical reaction networks, power systems and consensus networks.


Please contact us if you are interested in studying towards a DPhil (PhD) or an MSc by Research.


Current Members

  • Dr Bing Chu - Postdoctoral Research Assistant, June 2010-

Current Externally Funded Projects

Collaborations

News

Previous Events:

Previous Members

  • Dr Yo-Cheng (Mark) Chang DPhil, co-supervised with Professor Judith Armitage, Department of Biochemistry, January 2007-January 2011.
  • Dr Bence Mélykúti, DPhil, co-supervised with Professor Alison Etheridge, Department of Statistics, January 2008-February 2011.
  • Miss Nassia Inglessis, September 2009 - October 2009
  • Mr Christoph Maier, April 2009 - July 2009

Completed Projects

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

Useful Links