Welcome page of Dr. Valeriy Vyatkin

Book on
IEC 61499 Function Blocks

HoloMAS'2007 Book

Click HERE for the German version of the announcement, or HERE for the English version!

Valeriy Vyatkin

Associate Professor, Dr Ing habil (DE), Dr Sci (RU), Dr Eng(JP), Cand Sci (RU) Research Industrial Informatics and Intelligent Mechatronics: applications of distributed intelligent control in Material Handling, SmartGrid, Smart Homes, Manufacturing, Logisitcs and Agriculture Software-intensive Industrial Automation, Holonics, Artificial Intelligence, Function blocks of IEC 61499 Verification of Automation Systems with Formal Methods, Modelling and Simulation Software tools, Software engineering, Compilers and Embedded targets
Industrial Informatics Research Group
MITRAlab: infoMechatronics & IndusTRial Automation laboratory
Research areas
Highlights of recent projects

My Publications and Citations of my works
Publications on SmartGrid intelligent automation Publications related to Intelligent Automation of Airport Baggage Handling systems and Material Handling Systems Publications related to Formal Methods in Automation Systems Design and Verification Book: "Function Blocks for Embedded and Distributed Control Systems Design" Second Edition in October 2011!
My recent presentations: "Is IEC 61499 a new IEC 61131-3?", Automation Day Franken, Nuremberg, Grmany, October 17, 2011 <--DOWNLOAD PRESENTATION SLIDES <See also link in press> "Argument in favour of IEC 61499: System level design of automation systems" , ETFA 2011 Industry Day presentation "SmartGrid is greater than smart grid", International Energy Conference «Technological Basis for Creation of Russia’s New Energy», Skolkovo, November 26, 2010 (short talk outline in Russian is here) On SmartGrid resilience at NSF RESIN Workshop (December 2009, Washington, USA) (the workshop link is here) Causality analysis using model checking (Paris, November 2009)
Software Tools
Visual Verification framework for Distributed Embedded Control Systems Software Tools for Formal Verification (Model - checkers) FBench - Open Source Tool for IEC 61499 Function Block Design

Teaching

Future Events and on-going Activities

IEC 61499 Day at SPS/IPC/Drives Fair at Nuremberg, 23rd of November, 2011 <GERMAN VERSION>

Special session on "SmartGrid ICT", 37th Annual Conference of the IEEE Industrial Electronics Society (IECON'11), Melbourne, Australia, November 7-10, 2011

Special section on "Software Engineering in Factory and Energy Automation", IEEE Transactions on Industrial Informatics, Submission deadline: 15 December, 2011

Special Section of IFAC & Elsevier Journal "Control Engineering Practice" on "Advanced Software Engineering in Industrial Automation" to be published in 2011

IEC Working Group on IEC 61499: Semantics improvement suggestions

OOONEIDA Workgroup on Compliance Profile on Execution Models of IEC 61499 Function Block Applications