Mobile and autonomous robots have an increasingly important role in industry and the wider society; from driverless vehicles to home assistance, potential applications are numerous. The UK government identified robotics as a key technology that will lead us to future economic growth (tinyurl.com/q8bhcy7). They have recognised, however, that autonomous robots are complex and typically operate in ever-changing environments (tinyurl.com/o2u2ts7). How can we be confident that they perform useful functions, as required, but are safe? It is standard practice to use testing to check correctness and safety. The software-development practice for robotics typically includes testing within simulations, before robots are built, and then testing of the actual robots. Simulations have several benefits: we can test early, and test execution is cheaper and faster. For example, simulation does not require a robot to move physically. Testing with the real robots is, however, still needed, since we cannot be sure that a simulation captures all the important aspects of the hardware and environment. In the current scenario, test generation is typically manual; this makes testing expensive and unreliable, and introduces delays. Manual test generation is error-prone and can lead to tests that produce the wrong verdict. If a test incorrectly states that the robot has a failure, then developers have to investigate, with extra cost and time. If a test incorrectly states that the robot behaves as expected, then a faulty system may be released. Without a systematic approach, tests may also identify infeasible environments; such tests cannot be used with the real robot. To make matters worse, manual test generation limits the number of tests produced. All this affects the cost and quality of robot software, and is in contrast with current practice in other safety-critical areas, like the transport industry, which is highly regulated. Translation of technology, however, is not trivial. For example, lack of a driver to correct mistakes or respond to unforeseen circumstances leads to a much larger set of working conditions for an autonomous vehicle. Another example is provided by probabilistic algorithms, which make the robot behaviour nondeterministic, and so, difficult to repeat in testing and more difficult to characterise as correct or not. We will address all these issues with novel automated test-generation techniques for mobile and autonomous robots. To use our techniques, a RoboTest tester constructs a model of the robot using a familiar notation already employed in the design of simulations and implementations. After that, instead of spending time designing simulation scenarios, the RoboTest tester, with the push of a button, generates tests. With RoboTest, testing is cheaper, since it takes less time, and is more effective, because the RoboTest tester can use many more tests, especially when using a simulation. To execute the tests, the RoboTest tester can choose from a few simulators employing a variety of approaches to programming. Execution of the tests also follows the push of a button. Yet another button translates simulation to deployment tests. So, the RoboTest tester can trace back the results from the deployment tests to the simulation and the original model. So, the RoboTest tester is in a strong position to understand the reality gap between the simulation and the real world. The RoboTest tester knows that the verdicts for the tests are correct, and understands what the testing achieves; for example, it can be guaranteed to find faults of an identified class. So, the RoboTest tester can answer the very difficult question: have we tested enough? In conclusion, RoboTest will move the testing of mobile and autonomous robots onto a sound footing. RoboTest will make testing more efficient and effective in terms of person effort, and so, achieve longer term reduced costs.

High Performance Embedded and Distributed Systems (HiPEDS), ranging from implantable smart sensors to secure cloud service providers, offer exciting benefits to society and great opportunities for wealth creation. Although currently UK is the world leader for many technologies underpinning such systems, there is a major threat which comes from the need not only to develop good solutions for sharply focused problems, but also to embed such solutions into complex systems with many diverse aspects, such as power minimisation, performance optimisation, digital and analogue circuitry, security, dependability, analysis and verification. The narrow focus of conventional UK PhD programmes cannot bridge the skills gap that would address this threat to the UK's leadership of HiPEDS. The proposed Centre for Doctoral Training (CDT) aims to train a new generation of leaders with a systems perspective who can transform research and industry involving HiPEDS. The CDT provides a structured and vibrant training programme to train PhD students to gain expertise in a broad range of system issues, to integrate and innovate across multiple layers of the system development stack, to maximise the impact of their work, and to acquire creativity, communication, and entrepreneurial skills. The taught programme comprises a series of modules that combine technical training with group projects addressing team skills and system integration issues. Additional courses and events are designed to cover students' personal development and career needs. Such a comprehensive programme is based on aligning the research-oriented elements of the training programme, an industrial internship, and rigorous doctoral research. Our focus in this CDT is on applying two cross-layer research themes: design and optimisation, and analysis and verification, to three key application areas: healthcare systems, smart cities, and the information society. Healthcare systems cover implantable and wearable sensors and their operation as an on-body system, interactions with hospital and primary care systems and medical personnel, and medical imaging and robotic surgery systems. Smart cities cover infrastructure monitoring and actuation components, including smart utilities and smart grid at unprecedented scales. Information society covers technologies for extracting, processing and distributing information for societal benefits; they include many-core and reconfigurable systems targeting a wide range of applications, from vision-based domestic appliances to public and private cloud systems for finance, social networking, and various web services. Graduates from this CDT will be aware of the challenges faced by industry and their impact. Through their broad and deep training, they will be able to address the disconnect between research prototypes and production environments, evaluate research results in realistic situations, assess design tradeoffs based on both practical constraints and theoretical models, and provide rapid translation of promising ideas into production environments. They will have the appropriate systems perspective as well as the vision and skills to become leaders in their field, capable of world-class research and its exploitation to become a global commercial success.

Graphene is a single layer of graphite just one atom thick. As a material it is completely new - not only the thinnest ever but also the strongest. It is almost completely transparent, yet as a conductor of electricity it performs as well or even better than copper. Since the 2010 Nobel Prize for Physics was awarded to UK researchers in this field, fundamental graphene research has attracted much investment by industry and governments around the world, and has created unprecedented excitement. There have been numerous proof-of concept demonstrations for a wide range of applications for graphene. Many applications require high quality material, however, most high quality graphene to date is made by exfoliation with scotch tape from graphite flakes. This is not a manufacturable route as graphene produced this way is prohibitively expensive, equivalent to £10bn per 12" wafer. For high quality graphene to become commercially viable, its price needs to be reduced to £30-100 per wafer, a factor of 100 million. Hence graphene production and process technology is the key bottleneck to be overcome in order to unlock its huge application potential. Overcoming this bottleneck lies at the heart of this proposal. Our proposal aims to develop the potential of graphene into a robust and disruptive technology. We will use a growth method called chemical vapour deposition (CVD) as the key enabler, and address the key questions of industrial materials development. CVD was the growth method that opened up diamond, carbon nanotubes and GaN to industrial scale production. Here it will be developed for graphene as CVD has the potential to give graphene over large areas at low cost and at a quality that equals that of the best exfoliated flakes. CVD is also a quite versatile process that enables novel strategies to integrate graphene with other materials into device architectures. In collaboration with leading industrial partners Aixtron UK, Philips, Intel, Thales and Selex Galileo, we will develop novel integration routes for a diverse set of near-term as well as future applications, for which graphene can outperform current materials and allows the use of previously impossible device form factors and functionality. We will integrate graphene for instance as a transparent conductor into organic light emitting diodes that offer new, efficient and environmentally friendly solutions for general lighting, including a flexible form factor that could revolutionize traditional lighting designs. We will also integrate graphene into liquid crystal devices that offer ultra high resolution and novel optical storage systems. Unlike currently used materials, graphene is also transparent in the infrared range, which is of great interest for many sensing applications in avionics, military imaging and fire safety which we will explore. Furthermore, we propose to develop a carbon based interconnect technology to overcome the limitations Cu poses for next generation microelectronics. This is a key milestone in the semiconductor industry roadmap. As a potential disruptive future technology, we propose to integrate graphene into so called lab-on-a-chip devices tailored to rapid single-molecule biosensing. These are predicted to revolutionize clinical analysis in particular regarding DNA and protein structure determination.

The Industrial Doctorate Centre in Molecular Modelling and Materials Science (M3S) at University College London (UCL) trains researchers in materials science and simulation of industrially important applications. As structural and physico-chemical processes at the molecular level largely determine the macroscopic properties of any material, quantitative research into this nano-scale behaviour is crucially important to the design and engineering of complex functional materials. The M3S IDC is a highly multi-disciplinary 4-year EngD programme, which works in partnership with a large base of industrial sponsors on a variety of projects ranging from catalysis to thin film technology, electronics, software engineering and bio-physics research. The four main research themes within the Centre are 1) Energy Materials and Catalysis; 2) Information Technology and Software Engineering; 3) Nano-engineering for Smart Materials; and 4) Pharmaceuticals and Bio-medical Engineering. These areas of research align perfectly with EPSRC's mission programmes: Energy, the Digital Economy, and Nanoscience through Engineering to Application. In addition, per definition an industrial doctorate centre is important to EPSRC's priority areas of Securing the Future Supply of People and Towards Better Exploitation. Students at the M3S IDC follow a tailor-made taught programme of specialist technical courses, as well as professionally accredited project management courses and transferable skills training, which ensures that whatever their first degree, on completion all students will have obtained thorough technical and managerial schooling as well as a doctoral research degree. The EngD research is industry-led and of comparable high quality and innovation as the more established PhD research degree. However, as the EngD students spend approximately 70% of their time on site with the industrial sponsor, they also gain first hand experience of the demanding research environment of a successful, competitive industry. Industrial partners who have taken up the opportunity during the first phase of the EngD programme to add an EngD researcher to their R&D teams include Johnson Matthey, Pilkington Glass, Exxon Mobil, Silicon Graphics, Accelrys and STS, while new companies are added to the pool of sponsors each year. Materials research in UCL is particularly well developed, with a thriving Centre for Materials Research and a newly established Materials Chemistry Centre. In addition, the Bloomsbury campus has perhaps the largest concentration of computational materials scientists in the UK, if not the world. Although affiliated to different UCL departments, all computational materials researchers are members of the UCL Materials Simulation Laboratory, which is active in advancing the development of common computational methodologies and encouraging collaborative research between the members. As such, UCL has a large team of well over a hundred research-active academic staff available to supervise research projects, ensuring that all industrial partners will be able to team up with an academic in a relevant research field to form the supervisory team to work with the EngD student. The success of the existing M3S Industrial Doctorate Centre and the obvious potential to widen its research remit and industrial partnerships into new, topical materials science areas, which are at the heart of EPSRC's strategic funding priorities for the near future, has led to this proposal for the funding of 5 annual cohorts of ten EngD students in the new phase of the Centre from 2009.

This research proposal is targeted at addressing the challenge of real-time metrology for control of flexible and reconfigurable technological plasma systems. Plasma technologies not only underpin many high-end multi-billion pound manufacturing industries of today, but also are critical elements for the invention of new devices of the future. A new revolution is underway in plasma processing; the 'ivy-bridge' 3-dimensional atomic layer nano-structures of Intel Corp. and new carbon-based supermaterials of Element Six have only just been realised. This opens up new horizons for inventions. Envisaged applications of next-generation plasma processing include manipulation of edge-bonds of single-layer graphene, low power biologically implanted chips as sensors or neuro-motive devices, innovative chemistry applications for biofuel synthesis and realisation of micro-batteries, flexible micro-electronics, fabrication of micro-electromechanical devices, as well as directly using plasmas for medicine, surgery and pharmacy. Realisation of all these critically depends on the development of new adaptable plasma processing techniques. As the industry transforms itself this is an exciting time. One critical bottleneck is the lack of adaptable process control. We propose a novel non-invasive sensor and virtual metrology concept to monitor substrate relevant parameters to enable real-time plasma tuning. This has developed from our pioneering research on the topic and recent discoveries. Our innovative sensor - pulse induced optical emission spectroscopy (PiOES) is analogous to laser induced fluorescence spectroscopy and will instead of a laser utilise a non-intrusive low voltage rapid nanosecond electronic pulse to generate similar excitation conditions in the plasma. Electron impact excitation will create transient excited states and through the subsequent optical fluorescence, and associated temporal fingerprint, distinct atoms and molecules can be identified. The power and sensitivity of the technique originates from exploiting both the energy dynamics as well as the population dynamics in the nonlinear plasma-surface interface (sheath) region. This will allow detection down to atomic layer defects within micron locality. The aim of our research programme is to develop and demonstrate our metrology technique in three extreme working environments: low pressure anisotropic plasma etching, synthetic diamond manufacturing, and atmospheric plasmas for medicine and pharmacy. We will demonstrate this metrology technique in full fabrication reactors and environments. This project is a collaboration between world-leaders in the field: The University of York, The University of Bristol, Intel Corp., Element Six, Andor Technology, Quantemol, Smith and Nephew, Hiden Analytical and Oxford Instruments. An advisory board, including leading members from a diverse range of companies and academia, has been installed to ensure industrial relevance and uptake as the project progresses.