Modelling and Analysis of Complex Systems
The Modelling and Analysis of Complex Systems research group
brings together colleagues who were previously members of the
Applied Formal Methods, Communications and Services and Mathematical
Biology groups. It was formed in 2013 to take
advantage of the collaborations that were already taking place between
members of these groups and to encourage more
opportunities for communication between a group of researchers who have
distinct but complementary modelling skills
and some common application areas.
The main aim of the group is to develop novel methods of modelling and
analysis in order to solve important problems
which have impact in the real world. Whilst members work on a wide range
of systems, they can be classified into two
main applications areas: biological systems and communication systems.
Current and Recent Visitors
- Dr Nandadulal Bairagi, Jadavpur University, India
- Prof Angel Calsina, Universitat Autonoma de Barcelona, Spain
- Dr Rune Fensli, University of Agder, Norway
- Dalila Hamami University of Mostagamen
- Dr Peter Hinow, University of Wisconsin, USA
- Dr Nick Taylor, CEFAS, Weymouth
Research Group Meetings 2015
Group meetings take place at 1pm in room
4B108, this year's
will take place on 14th and 28th January, 11th and 25th February, 11th
and 25th March, 8th and 22rd April, 6th and
20th May, 3rd and 17th June, 1st, 15th and 29th July, 12th and 26th
August, 9th and 23rd September, 7th and 21st
October, 4th and 18th November, 2nd and 16th December.
Applying Formal methods to design models of biological systems:
Our collaboration with evolutionary computation experts is focussed on
computing resources to relieve the modeller of some of the hard work of
identifying the right model by automatically constructing the model for
them to fit the given experimental data. This frees the modeller up to
concentrate on more subtle aspects of modelling, and analysis.
Formal modelling and analysis of E-Science, Web and Grid workflows for
automated verification, validation and implementation
Formal modelling and analysis of telecare services and sensor/actuator
fusion for automated verification, validation and implementation
Special Session 85: Transport processes in biology: Modelling and
analysis (co-organizer) The 10th AIMS Conference on
Dynamical Systems, Differential Equations and Applications, July 7-11,
2014, Madrid , Spain
The 2nd Scottish Partial Differential Equations Colloquium, 15-16 May
2014, ICMS, Edinburgh (co-organizer)
International Conference on Mathematical Methods and Models in
Biosciences and Young Scientists School, Sofia,
Bulgaria, June 22-27, 2014 (International Steering Committee member)
Current and Recent Projects
- Towards a Cognitive Vision-based Multi-agent Modelling and Control
Framework (co-I) British Council (China) grant for
a new 2-year (2013-15) joint-research project with Anhui University,
- MEDIC (Mathematical Explorations of Drug and Ionising radiation
combinations in Cancer therapy,
Our overarching plan is to develop a framework for mathematical
and computational modelling which can capture the synergistic,
spatio-temporal nature of an individual person and be used to recommend
and monitor healthcare interventions. EPSRC have funded a 3.5 year
project (Improving Patient Outcome by Integrating the Generic with the
Personal) to develop the
initial framework in the setting of glioma and cancer therapies.
- POEMS (Predictive mOdelling for hEalthcare technologies through
MathematicS): EPSRC have funded a UK network designed to drive and enable
multi-disciplinary collaborations in using modelling techniques to
address healthcare problems.
- DAMES (Data Management through E-Social Science,
www.dames.org.uk): Stirling and Glasgow, funded by ESRC, work on modelling and analysing e-science workflows.
- MATCH (Mobilising Advanced Technologies for Care at Home,
www.match-project.org.uk): Stirling, Dundee, Edinburgh and Glasgow, funded by SFC, work on modelling and analysing telecare services.
- EPSRC grant EP/H047379/1: Waiter there really is a computer in my soup and it's telephoning me! : Revealing invisible computers, Oct'10 -May'12.
- Inter-Life: Interoperability and Transition, ESRC funded grant Dec'08 - Nov'11.
- PAM project
(www.pam-research.org): Enabling health, independence and wellbeing for psychiatric patients through Personalised Ambient Monitoring. EPSRC funded. Oct'07 - Sept'10