book

HoloMAS

Valeriy Vyatkin, Dr Ing habil, Dr Sci

Senior Lecturer, Program Director of Software Engineering Research Industrial Informatics and Intelligent Mechatronics Software-intensive Industrial Automation, Holonics, Artificial Intelligence, Function blocks of IEC 61499 Verification of Automation Systems with Formal Methods, Modelling, Simulation Software tools, Software engineering, Compilers, Embedded targets Industrial Informatics is about application of information technologies in manufacturing, production, services and other industrial environments. Industrial Informatics spans across a number of disciplines such as Software Engineering and Computer Science, Embedded Systems, Mechatronics, Robotics, Industrial Automation and Manufacturing Sciences. For Students: a number of engineering and scientific challenges are always available. Contact me for more details ! *Links:*
infoMechatronics and Industrial Automation Laboratory	Download booklet with our research results on the use of IEC 61499 in Baggage Handling Systems (PDF)
Research areas
Highlights of recent projects
My Publications and Citations of my works
Book: "Function Blocks for Embedded and Distributed Control Systems Design"
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

My lecturing

Introduction to Modelling and Validation of Automation Systems (HTML)

Modelling and formal verification of automation and control systems using NCES and ViVe (PDF, 4 Mb)

Future Events and on-going Activities

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

Past Events and Activities

6th IEEE Conference on Industrial Informatics, 13-16 July, 2008, Daejeon, Korea

Special OOONEIDA Issue of the EURASIP Journal of Embedded Systems

3rd International Conference on Industrial Applications of Holonic and Multi-Agent Systems (HoloMAS), Regensburg, September 3-5, 2007

5th IEEE Conference on Industrial Informatics, Track 10 "Embedded and Networked Control in Collaborative Manufacturing" Vienna, July 23-27, 2007

Links

Network of Networks for Intelligent Industrial Automation

HOLOBLOC: Ultimate knowledge source on IEC 61499 standard

Mechatronic testbed at the University of Halle (local mirror in English is here)

Book on IEC 61499 Function Blocks

HoloMAS'2007

Book

Paper in IEEE Industrial
Electronics Magazine

PAPERS:
Is ISaGRAF v.5 compliant with IEC 61499 ? (IEEE INDIN'08)

Smart Grid related:

IEC 61499 and IEC 61850 in power distribution automation (IEEE SMC conf)

+ extended version (IEEE SMC Trans,2009)

Devices with IEC 61850 interoperability and IEC 61499 architecture in Smart Grid (2010)

Standards-enabled Smart Grid for the Future EnergyWeb (2010)

Open Function Block Tool

infoMechatronics Lab

Intelligent Automation Research

Programmable Logic Controllers

Distributed Architectures

Languages and
Tools

Formal methods

Formal Verification of Industrial Processes

Contact:

Office: 303.154

Tel: 373-7599 ext. 89437

© 2005 This document authored, composed and maintained by: Valeriy V. Vyatkin All rights reserved