Difference between revisions of "Welcome to SYSOS"
From SYSOS
Line 4: | Line 4: | ||
<center> <span style="color:#F00000; font-size:200%;"> [http://www.recruit.ox.ac.uk/pls/hrisliverecruit/erq_jobspec_version_4.jobspec?p_id=103686 '''NEW! Postdoc position available'''] </span></center> <br>--> | <center> <span style="color:#F00000; font-size:200%;"> [http://www.recruit.ox.ac.uk/pls/hrisliverecruit/erq_jobspec_version_4.jobspec?p_id=103686 '''NEW! Postdoc position available'''] </span></center> <br>--> | ||
<center> | <center> | ||
− | [[Image: | + | [[Image:Group_photo.jpg|thumb]] |
</center> | </center> | ||
= SySOS: Systems of Systems and Sum of Squares = | = SySOS: Systems of Systems and Sum of Squares = |
Revision as of 15:26, 3 December 2013
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.
Current Members
- Dr Antonis Papachristodoulou - Academic
- Dr James Anderson - Junior Research Fellow, 2012-
- Dr Giorgio Valmorbida - Post-Doctoral Research Associate, 2013-
- Mr Edward Hancock - DPhil candidate, October 2009-
- Mr Xuan Zhang - DPhil Candidate, October 2011-
- Mr Thomas P. Prescott - DPhil Candidate, October 2011-
- Mr Richard P. Mason - DPhil Candidate, October 2011-
- Mr Mohamadreza Ahmadi - PRS student, October 2013-
- Mr Dhruva Raman - PRS student, October 2013-
- Mr Andreas Harris - PRS student, October 2013-
Current Externally Funded Projects
- Using Control Theory to Design Sustainable Policies for Greenhouse Gas Emissions in the Presence of Model Uncertainty [4]
Collaborations
- Analysis of Functional Differential Equations Using Sum of Squares Programming - IIT, U.S.A.
- A Control Engineering Approach for Modelling High-Shear Flows - Johns Hopkins [5]
- Multi-Agent-Systems and Delay Robustness in Cooperative Control - IST, Stuttgart
News
Previous Events:
- Workshop on Algorithms for Dynamical Systems and Lyapunov Functions: 17 July -19 July 2013, Reykjavík, Iceland.
- Oberwolfach Workshop on Structured function systems and applications: 24 February - 3 March 2013, TU Dortmund, Germany.
- Optimization and Control for Smart Grids: 21-25 May 2012, Santa Fe, New Mexico, USA.
- Warwick Systems Biology DTC Annual Conference: 27-29 July 2011, Stratford Apon Avon, UK.
- Third RoSBNet Workshop: 20-22 July 2011, St Annes' College, University of Oxford.
- Exeter Synthetic Biology Sandpit: 3 June 2011, University of Exeter, UK.
- Dynamics, Control and Pricing in Power Systems: 18-20 May 2011, Lund University, Sweden.
- CDC2010: The 49th Conference on Decision and Control, Atlanta, Georgia, 15-17 December 2010. Special session on Decentralised Network Analysis, Control and Optimisation.
- Synthetic Components Network: SCN annual conference, 23-24 September, Oulton Hall, Leeds, U.K.
- Frontiers of Multidisciplinary Research: Mathematics, engineering, and biology, 21-24 September 2010, University of Exeter, U.K.
- Dynamics Days Europe 2010: Minisymposium on Cell Dynamics and Systems Biology, 6-10 September, 2010, University of Bristol, U.K.
- Application of Control Theory and Optimization in Biochemical Pathways: A Satellite Meeting of the 2010 ICM, 16-18 August, 2010, Hyderabad, India.
- Second RoSBNet Workshop: 12-14 July, 2010, St Annes' College, University of Oxford.
- MTNS 2010: Invited Session: Real Algebraic Geometry and Applications, 5-9 July, 2010, Budapest, Hungary.
- Banff Workshop: Randomization, Relaxation, and Complexity, 28 February - 5 March 2010, Banff International Research Station, Banff, Canada.
- Lund Center for Control of Complex Engineering Systems: Multi-agent coordination and estimation, Jan 18 - Feb 19: Workshop Feb 3-5, 2010.
- CDC 2009 Preconference Workshop: Full-day CDC 2009 Pre-conference Workshop on Biomolecular Circuit Analysis and Design, 15th December 2009.
- 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.
Joining SySOS
- If you find what we do interesting, and you want to apply for a DPhil (PhD) or MSc by Research in our group, then please contact us sooner than later to discuss possible projects. If you have a strong academic background, the chances of securing funding for your studies are higher the earlier you apply. Note that applications need to follow the Postgraduate Admissions guidelines.
- Any PDRA openings will be advertised on the departmental website - none are available now.
- There are several other routes for joining SySOS, mainly through fellowships.
Previous Members
- Dr Bing Chu - Postdoctoral Research Assistant, June 2010-March 2012
- 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.
- Dr 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
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".
- Oxford-Princeton Collaboration on Network Science with Professor Mung Chiang.