# Smart Energy

The future is smart: smart meters, smart buildings, smart cities. This isn't science fiction: digital technologies integrated into everyday life will give us and our descendants an environmentally sustainable and comfortable life. Automation is key: devices capable of self-diagnosing faults and send reports to the maintenance team; offices able to decide the best environment needed for your work; cities that manage the power demand to allow only clean energy use.

Our research focuses on two aspects of this framework: building automation systems (aka Smart Buildings),  solar panels and smart metering.

• Building Automation Systems aim to deliver useful building services that are cost-effective, reliable and ensure occupant comfort and productivity (thermal quality, air comfort). Our aim is to develop and design a library of models using the knowledge garnered from data collected within the Smart Buildings Laboratory at the Department of Computer Science. From these models, we are developing a tool which controls the building automation system's performance, pro-actively detects faults and performs predictive maintenance actions in order to increase the life-span of the system.

• Solar panels are spreading worldwide, millions are installed on the European roofs. When the energy is not self-consumed, it is injected into the electric grid. Even if the contribution of a single panel is negligible, a large population can and will make the difference. Our objective is to build a model for the aggregation of devices in a network that spans the whole Europe and to design a control solution to ensure a reliable power network, avoid black-outs and provide guarantees of efficiency.

• Smart meters

Themes:  Automated Verification, Stochastic Hybrid Systems

Software:  FAUST$^2$, Benchmarks for BAS

Publications:

• .  2018.  IFAC Conference on Analysis and Design of Hybrid Systems.
• .  2017.  In Proceedings of the 4th International Conference on Systems for Energy-Efficient Built Environments.
• .  2017.  Quantitative Evaluation of Systems - 14th International Conference, {QEST} 2017, Berlin, Germany, September 5-7, 2017, Proceedings. :72–87.
• .  2017.  Perform. Eval.. 117:75–103.
• .  2017.  Energy and Buildings.
• .  2017.  Energy. 138:306-315.
• .  2016.  2016 European Control Conference, {ECC} 2016, Aalborg, Denmark, June 29 - July 1, 2016. :1159–1164.
• Abate A.  2016.  Numerical Software Verification - 9th International Workshop, {NSV} 2016, Toronto, ON, Canada, July 17-18, 2016, [collocated with {CAV} 2016], Revised Selected Papers. :1–14.

## CONTACT US

#### Oxford Control and Verification (OXCAV) Group

C/O Department of Computer Science

Wolfson Building, Parks Rd, Oxford OX1 3QD

T: +44 (0) 18656 10767

Education - This is a contributing Drupal Theme
Design by WeebPal.