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
NRL clarifies valley polarization for electronic and optoelectronic technologies
20.10.2017 | Naval Research Laboratory
Integrated lab-on-a-chip uses smartphone to quickly detect multiple pathogens
19.10.2017 | University of Illinois College of Engineering
University of Maryland researchers contribute to historic detection of gravitational waves and light created by event
On August 17, 2017, at 12:41:04 UTC, scientists made the first direct observation of a merger between two neutron stars--the dense, collapsed cores that remain...
Seven new papers describe the first-ever detection of light from a gravitational wave source. The event, caused by two neutron stars colliding and merging together, was dubbed GW170817 because it sent ripples through space-time that reached Earth on 2017 August 17. Around the world, hundreds of excited astronomers mobilized quickly and were able to observe the event using numerous telescopes, providing a wealth of new data.
Previous detections of gravitational waves have all involved the merger of two black holes, a feat that won the 2017 Nobel Prize in Physics earlier this month....
Material defects in end products can quickly result in failures in many areas of industry, and have a massive impact on the safe use of their products. This is why, in the field of quality assurance, intelligent, nondestructive sensor systems play a key role. They allow testing components and parts in a rapid and cost-efficient manner without destroying the actual product or changing its surface. Experts from the Fraunhofer IZFP in Saarbrücken will be presenting two exhibits at the Blechexpo in Stuttgart from 7–10 November 2017 that allow fast, reliable, and automated characterization of materials and detection of defects (Hall 5, Booth 5306).
When quality testing uses time-consuming destructive test methods, it can result in enormous costs due to damaging or destroying the products. And given that...
Using a new cooling technique MPQ scientists succeed at observing collisions in a dense beam of cold and slow dipolar molecules.
How do chemical reactions proceed at extremely low temperatures? The answer requires the investigation of molecular samples that are cold, dense, and slow at...
Scientists from the Max Planck Institute of Quantum Optics, using high precision laser spectroscopy of atomic hydrogen, confirm the surprisingly small value of the proton radius determined from muonic hydrogen.
It was one of the breakthroughs of the year 2010: Laser spectroscopy of muonic hydrogen resulted in a value for the proton charge radius that was significantly...
17.10.2017 | Event News
10.10.2017 | Event News
10.10.2017 | Event News
20.10.2017 | Information Technology
20.10.2017 | Materials Sciences
20.10.2017 | Interdisciplinary Research