Dr. Valeriy Vyatkin

My research interests

Industrial Internet of Things: System and Software Engineering

Software-intensive Industrial Automation, Holonics, Artificial Intelligence, Function blocks of IEC 61499, Service-oriented architectures, Software tools and Software engineering in Automation, Applications in Material Handling, SmartGrid, Smart Homes, Manufacturing, Logistics and Agriculture (Selected publications)

Internet of Energy

Automation of microgrids, substations, datacentres, district heating, etc., based on the Internet-like peer-to-peer collaboration architecture. (Roadmap and selected publications)

Verification of Automation Systems with Formal Methods, Modelling and Simulation

Testing and comprehensive verification of automation software (especially for complex distributed systems) using cyber-physical systems methods, formal modelling and exhaustive computational model-checking. (Selected publications)