visual prolog expression is used when a formula is expected

Prerequisites: Computer-Aided Formal Verification, Probabilistic Model CheckingĪnalysis and verification of stochastic hybrid systems This project will provide extensions of this recent research. In safe conditions and to avoid load shedding. Realistic abstraction, and quantitatively indicate that heterogeneity is necessary to enable the overall network to function Analysis and simulations of the model show that it is a Generator, accounting for both inertia and frequency regulation. We employ Markov models to represent the aggregatedīehaviour of the population, while the rest of the network (and its associated consumption) is modelled as a single equivalent

This work investigates the behaviour ofĪ large, heterogeneous population of photovoltaic panels connected to the grid. Impact on the global network, particularly in the case of synchronised behaviour.

Sources affect the network in a distributed manner: whilst each unit has little influence, a large population can have a significant The increased relevance of renewable energy sources has modified the behaviour of the electrical grid. Project writing handbook Sample projects 3rd year 4th year List of projects Suitable forĪrtificial Intelligence and Machine Learning, Automated Verification Tuesday of Week -5 (minus 5), Michaelmas Term Submission deadline for your project proposal. Your online project registration survey must be completed. If you have any requests, please contact the Head of Academic Administration. Limited equipment is available for use in projects, namely LEAP equipment. Please don't contact potential supervisors outside this window. You will be expected to make arrangements with potential supervisors between weeks 5 and 7 in Hilary Term, for project work for the following year. You are welcome to choose one of the projects on the list, or approach a potential supervisor and negotiate your own topic. On this site, you will also find a sortable and searchable list of projects and potential supervisors.

We have put together a brief guidance document on how to do it please click on the link below. This is your chance to work on your own project, something that interests and inspires you. Mathematics & Computer Science undergraduates are required to undertake a Computer Science project or a Mathematics dissertation in their fourth year.Ĭomputer Science & Philosophy undergraduates may choose to undertake a Computer Science project or a Philosophy thesis in their fourth year. Fourth years of the Final Honour School of Computer Science, and students for the MSc in Computer Science are required to undertake a project. Undergraduate students in the third year of the Final Honour School of Computer Science may undertake a project.

Visual prolog expression is used when a formula is expected