The Centre for Interdisciplinary Computational And Dynamical Analysis (CICADA - pronounced SIKARDA) - which brings together computer scientists, mathematicians and engineers - is being established with a £1.75 million grant from the Engineering and Physical Sciences Research Council (EPSRC).
Researchers are aiming to develop new fundamental knowledge and techniques, which in the long-term could be applied in many different areas, including flight controllers in aircraft and car safety systems.
The work will focus on systems in which there are complex interactions between components that switch discretely and other components that change continuously.
Techniques developed by computer scientists to make sure computer programmes work correctly - particularly important in safety critical situations - cannot be used in these systems due to the element of continuous change.
Modern society is relying increasingly on computer microprocessors in circumstances where failure might result in loss of life.
But academics say there is still a major gap between designs that humans are prepared to trust with their lives and those based on the most technically advanced solutions.
Professor David Broomhead from The School of Mathematics said: "In situations of life and death, we have little confidence in technically advanced digital systems due to their complexity and the lack of appropriate testing tools.
"Whenever an embedded computer system in something like an Electronic Stability Control (ESC) system in a car has to interact with the real world, we have what is known as a hybrid system."
Dr Jonathan Shapiro from The School of Computer Science said: "With a digital system it is, in theory at least, possible to list and therefore test all of the states it can be found in.
"But when a digital system begins to interact with the real world this is no longer the case and so new techniques must be devised that will allow us to predict the behaviour and test the design.
"Techniques developed in mathematics to predict the time course of continuous systems and the errors in the prediction, break down due to the discrete aspect of these systems."
CICADA will bring together pure and applied mathematicians, computer scientists, control theory engineers and even biologists, to work on this difficult but academically interesting and vital area.
The functionality of many biological systems involves the interaction of discrete and continuous processes.
Discrete state changes in the brain and cells are triggered by continuous changes in chemical concentrations. In biological systems there are generally many of these processes interacting in large complex science networks and these are hard to analyse using mathematical or computer science approaches that currently exist.
CICADA aims to attract internationally renowned scientists and create a focus for research activity and training for the next generation.
A feature of the Centre will be its operating model. It will focus on fostering a strong interaction between industry - where many of the hard problems are brought into sharpest focus - and academia, which has a wide range of new mathematical and computational techniques that can be applied.
The Centre will involve researchers and academics from the schools of Computer Science, Mathematics, Electrical and Electronic Engineering and The Faculty of Life Sciences.
Jon Keighren | alfa
Lego-like wall produces acoustic holograms
17.10.2016 | Duke University
New evidence on terrestrial and oceanic responses to climate change over last millennium
11.10.2016 | University of Granada
Ultrafast lasers have introduced new possibilities in engraving ultrafine structures, and scientists are now also investigating how to use them to etch microstructures into thin glass. There are possible applications in analytics (lab on a chip) and especially in electronics and the consumer sector, where great interest has been shown.
This new method was born of a surprising phenomenon: irradiating glass in a particular way with an ultrafast laser has the effect of making the glass up to a...
Terahertz excitation of selected crystal vibrations leads to an effective magnetic field that drives coherent spin motion
Controlling functional properties by light is one of the grand goals in modern condensed matter physics and materials science. A new study now demonstrates how...
Researchers from the Institute for Quantum Computing (IQC) at the University of Waterloo led the development of a new extensible wiring technique capable of controlling superconducting quantum bits, representing a significant step towards to the realization of a scalable quantum computer.
"The quantum socket is a wiring method that uses three-dimensional wires based on spring-loaded pins to address individual qubits," said Jeremy Béjanin, a PhD...
In a paper in Scientific Reports, a research team at Worcester Polytechnic Institute describes a novel light-activated phenomenon that could become the basis for applications as diverse as microscopic robotic grippers and more efficient solar cells.
A research team at Worcester Polytechnic Institute (WPI) has developed a revolutionary, light-activated semiconductor nanocomposite material that can be used...
By forcefully embedding two silicon atoms in a diamond matrix, Sandia researchers have demonstrated for the first time on a single chip all the components needed to create a quantum bridge to link quantum computers together.
"People have already built small quantum computers," says Sandia researcher Ryan Camacho. "Maybe the first useful one won't be a single giant quantum computer...
14.10.2016 | Event News
14.10.2016 | Event News
12.10.2016 | Event News
25.10.2016 | Earth Sciences
25.10.2016 | Power and Electrical Engineering
25.10.2016 | Process Engineering