BEGIN:VCALENDAR
VERSION:2.0
PRODID:-//University of Liverpool Computer Science Seminar System//v2//EN
BEGIN:VEVENT
DTSTAMP:20260416T202900Z
UID:Seminar-dept-1014@lxserverM.csc.liv.ac.uk
ORGANIZER:CN=Lutz Oettershagen:MAILTO:Lutz.Oettershagen@liverpool.ac.uk
DTSTART:20220915T130000
DTEND:20220915T140000
SUMMARY:School Seminar Series
DESCRIPTION:Dr. Sadegh Soudjani: Formal Abstractions for Safe Integration of Responsive Loads in Smart Grids\n\nIn this talk I will present two examples of using formal methods for modelling and design of smart grids to integrate the responsive loads including Smart Buildings, Electric Vehicles, and Energy Storage Systems, while ensuring safe operation of the grid. Due to their flexibility in providing services to occupants, Smart Buildings can potentially be engaged in power system services, such as load shifting and demand-response programs. The requirement in utilising such flexibility is the construction of models that accurately capture the time evolution of physical variables based on data gathered from the building. The continuous nature of physical variables, the discrete nature of digital controllers, and the presence of uncertainty originating from the environment and from the users’ behaviour, make the general framework of Stochastic Hybrid Systems (SHS) well-suited for modelling purpose.\n\n\n\nIn the first part of the talk I discuss analysis, verification, and controller synthesis of SHS models via formal abstractions. I present abstraction techniques that approximate the concrete SHS model with simpler abstract models, which are easier to analyse and to verify, and give a-priori guarantees on the approximation level. Properties of the abstract model (e.g. to guarantee user comfort in a Smart Building) that are expressed in certain logic can be verified via model checkers. Then I show how to employ the newly developed abstraction techniques to provide an aggregate model and to synthesise controllers for collection of Smart Buildings. The broadcast control scheme utilises the formal modelling approach to estimate the aggregate state based on conditional Kalman filter, which is then used to regulate the aggregate power consumption of the collection of buildings in a receding horizon fashion. As such, the control architecture does not require knowledge of the individual states of the buildings, but directly leverages the measurement of the total power consumption.\n\n\n\nIn the second part of the talk, I discuss how formal methods can be used for integrating a population of plug-in electric vehicles for frequency regulation of smart grids. I present the design of a novel symbolic controller to enhance the frequency response under a large outage event. The symbolic controller guarantees the frequency returns to a specified safe interval while satisfying other requirements utilising the flexibility of electric vehicles.\n\nhttps://www.csc.liv.ac.uk/research/seminars/abstract.php?id=1014
LOCATION:Ashton Lecture Theatre
END:VEVENT
END:VCALENDAR