Presence of nonlinear dynamics both over continuous and discrete variables. local and volatile renewables generation, and 2. These systems present heterogeneity and complexity coming from 1. Among other advantages, microgrids have shown positive effects over the reliability Smart microgrids are small-scale versions of centralized electricity systems, which locally generate, distribute, and regulate Visual prolog expression is used when a formula is expected verification#Prerequisites: Familiarity with stochastic processes and formal verificationĪutomated verification of complex systems in the energy sector That are directly applicable to general SHS models, while being computationally scalable.Ĭourses: Computer-Aided Formal Verification, Probabilistic Model Checking, Probability and Computing, Automata Logic and In this project, we plan to investigate and develop new analysis and verification techniques (e.g., based on abstractions) Predisposed to model such heterogeneous systems. In models of biological entities) advocate the use of a mathematical framework, such as that of SHS, which is structurally Industrial systems), the effect of uncertainty (e.g., in safety-critical air-traffic systems), or both occurrences (e.g., In a number of practical instances the presence of a discrete number of continuously operating modes (e.g., in fault-tolerant Generality and for their applicability to a wealth of studies in the Sciences and in Engineering. With interleaved and interacting continuous and discrete components.įormal analysis, verification, and optimal control of SHS models represent relevant goals because of their theoretical Stochastic Hybrid Systems (SHS) are dynamical models that are employed to characterize the probabilistic evolution of systems 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. Visual prolog expression is used when a formula is expected registration#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. Visual prolog expression is used when a formula is expected how to#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.
0 Comments
Leave a Reply. |
AuthorWrite something about yourself. No need to be fancy, just an overview. ArchivesCategories |