 | 2009 |
|---|
| 18 |       | Li Hsien Yoong,
Partha S. Roop,
Valeriy Vyatkin,
Zoran A. Salcic:
A Synchronous Approach for IEC 61499 Function Block Implementation.
IEEE Trans. Computers 58(12): 1599-1614 (2009) |
| 2007 |
|---|
| 17 |  | Vladimír Mavrík,
Valeriy Vyatkin,
Armando W. Colombo:
Holonic and Multi-Agent Systems for Manufacturing, Third International Conference on Industrial Applications of Holonic and Multi-Agent Systems, HoloMAS 2007, Regensburg, Germany, September 3-5, 2007, Proceedings
Springer 2007 |
| 16 | | Yazen Al-Safi,
Valeriy Vyatkin:
An Ontology-Based Reconfiguration Agent for Intelligent Mechatronic Systems.
HoloMAS 2007: 114-126 |
| 15 | | Geoff Black,
Valeriy Vyatkin:
On Practical Implementation of Holonic Control Principles in Baggage Handling Systems Using IEC 61499.
HoloMAS 2007: 314-325 |
| 2006 |
|---|
| 14 | | Christoph Sünder,
Bernard Favre-Bulle,
Valeriy Vyatkin:
Towards an Approach for the Verification of Downtimeless System Evolution.
ETFA 2006: 1133-1136 |
| 13 | | Valeriy Vyatkin,
Martin Hirsch,
Hans-Michael Hanisch:
Systematic Design and Implementation of Distributed Controllers in Industrial Automation.
ETFA 2006: 633-640 |
| 12 | | Victor Dubinin,
Valeriy Vyatkin,
Hans-Michael Hanisch:
Modelling and Verification of IEC 61499 Applications using Prolog.
ETFA 2006: 774-781 |
| 11 | | Valeriy Vyatkin,
Hans-Michael Hanisch,
Sirko Karras,
Thomas Pfeiffer,
Victor Dubinin:
Rapid engineering and re-configuration of automation objects aided by formal modelling and verification.
IJMR 1(4): 382-404 (2006) |
| 10 | | Valeriy Vyatkin:
The potential impact of the IEC61499 standard on the progress of distributed intelligent automation.
IJMTM 8(1/2/3): 107-125 (2006) |
| 9 | | Hans-Michael Hanisch,
Andrei Lobov,
Jose L. Martinez Lastra,
Reijo Tuokko,
Valeriy Vyatkin:
Formal validation of intelligent-automated production systems: towards industrial applications.
IJMTM 8(1/2/3): 75-106 (2006) |
| 2005 |
|---|
| 8 | | Valeriy Vyatkin,
Hans-Michael Hanisch:
Reuse of components in formal modeling and verification of distributed control systems.
ETFA 2005 |
| 7 | | Victor Dubinin,
Valeriy Vyatkin,
Thomas Pfeiffer:
Engineering of Validatable Automation Systems Based on an Extension of UML Combined With Function Blocks of IEC 61499.
ICRA 2005: 3996-4001 |
| 6 | | Hans-Michael Hanisch,
Valeriy Vyatkin:
Acheiving Reconfigurability of Automation Systems by Using the New International Standard IEC 61499: A Developer's View.
The Industrial Information Technology Handbook 2005: 1-20 |
| 5 | | Valeriy Vyatkin,
James Christensen,
Jose L. Martinez Lastra:
OOONEIDA: an open, object-oriented knowledge economy for intelligent industrial automation.
IEEE Trans. Industrial Informatics 1(1): 4-17 (2005) |
| 4 | | Franz Auinger,
Robert Brennan,
James Christensen,
Jose L. Martinez Lastra,
Valeriy Vyatkin:
Requirements and solutions to software encapsulation and engineering in next generation manufacturing systems: OOONEIDA approach.
Int. J. Computer Integrated Manufacturing 18(7): 572-585 (2005) |
| 2003 |
|---|
| 3 | | Valeriy Vyatkin:
Event-Driven Traversal of Logic Circuits for Re-evaluation of Boolean Functions in Reactive Systems.
Ershov Memorial Conference 2003: 319-328 |
| 2002 |
|---|
| 2 | | Valeriy Vyatkin,
Hans-Michael Hanisch:
Component Design and Formal Validation of SFA Systems: A Case Study.
BASYS 2002: 313-322 |
| 2001 |
|---|
| 1 | | Valeriy Vyatkin:
Optimal Algorithms of Event-Driven Re-evaluation of Boolean Functions.
Ershov Memorial Conference 2001: 55-63 |
