Difference between revisions of "Welcome to SYSOS"

From SYSOS

 
(267 intermediate revisions by 5 users not shown)
Line 1: Line 1:
 
__NOTOC__
 
__NOTOC__
 
{{DISPLAYTITLE:<span style="display:none">{{FULLPAGENAME}}</span>}}
 
{{DISPLAYTITLE:<span style="display:none">{{FULLPAGENAME}}</span>}}
 +
<center>
 +
<div class="col-md-12">
 +
      <!-- <h5 class="text-center"><span class="label label-default">Welcome to SySOS</span></h5> -->
 +
      <h2 class="text-center"> Welcome to SySOS</span></h2>
 +
      <hr class="tagline-divider" />
 +
      <h4 class="subheader" class="text-center" style="margin-bottom:20px;">A group researching complex networked control systems, biological and technological</h4>
 +
    </div>
 +
<br>
 +
</center>
 +
<!--<center> <span style="color:#F00000; font-size:200%;"> [http://sysos.eng.ox.ac.uk/wiki/index.php/SynBioControl2019 '''Synthetic Biology and Control Workshop'''] </span></center> -->
 +
<!--
 +
<center> <span style="color:#F00000; font-size:200%;"> [https://eng.ox.ac.uk/study/research-studentships/research-studentship-in-control-engineering/ '''NEW! Funded DPhil (PhD) position available!'''] </span></center> -->
 +
<br>
 +
<center>
 +
[[Image:Group_2019.jpg|700px]]
 +
</center>
  
<center> <span style="color:#F00000; font-size:150%;"> [http://www.recruit.ox.ac.uk/pls/hrisliverecruit/erq_jobspec_version_4.jobspec?p_id=102815 '''NEW! Postdoc position available'''] </span></center> <br>
+
== Research Interests ==
  
= SySOS: Systems of Systems and Sum of Squares =
+
Our group develops tools and algorithms for the analysis and design of feedback control in biological and technological systems and applies them in a range of areas, from Synthetic Biology to fluid mechanics. In particular, we have been developing theory to understand how '''nonlinear networked systems (System of Systems)''' operate how to design control laws for them, using computational tools based on the '''Sum of Squares (SOS) decomposition and Semidefinite Programming (SDP)'''. We have been applying this theory to understand and (re)design biological systems (Systems and Synthetic Biology) but also to analyse and design control laws for fluid flows, robust synchronization, multi-agent system consensus, smart power networks, the robustness of (deep) neural network controllers and congestion control for the Internet. Here is a short summary of the areas we work on - please follow the links below for more details.
  
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, as well as switched/hybrid systems. Of current interest is how to scale these tools to handle much more complicated and richer system descriptions, of higher dimension (see also point below, on scaling SDP/SOS methods).
  
* 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 Engineering Science (Professors Wei Huang and Harrison Steel) and Biology (Professor Philip Poole) and other institutions 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).  
  
* 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].
  
* 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 networks, Network Congestion Control for the Internet and Power System analysis/Smart grid. We are also looking at multi-agent systems consensus under communication and structural constraints such as the effect of time delays and switching topologies.  
  
* 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. We are also using a Sum of Squares approach for the stability analysis and control design of systems described by Partial Differential Equations.
  
* 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 and identification 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.
+
* Scaling Sum of Squares and Semidefinite Programming. We are using sparsity- and symmetry-exploiting algorithms for improving the scalability of semidefinite programming, including the development of software (such as [https://github.com/oxfordcontrol/CDCS CDCS]) to implement relevant operator-splitting algorithms.
 +
 
 +
* Robust analysis and design of (deep) neural network controllers. We are using tools from traditional and modern control theory for the analysis and design of (deep) neural network controllers used in (deep) reinforcement learning.
  
 
== Current Members ==
 
== Current Members ==
  
* [http://sysos.eng.ox.ac.uk/control/sysos/index.php/User:Antonis Dr Antonis Papachristodoulou] - Academic
+
* [http://sysos.eng.ox.ac.uk/control/sysos/index.php/User:Antonis Professor Antonis Papachristodoulou] - Academic
 +
 
 +
* [https://www.plants.ox.ac.uk/people/patrick-green Mr Patrick Green] - DPhil candidate, July 2019-. Co-supervised with Professor Philip Poole.
 +
 
 +
* [http://sysos.eng.ox.ac.uk/control/sysos/index.php/User:Matt Mr Matthew Newton] - DPhil Candidate, October 2019 -.
 +
 
 +
* [http://sysos.eng.ox.ac.uk/control/sysos/index.php/User:Manos Mr Emmanouil Alexis] - DPhil Candidate, October 2019 -. Co-supervised with Professor Luca Cardelli.
 +
 
 +
* [https://www.miroslavgasparek.com Mr Miroslav Gasparek] - DPhil Candidate, October 2019 -. Co-supervised with Professor Harrison Steel.
 +
 
 +
* [http://sysos.eng.ox.ac.uk/control/sysos/index.php/User:Han Mr Han Wang] - DPhil Candidate, October 2020 -. Co-supervised with Professor Kostas Margellos.
 +
 
 +
* [http://sysos.eng.ox.ac.uk/control/sysos/index.php/User:Scott Mr Scott Stacey] - Probationary Research Student, July 2021  -. Co-supervised with Professor Harrison Steel.
 +
 
 +
* [https://rhizosphere.org/people/bergthor-traustason/ Mr Bergthor Traustason] - Probationary Research Student, July 2021 -. Co-supervised with Professor Philip Poole.
 +
 
 +
* [http://sysos.eng.ox.ac.uk/control/sysos/index.php/User:Liqun Mr Liqun Zhao] - Probationary Research Student, October 2021 -. Co-supervised with Dr Konstantinos Gatsis.
 +
 
 +
== Current and Previous Externally Funded Projects ==
  
* [http://sysos.eng.ox.ac.uk/control/sysos/index.php/User:James_Anderson Mr James Anderson] - DPhil candidate, October 2008-
+
* [http://www.synbio-cdt.ac.uk EPSRC & BBSRC Centre for Doctoral Training in Synthetic Biology] [http://gow.epsrc.ukri.org/NGBOViewGrant.aspx?GrantRef=EP/L016494/1]
  
* [http://sysos.eng.ox.ac.uk/control/sysos/index.php/User:Edward Mr Edward Hancock] - DPhil candidate, October 2009-
+
* [http://sysos.eng.ox.ac.uk/wiki/index.php/Designing_feedback_control_in_Synthetic_Biology EPSRC Fellowship for Growth in Synthetic Biology: Designing Feedback Control in Biology for Robustness and Scalability] [http://gow.epsrc.ukri.org/NGBOViewGrant.aspx?GrantRef=EP/M002454/1]
  
* [http://sysos.eng.ox.ac.uk/control/sysos/index.php/User:Xuan Mr Xuan Zhang] - Probationary Research Student, October 2011-
+
* [https://www.imperial.ac.uk/aeronautics/fluiddynamics/sumofsquares/index.php Sum-of-Squares Approach to Global Stability and Control of Fluid Flows] [http://gow.epsrc.ukri.org/NGBOViewGrant.aspx?GrantRef=EP/J010537/1]
  
* [http://sysos.eng.ox.ac.uk/control/sysos/index.php/User:Prescott Mr Thomas P. Prescott] - Probationary Research Student, October 2011-
+
* [http://gow.epsrc.ukri.org/NGBOViewGrant.aspx?GrantRef=EP/J012041/1 Autonomous Behaviour and Learning in an Uncertain World] [http://www.robots.ox.ac.uk/~parg/aisp/doku.php]
  
* [http://sysos.eng.ox.ac.uk/control/sysos/index.php/User:Richard Mr Richard P. Mason] - Probationary Research Student, October 2011-
+
*[http://sysos.eng.ox.ac.uk/control/sysos/index.php/Control_Engineering_Inspired_Design_Tools_for_Synthetic_Biology Control Engineering Inspired Design Tools for Synthetic Biology] [http://gow.epsrc.ukri.org/NGBOViewGrant.aspx?GrantRef=EP/I031944/1]
  
== Current Externally Funded Projects ==
+
* [http://sysos.eng.ox.ac.uk/control/sysos/index.php/Designing_Sustainable_Policies_for_Greenhouse_Gas_Emissions Using Control Theory to Design Sustainable Policies for Greenhouse Gas Emissions in the Presence of Model Uncertainty] [http://gow.epsrc.ukri.org/NGBOViewGrant.aspx?GrantRef=EP/H03062X/1]
  
* [http://gow.epsrc.ac.uk/NGBOViewGrant.aspx?GrantRef=EP/J012041/1 Autonomous Behaviour and Learning in an Uncertain World]
+
* [http://sysos.eng.ox.ac.uk/control/RoSBNet RoSBNet: Network in Synthetic Biology.]  
  
* [http://gow.epsrc.ac.uk/NGBOViewGrant.aspx?GrantRef=EP/I031944/1 Control Engineering Inspired Design Tools for Synthetic Biology]
+
* European Space Agency project with GMV (Spain), NGC (Canada) and the University of Leicester, "Worst-Case and Safety Analysis Tools for Autonomous Rendezvous Systems".
 +
 
 +
* [http://sysos.eng.ox.ac.uk/control/sysos/index.php/Chemotaxis_in_Rhodobacter_sphaeroides:_A_Feasibility_Study Control Theory Tools for Elucidating the Phosphotransfer Network in ''Rhodobacter sphaeroides'': A Feasibility Study]
 +
<!--* [http://www.eng.ox.ac.uk/control/sysos/index.php/Project_page Project page <i>Restricted Access</i>]-->
  
* [http://sysos.eng.ox.ac.uk/control/sysos/index.php/Designing_Sustainable_Policies_for_Greenhouse_Gas_Emissions Using Control Theory to Design Sustainable Policies for Greenhouse Gas Emissions in the Presence of Model Uncertainty] [http://gow.epsrc.ac.uk/NGBOViewGrant.aspx?GrantRef=EP/H03062X/1]
+
* Oxford-Princeton Collaboration on Network Science with [http://www.princeton.edu/~chiangm/ Professor Mung Chiang.]
  
 
== Collaborations ==
 
== Collaborations ==
  
*[http://mmae.iit.edu/~mpeet/ Analysis of Functional Differential Equations Using Sum of Squares Programming - IIT, U.S.A.]
+
* [https://coe.northeastern.edu/people/sznaier-mario/ Scaling Semidefinite Programming - Northeastern, USA]
*[http://www.cds.caltech.edu/~dennice/ A Control Engineering Approach for Modelling High-Shear Flows - Caltech] [http://www.mckeon.caltech.edu/]
+
* [https://www.l2s.centralesupelec.fr/en/u/valmorbida-giorgio/ Analysis of Partial Differential Equations Using Sum of Squares Programming - CentraleSupelec, France]
*[http://www.ist.uni-stuttgart.de/research/projects/SystemsTheory/#dynsysnet Multi-Agent-Systems and Delay Robustness in Cooperative Control - IST, Stuttgart]
+
* [https://me.jhu.edu/faculty/dennice-gayme/ A Control Engineering Approach for Modelling High-Shear Flows - Johns Hopkins]  
 +
* [https://www.northumbria.ac.uk/about-us/our-staff/k/ciaran-kelly/ Designing bio-feedback control circuits using small RNA - Northumbria]
  
 
==News==
 
==News==
'''Upcoming Events:'''
+
* [https://sites.google.com/view/emerging-topics-system-control/home Stockholm Workshop on Emerging Topics in Systems and Control], KTH Royal Institute of Technology, Stockholm, Sweden, June 15-16, 2022.
 +
* [https://sites.google.com/view/ieee-css-societal-challenges22/home?authuser=0 2022 IEEE CSS Workshop on Control for Societal-Scale Challenges] - June 17-18, 2022 Stockholm, Sweden.
 +
* Huge congratulations to [http://sysos.eng.ox.ac.uk/wiki/index.php/User:Licio Dr Licio Romao] for winning the 2021 IET Control and Automation Doctoral Prize  for his thesis [https://ora.ox.ac.uk/objects/uuid:17c1e4dc-42fe-4771-a1a6-bda802dea968 "Scalable and data-driven approaches to convex programming"]! Licio will be giving a [https://events.theiet.org/events/scalable-and-data-driven-approaches-to-convex-programming/ Webinar] on his results - register now!
 +
* Many congratulations to [http://sysos.eng.ox.ac.uk/wiki/index.php/User:Yang Dr Yang Zheng] (see also [https://zhengy09.github.io/ updated website]) who won the 2019 European PhD Award on Control for Complex and Heterogeneous Systems for his thesis [https://ora.ox.ac.uk/objects/uuid:dbf77067-15a0-446a-a909-f9d262e39821 "Chordal Sparsity in Control and Optimization of Large-scale Systems"]!
 +
<center>
 +
[[Image:EECI_zheng.png|x300px]]
 +
</center>
 +
*[http://cmsa.fas.harvard.edu/dynamics-and-randomness Workshop on Dynamics, Randomness, and Control in Molecular and Cellular Networks] Center for Mathematical Sciences and Applications, Harvard University, 12-14 November 2019.
 +
*[http://sysos.eng.ox.ac.uk/wiki/index.php/SynBioControl2019 International Workshop on Control Engineering and Synthetic Biology], Worcester College, Oxford, 9-11 September 2019.
 +
* [https://chi.bio Chi.bio] is released!
 +
<center>
 +
[[Image:chibiofull.jpg|x300px]]
 +
</center>
 +
* Workshop on `New Vistas in computational systems and synthetic biology', May 2019, Vigo, Spain.
 +
* [http://sysos.eng.ox.ac.uk/wiki/index.php/User:Antonis Antonis Papachristodoulou] is elevated to IEEE Fellow for his fundamental contributions to theory and applications of Sum of Squares Programming and networked control systems. 
 +
<center>
 +
[[Image:IMG_6863.JPG|x300px]]
 +
</center>
 +
* [https://control.ee.ethz.ch/news-and-events/vic.html Workshop on Vistas in Control at ETHZ], September 10-11, 2018.
 +
*[https://mbi.osu.edu/event/?id=1063 MBI Workshop on Control of Cellular and Molecular Systems], Mathematical Biosciences Institute, 2-6 October 2017.
 +
*[http://sysos.eng.ox.ac.uk/wiki/index.php/SynBioControl2017 International Workshop on Control Engineering and Synthetic Biology. What next?], Prince Philip House, London, 17-18 July 2017.
 +
* [http://sysos.eng.ox.ac.uk/wiki/index.php/User:Prescott Thomas Prescott] is awarded the [http://www.eeci-institute.eu/index.php?p=PhD-Award 2015 European PhD Award] for the Control of Complex and Heterogeneous networks for his thesis [http://sysos.eng.ox.ac.uk/wiki/images/a/aa/TPP_Thesis.pdf Large-Scale Layered Systems and Synthetic Biology: Model Reduction and Decomposition].
 +
<center>
 +
[[Image:tom_award.jpg|x300px]]
 +
</center>
 +
* Richard Mason and Antonis Papachristodoulou are awarded the [http://a2c2.org/awards/o-hugo-schuck-best-paper-award O. Hugo Schuck Best Paper Award] for their 2014 ACC paper on [[Media:ACCPaperFinalRM3.pdf|Chordal Sparsity, Decomposing SDPs and the Lyapunov Equation]].
 +
<center>
 +
[[Image:Richard_Hugo.png|x300px]]
 +
</center>
 +
* Antonis Papachirstodoulou is awarded the 2015 [http://www.euca-control.org/eca.html European Control Award] and will be giving a plenary at the [http://www.ecc15.at/ 2015 European Control Conference].
 +
<center>
 +
[[Image:Antonis_award.jpg|x300px]]
 +
</center>
 +
* [http://necsys2015.seas.upenn.edu/ 5th IFAC Workshop on Distributed Estimation and Control in Networked Systems], Philadelphia, 10-11 September 2015.
 +
* Antonis Papachristodoulou awarded an [http://www.epsrc.ac.uk/newsevents/news/engineeringfellowship/ EPSRC Fellowship for Growth in Synthetic Biology].
 +
* Richard Mason's paper '''Chordal Sparsity, Decomposing SDPs and the Lyapunov Equation''' has received the best student paper award at the 2014 American Control Conference. Download the PDF [[Media:ACCPaperFinalRM3.pdf|here]].
 +
<center>
 +
[[Image:mason_award.jpg|x300px]] [[Image:Rich2.png|x300px]]
 +
</center>
 +
*[http://sysos.eng.ox.ac.uk/control/sysos/index.php/Workshop_on_Control_Engineering_and_Synthetic_Biology A workshop on Control Engineering and Synthetic Biology], Worcester College, Oxford, 10-12 September 2014.
 +
* [http://wisb.warwick.ac.uk Towards Next Generation Synthetic Biology]: 21-22 November 2013, Warwick, UK.
 +
*[http://www.ru.is/kennarar/sigurdurh/workshop.html Workshop on Algorithms for Dynamical Systems and Lyapunov Functions]: 17 July -19 July 2013, Reykjavík, Iceland.
 +
*[http://www.mathematik.tu-dortmund.de/lsviii/new/de/veranstaltungen/oberwolfach2013.html Oberwolfach Workshop on Structured function systems and applications]: 24 February - 3 March 2013, TU Dortmund, Germany.
 
*[http://cnls.lanl.gov/smartgrids Optimization and Control for Smart Grids]: 21-25 May 2012, Santa Fe, New Mexico, USA.
 
*[http://cnls.lanl.gov/smartgrids Optimization and Control for Smart Grids]: 21-25 May 2012, Santa Fe, New Mexico, USA.
'''Previous Events:'''
 
 
*[http://www2.warwick.ac.uk/fac/sci/sbdtc/ Warwick Systems Biology DTC Annual Conference]: 27-29 July 2011, Stratford Apon Avon, UK.
 
*[http://www2.warwick.ac.uk/fac/sci/sbdtc/ Warwick Systems Biology DTC Annual Conference]: 27-29 July 2011, Stratford Apon Avon, UK.
 
*[http://sysos.eng.ox.ac.uk/control/RoSBNet/index.php/Third_RoSBNet_Workshop Third RoSBNet Workshop]: 20-22 July 2011, St Annes' College, University of Oxford.
 
*[http://sysos.eng.ox.ac.uk/control/RoSBNet/index.php/Third_RoSBNet_Workshop Third RoSBNet Workshop]: 20-22 July 2011, St Annes' College, University of Oxford.
Line 78: Line 159:
 
* [http://www.math.tamu.edu/~sottile/conferences/Banff06/06w5060.html Banff Workshop]: Positive Polynomials and Optimization, 7-12 October, 2006, Banff International Research Station, Banff, Canada
 
* [http://www.math.tamu.edu/~sottile/conferences/Banff06/06w5060.html Banff Workshop]: Positive Polynomials and Optimization, 7-12 October, 2006, Banff International Research Station, Banff, Canada
 
* [http://www.aimath.org/ARCC/workshops/matrixineq.html ARCC Workshop]: Theory and Algorithms of Linear Matrix Inequalities, 1-5 August 2005, American Institute of Mathematics, Palo Alto, California.
 
* [http://www.aimath.org/ARCC/workshops/matrixineq.html ARCC Workshop]: Theory and Algorithms of Linear Matrix Inequalities, 1-5 August 2005, American Institute of Mathematics, Palo Alto, California.
 +
 +
== Joining SySOS ==
 +
 +
* If you are an Oxford undergraduate interested in doing a summer internship on any of the above research directions (or anything else) [mailto:antonis@eng.ox.ac.uk get in touch].
 +
 +
* If you are finishing your undergraduate/masters degree and you want to apply for a DPhil (PhD) or MSc by Research in our group, then please [mailto:antonis@eng.ox.ac.uk contact us] sooner than later to discuss possible projects. Note that there are several [http://www.cdt.ox.ac.uk Centres of Doctoral Training] that are relevant to our research, especially the [https://www.biodtp.ox.ac.uk/ Interdisciplinary Bioscience DTP] as well as the [http://www.eng.ox.ac.uk/aims EPSRC CDT in Autonomous Intelligent Machines and Systems]. 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 [http://www.eng.ox.ac.uk/admissions/postgraduate Postgraduate Admissions] guidelines.
 +
 +
* Any PDRA openings will be advertised on the [http://www.eng.ox.ac.uk/about-us/jobs departmental website]. None are available now.
 +
 +
* There are several other routes for joining SySOS, mainly through fellowships. Please [mailto:antonis@eng.ox.ac.uk contact us] to discuss.
  
 
== Previous Members ==
 
== Previous Members ==
 +
 +
* [http://sysos.eng.ox.ac.uk/control/sysos/index.php/User:Carolin Ms Carolin Schulte] - DPhil student, July 2018- November 2021. Co-supervised with Professor Philip Poole.
 +
 +
* [http://sysos.eng.ox.ac.uk/control/sysos/index.php/User:Boon Mr Boon Lim] - DPhil student, October 2018- November 2021. Co-supervised with Professor Wei Huang.
 +
 +
* [http://sysos.eng.ox.ac.uk/control/sysos/index.php/User:Licio Mr Licio Romao] - DPhil student, October 2017 - September 2021. Co-supervised with Professor Kostas Margellos.
 +
 +
* [https://www.plants.ox.ac.uk/people/hayley-knights Ms Hayley Knights] - Research Associate, Apr - Sep 2021
 +
 +
* [http://sysos.eng.ox.ac.uk/control/sysos/index.php/User:Harry Dr Harrison Steel] - DPhil student, October 2016-June 2019. PDRA, June 2019- September 2020.
 +
 +
* [https://michaelschaub.github.io/ Dr Michael Schaub] - Marie Skłodowska Curie Fellow, July 2017 - June 2020
 +
 +
* [http://sysos.eng.ox.ac.uk/control/sysos/index.php/User:Rob Dr Robert Habgood] - PDRA, October 2019 - July 2020
 +
 +
* [https://sites.google.com/site/aivarsootla/ Dr Aivar Sootla] - Post-Doctoral Research Associate, September 2016-June 2019.
 +
 +
* [http://sysos.eng.ox.ac.uk/control/sysos/index.php/User:JSB Mr James Scott-Brown] ([http://sysos.eng.ox.ac.uk/tebio/ project page], [http://www.jamesscottbrown.com personal site])- DPhil Candidate, October 2014-October 2018. Co-supervised with Dr Jonathan David (dstl).
 +
 +
* [http://sysos.eng.ox.ac.uk/control/sysos/index.php/User:Yang Mr Yang Zheng] - DPhil Student, October 2015 - March 2019
 +
 +
* [http://sysos.eng.ox.ac.uk/control/sysos/index.php/User:Nick Dr Nicolas Delalez] - Post-Doctoral Research Associate, January 2016 - January 2019.
 +
 +
* [http://sysos.eng.ox.ac.uk/control/sysos/index.php/User:Axel Dr Axel Nystr&ouml;m] - DPhil Student, October 2013-2018. Co-supervised with Dr Andrew Angel.
 +
 +
* [http://sysos.eng.ox.ac.uk/control/sysos/index.php/User:Ciaran Dr Ciar&aacute;n Kelly] - Post-Doctoral Research Associate, December 2017-April 2018
 +
 +
* [http://sysos.eng.ox.ac.uk/control/sysos/index.php/User:Folliard Dr Thomas Folliard] - DPhil student, 2013-2017. Co-supervised with Professor Judith Armitage.
 +
 +
* [http://sysos.eng.ox.ac.uk/control/sysos/index.php/User:Andreas Dr Andreas Harris] - DPhil student, 2013-2017.
 +
 +
* [http://sysos.eng.ox.ac.uk/control/sysos/index.php/User:Dhruva Dr Dhruva Raman] - DPhil student, 2013-2017. Co-supervised with Dr James Anderson
 +
 +
* [http://sysos.eng.ox.ac.uk/control/sysos/index.php/User:mohamadreza Dr Mohamadreza Ahmadi] - DPhil student, 2013-2016. Co-supervised with Dr Giorgio Valmorbida.
 +
 +
* [http://sysos.eng.ox.ac.uk/control/sysos/index.php/User:James_Anderson Dr James Anderson] DPhil student, 2008 - 2011, Post-Doctoral Research Associate 2011-2012, Junior Research Fellow, 2012-2016.
 +
 +
* [http://sysos.eng.ox.ac.uk/control/sysos/index.php/User:Prescott Dr Thomas P. Prescott] - DPhil student, 2011 - 2015, Post-Doctoral Research Associate, 2015-2016
 +
 +
* [http://sysos.eng.ox.ac.uk/control/sysos/index.php/User:Richard Dr Richard P. Mason] - DPhil student, 2011-2016
 +
 +
* [http://sysos.eng.ox.ac.uk/control/sysos/index.php/User:Xuan Dr Xuan Zhang] - DPhil student, October 2011-2015
 +
 +
* [http://sysos.eng.ox.ac.uk/control/sysos/index.php/User:Giorgio Dr Giorgio Valmorbida] - Post-Doctoral Research Associate, 2013-2015
 +
 +
* [http://sysos.eng.ox.ac.uk/control/sysos/index.php/User:Edward Dr Edward Hancock] - Post-Doctoral Research Associate, 2013 - 2015
  
 
* [http://sysos.eng.ox.ac.uk/control/sysos/index.php/User:Bing.Chu Dr Bing Chu] - Postdoctoral Research Assistant, June 2010-March 2012
 
* [http://sysos.eng.ox.ac.uk/control/sysos/index.php/User:Bing.Chu Dr Bing Chu] - Postdoctoral Research Assistant, June 2010-March 2012
Line 87: Line 224:
 
* [http://melykuti.web.elte.hu/official.htm Dr Bence Mélykúti], DPhil, co-supervised with Professor Alison Etheridge, Department of Statistics, January 2008-February 2011.
 
* [http://melykuti.web.elte.hu/official.htm Dr Bence Mélykúti], DPhil, co-supervised with Professor Alison Etheridge, Department of Statistics, January 2008-February 2011.
  
* [http://sysos.eng.ox.ac.uk/control/RoSBNet/index.php/User:Aoh123 Dr Abdullah Hamadeh], March 2009 - October 2009
+
* [http://www.math.uwaterloo.ca/~ahamadeh/ Dr Abdullah Hamadeh], March 2009 - October 2009
  
 
* Miss Nassia Inglessis, September 2009 - October 2009
 
* Miss Nassia Inglessis, September 2009 - October 2009
Line 96: Line 233:
  
 
* [http://sysos.eng.ox.ac.uk/control/sysos/index.php/User:August Dr Elias August], October 2007 - December 2008
 
* [http://sysos.eng.ox.ac.uk/control/sysos/index.php/User:August Dr Elias August], October 2007 - December 2008
 
== Completed Projects ==
 
 
* [http://sysos.eng.ox.ac.uk/control/RoSBNet RoSBNet: Network in Synthetic Biology.]
 
 
* European Space Agency project with GMV (Spain), NGC (Canada) and the University of Leicester, "Worst-Case and Safety Analysis Tools for Autonomous Rendezvous Systems".
 
 
* [http://sysos.eng.ox.ac.uk/control/sysos/index.php/Chemotaxis_in_Rhodobacter_sphaeroides:_A_Feasibility_Study Control Theory Tools for Elucidating the Phosphotransfer Network in ''Rhodobacter sphaeroides'': A Feasibility Study]
 
<!--* [http://www.eng.ox.ac.uk/control/sysos/index.php/Project_page Project page <i>Restricted Access</i>]-->
 
 
* Oxford-Princeton Collaboration on Network Science with [http://www.princeton.edu/~chiangm/ Professor Mung Chiang.]
 
  
 
== Useful Links ==
 
== Useful Links ==
  
 
* [http://www.eng.ox.ac.uk/control Engineering Science Control Group]
 
* [http://www.eng.ox.ac.uk/control Engineering Science Control Group]
 
* [http://www.sysbio.ox.ac.uk/ Oxford Centre for Integrative Systems Biology]
 
  
 
* [http://www.dtc.ox.ac.uk/ Doctoral Training Centres]
 
* [http://www.dtc.ox.ac.uk/ Doctoral Training Centres]

Latest revision as of 12:17, 5 July 2022


Welcome to SySOS


A group researching complex networked control systems, biological and technological



Group 2019.jpg

Research Interests

Our group develops tools and algorithms for the analysis and design of feedback control in biological and technological systems and applies them in a range of areas, from Synthetic Biology to fluid mechanics. In particular, we have been developing theory to understand how nonlinear networked systems (System of Systems) operate how to design control laws for them, using computational tools based on the Sum of Squares (SOS) decomposition and Semidefinite Programming (SDP). We have been applying this theory to understand and (re)design biological systems (Systems and Synthetic Biology) but also to analyse and design control laws for fluid flows, robust synchronization, multi-agent system consensus, smart power networks, the robustness of (deep) neural network controllers and congestion control for the Internet. Here is a short summary of the areas we work on - please follow the links below for more details.

  • 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, as well as switched/hybrid systems. Of current interest is how to scale these tools to handle much more complicated and richer system descriptions, of higher dimension (see also point below, on scaling SDP/SOS methods).
  • Systems and Synthetic Biology. We collaborate closely with groups in Engineering Science (Professors Wei Huang and Harrison Steel) and Biology (Professor Philip Poole) and other institutions 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.
  • 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/Smart grid. 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. We are also using a Sum of Squares approach for the stability analysis and control design of systems described by Partial Differential Equations.
  • Complexity reduction of networked systems. We are investigating methods based on model decomposition and reduction to facilitate computational analysis and identification of large-scale and nonlinear systems. Systems of interest include biochemical reaction networks, power systems and consensus networks.
  • Scaling Sum of Squares and Semidefinite Programming. We are using sparsity- and symmetry-exploiting algorithms for improving the scalability of semidefinite programming, including the development of software (such as CDCS) to implement relevant operator-splitting algorithms.
  • Robust analysis and design of (deep) neural network controllers. We are using tools from traditional and modern control theory for the analysis and design of (deep) neural network controllers used in (deep) reinforcement learning.

Current Members

  • Mr Patrick Green - DPhil candidate, July 2019-. Co-supervised with Professor Philip Poole.
  • Mr Emmanouil Alexis - DPhil Candidate, October 2019 -. Co-supervised with Professor Luca Cardelli.
  • Mr Miroslav Gasparek - DPhil Candidate, October 2019 -. Co-supervised with Professor Harrison Steel.
  • Mr Han Wang - DPhil Candidate, October 2020 -. Co-supervised with Professor Kostas Margellos.
  • Mr Scott Stacey - Probationary Research Student, July 2021 -. Co-supervised with Professor Harrison Steel.
  • Mr Bergthor Traustason - Probationary Research Student, July 2021 -. Co-supervised with Professor Philip Poole.
  • Mr Liqun Zhao - Probationary Research Student, October 2021 -. Co-supervised with Dr Konstantinos Gatsis.

Current and Previous Externally Funded 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".

Collaborations

News

EECI zheng.png

Chibiofull.jpg

  • Workshop on `New Vistas in computational systems and synthetic biology', May 2019, Vigo, Spain.
  • Antonis Papachristodoulou is elevated to IEEE Fellow for his fundamental contributions to theory and applications of Sum of Squares Programming and networked control systems.

IMG 6863.JPG

Tom award.jpg

Richard Hugo.png

Antonis award.jpg

Mason award.jpg Rich2.png

Joining SySOS

  • If you are an Oxford undergraduate interested in doing a summer internship on any of the above research directions (or anything else) get in touch.
  • There are several other routes for joining SySOS, mainly through fellowships. Please contact us to discuss.

Previous Members

  • Ms Carolin Schulte - DPhil student, July 2018- November 2021. Co-supervised with Professor Philip Poole.
  • Mr Boon Lim - DPhil student, October 2018- November 2021. Co-supervised with Professor Wei Huang.
  • Mr Licio Romao - DPhil student, October 2017 - September 2021. Co-supervised with Professor Kostas Margellos.
  • Dr Harrison Steel - DPhil student, October 2016-June 2019. PDRA, June 2019- September 2020.
  • Dr Aivar Sootla - Post-Doctoral Research Associate, September 2016-June 2019.
  • Dr Axel Nyström - DPhil Student, October 2013-2018. Co-supervised with Dr Andrew Angel.
  • Dr Thomas Folliard - DPhil student, 2013-2017. Co-supervised with Professor Judith Armitage.
  • Dr Dhruva Raman - DPhil student, 2013-2017. Co-supervised with Dr James Anderson
  • Dr James Anderson DPhil student, 2008 - 2011, Post-Doctoral Research Associate 2011-2012, Junior Research Fellow, 2012-2016.
  • 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.
  • Miss Nassia Inglessis, September 2009 - October 2009
  • Mr Christoph Maier, April 2009 - July 2009

Useful Links