Valeriy Vyatkin

Selected Publications

Paper copies are provided on this site in draft versions and for research purposes of individual researchers only. They remain copyright of their respective copyright holders.

BOOKS
  Holonic and Multi-agent systems in Manufacturing, V. Marik, V. Vyatkin, A. Colombo (eds.), Lecture Notes in Computer Science, Vol. 4659, Springer Verlag, 2007  
  Vyatkin V., IEC 61499 Function Blocks for Embedded and Distributed Control Systems Design, 300 p., ISA-o3neida series; Instrumentation, Systems and Automation society, USA, 2007  
 

Vyatkin V., Ivanov , G.,  Efficient Implementation of Control Programs, Taganrog State Radio Engineering University Publishers, Taganrog, Russia, 162 p, 2000 [in Russian]

  
  Vyatkin V., Ivanov , G., Applied programming in industrial control systems, Publishers of the State University of Radio Engineering, Taganrog, Russia, 142 p., 1998 [in Russian]  

JOURNAL PAPERS

V. Vyatkin, “The IEC 61499 Standard and its Semantics”, IEEE Industrial Electronics Magazine, accepted, 2009  
V. Dubinin, V. Vyatkin, Refactoring of Execution Control Charts in Basic Function Blocks of the IEC 61499 Standard, IEEE Transactions on Industrial Informatics, accepted, 2009  
G. Black, V. Vyatkin, "Intelligent Component - based Automation of Baggage Handling Systems with IEC 61499", IEEE Transactions on Automation Science and Engineering, accepted, 2008, to appear in April, 2010  

N. Higgins, V. Vyatkin, N. Nair and K. Schwarz, "Intelligent Decentralised Power Distribution Automation with IEC 61850, IEC 61499 and Holonic Control", IEEE Transactions on Systems, Machine and Cybernetics, Part C, accepted, 2009

 
Y. Al-Safi, V. Vyatkin, “Ontology-based Reconfiguration Agent for Intelligent Mechatronic Systems in Flexible Manufacturing”, International Journal of Robotics and Computer Integrated Manufacturing, submitted in 2008, accepted in 2009  
 

C. Suender, V. Vyatkin, B. Favre-Bulle, "Proving Feasibility and Estimating Parameters of Dynamic Reconfiguration in IEC 61499 Controllers using Formal Modelling", International Journal of Mechatronics and Manufacturing Systems (IJMMS), 2008, in print

  
 

M. Minhat, X. Xu and V. Vyatkin, 'STEPNCMillUoA - A CNC System Based STEP-NC and Function Block Architecture', Intl J. on Manufacturing and Mechatronic Systems (IJIMMS), 2008, in print

  

Vyatkin V, H.-M. Hanisch, C. Pang, J. Yang: "Application of Closed-Loop Modelling in Integrated Component Design and Validation of Manufacturing Automation", IEEE Transactions on Systems, Machine and Cybernetics - Part C, 2009 (1)

  

M. Minhat, V. Vyatkin, X. Xu, S. Wong, Z. Al-Baya, "A Novel Open CNC Architecture Based On Step-NC Data Model and IEC 61499 Function Blocks", Intl. J. on Robotics and Computer Integrated Manufacturing, 2008, in print

  

L.H. Yoong, P.S. Roop, V. Vyatkin, Z. Salcic, 'A Synchronous Approach for IEC 61499 Function Block Implementation', IEEE Transactions on Computers, 2008, accepted 

V. Dubinin, V. Vyatkin, "On Definition of a Formal Semantic Model for IEC 61499 Function Blocks", EURASIP Journal of Embedded Systems, vol. 2008, Article ID 426713, 10 pp., 2008. doi:10.1155/2008/426713  
V. Vyatkin, G. Bouzon , 'Timing Diagrams as Visual Specifications in Verification of Industrial Automation Controllers', EURASIP Journal of Embedded Systems, 2007, vol. 2008, Article ID 251957, 9 pp, 2008. doi:10.1155/2008/251957  
preview Vyatkin V, Salcic Z., Roop P., Fitzgerald J., Information Infrastructure of Intelligent Machines based on IEC61499 Architecture, IEEE Industrial Electronics Magazine, vol. 1, No. 4, 2007  
Brennan, R.W., Ferrarini, L., Lastra, J.M. and Vyatkin, V. "Automation objects: enabling embedded intelligence in real-time mechatronic systems", Int. J. Manufacturing Research, pp.379 - 381, Vol. 1, No. 4, 2006  
  V. Vyatkin, H.-M. Hanisch, S. Karras, T. Pfeiffer, V. Dubinin, "Rapid Engineering and Re-Configuration of Automation Objects using Formal Verification", Int. J. Manufacturing Research, Vol. 1, No. 4, 2006, pp.382-404  
  Dubinin V., Vyatkin V.,  'Models of Sequential Function Block Execution Implemented with Dynamically Allocated Priorities',  Letters Of Tertiary Education Institutions, Volga Region, Russia, Penza State University Publishers, 2007, pp.  [in Russian: В.Н.Дубинин, В.В.Вяткин,  Модели последовательного выполнения функциональных блоков IEC 61499 на основе динамически изменяемых приоритетов]  
Hanisch, H. M., Lobov, A., Martinez Lastra, J. L., Tuokko, R., Vyatkin, V.  'Formal Validation of Intelligent Automated Production Systems towards Industrial Applications', International Journal of Manufacturing Technology and Management, 8, (1), pp. 75-106, 2006  
Vyatkin, V.  'The Potential Impact of the IEC 61499 Standard on the Progress of Distributed Intelligent Automation', International Journal of Manufacturing Technology and Management, 8, (1), pp.101-125, 2006  
  Vyatkin, V.  'The Potential of IEC 61499 Standard Architecture for Distributed Intelligent Automation Systems', Automazione e Strumentazione, Milan, Italy, 9, pp. 131-131, 2005  
  Vyatkin, V., Christensen, J., Lastra, J. L.  'An Open, Object-Oriented Knowledge Economy for Intelligent Distributed Automation', IEEE Transactions on Industrial Informatics, 1, (1), pp. 4-17, 2005  
  Auinger, F., Brennan, R., Christensen, J., Lastra, L. M., Vyatkin, V.  'Requirements and Solutions To Software Encapsulation And Engineering In Next Generation Manufacturing Systems: OOONEIDA Approach', International Journal of Computer Integrated Manufacturing, 18, (7), pp. 572-585, 2005  
  Dubinin, V., Vyatkin, V.  'Formalized definition and modelling of IEC 61499 function block systems', Letters Of Tertiary Education Institutions - Volga Region, Russia, Penza State University Publishers, vol. 5, pp. 76-89, 2005  
  Dubinin, V., Vyatkin, V.  'Development of distributed industrial automation systems using UML - FB', Letters Of Tertiary Education Institutions - Volga Region, Russia, Penza State University Publishers, 2, pp. 136-146, 2004  
  Vyatkin, V., Hanisch, H. M.  'Verification of Distributed Control Systems in Intelligent Manufacturing', Journal of International Manufacturing, 14, (1), p. 123-136, 2003  

PAPERS/REPORTS PUBLISHED ELECTRONICALLY
Yoong L., Roop P., Vyatkin V., and  Salcic Z., Synchronous Semantics for IEC 61499 Function Blocks, electronically published in Electronic Notes in Theoretical Computer Science URL: www.elsevier.nl/locate/entcs  

V. Vyatkin, V. Dubinin, Execution Model of IEC61499 Function Blocks based on Sequential Hypothesis, paper draft, Online: http://www.ece.auckland.ac.nz/~vyatkin/o3fb/vd_seqsem.pdf

 		  
V. Vyatkin, H.-M. Hanisch, 'Modelling and Verification of Execution Control of  the Function Blocks  following the standard IEC 1499 by means of Net Condition/Event Systems (NCES)', Uni-Magdeburg, IFAT, Technical report, March, 2000  

CONFERENCE PAPERS

extended 		V. Vyatkin, G. Black, 'Towards Holonic Automation with IEC 61499: Baggage Handling Systems Case Study' , IEEE Conference on Systems, Machine and Cybernetics, Singapore, 2008  
J. Yang, V. Vyatkin, 'Design and Validation of Distributed Control with Decentralized Intelligence in Process Industries: A Survey', 6th  IEEE Conference on Industrial Informatics, (INDIN’08), Seoul, Korea, July 2008  
M. Budhia, V. Vyatkin and G. Covic, 'Increasing the Flexibility of Flexible Manufacturing Systems with Intelligent Wireless Power Transfer', 6th IEEE Conference on Industrial Informatics, (INDIN’08), Seoul, Korea, July 2008  
V. Vyatkin, J. Chouinard, “On Comparisons the ISaGRAF implementation of IEC 61499 with FBDK and other implementations”, 6th IEEE Conference on Industrial Informatics, (INDIN’08), Seoul, Korea, July 2008  
C. Pang, V. Vyatkin, 'Automatic Model Generation of IEC 61499 Function Block Using Net Condition/Event Systems', 6th IEEE Conference on Industrial Informatics (INDIN’08), Seoul, Korea, July 2008  
Y. Al-Safi, V. Vyatkin, “A Deployment of an Ontology-based Reconfiguration Agent for Intelligent Mechatronic Systems”, IEEE International Symposium on Industrial Electronics (ISIE), Cambridge, UK, 2008  
Vyatkin, V., Grundy, J.C., Roop, P. ,  'Taming the complexity of software design process in industrial automation', Proceedings of the Software Innovation and Engineering New Zealand Workshop (SIENZ’07), Auckland, 26-27 November, 2007  
  V. Dubinin, V. Vyatkin, 'Applying Web-Ontologies In Design Of Reconfigurable Industrial Automation Systems',  IEEE Conference on Artificial Intelligence Systems, Proc. AIS 2007,  Divnomorskoe, Russia, September, 2007  

corrected
version		 V. Vyatkin, V. Dubinin, Ferrarini, L.M., Veber C. 'Alternatives for Execution Semantics of IEC61499', 5th IEEE Conference on Industrial Informatics (INDIN’2007), Proc., pp. ,  Vienna, 2007  
M. Hirsch, C. Gerber, H.-M. Hanisch, V. Vyatkin, 'Design and Implementation of Heterogeneous Distributed Controllers – A Case Study', 5th IEEE Conference on Industrial Informatics (INDIN’2007), Proc., pp. ,  Vienna, 2007  
  C. Sünder, H. Rofner, V. Vyatkin, and B. Favre-Bulle, 'Formal description of IEC 61499 control logic with real-time constraints', 5th IEEE Conference On Industrial Informatics (INDIN’2007), Proc., pp. ,  Vienna, 2007  
  C. Pang and V. Vyatkin, 'Formal modelling of IEC61499 systems following the Sequential Hypothesis', 5th IEEE Conference On Industrial Informatics (INDIN’2007), Proc., pp. ,  Vienna, 2007  
  L. H. Yoong, P. Roop, V. Vyatkin, Z. Salcic, 'Synchronous Execution for IEC 61499 Function Blocks', 5th IEEE Conference On Industrial Informatics (INDIN’2007), Proc., pp. ,  Vienna, 2007  
  V. Vyatkin, V. Dubinin, 'Sequential Axiomatic Model for Execution of Basic Function Blocks in IEC61499', 5th IEEE Conference on Industrial Informatics (INDIN’2007), Proc., pp. ,  Vienna,  
A.R. Sardesai, O. Mazharullah, V. Vyatkin, 'Reconfiguration of mechatronic systems enabled by IEC 61499 function blocks', Australasian Conference on Robotics and Industrial Automation, ACRA 2006, Auckland  
W. Dai, A. Shih and V. Vyatkin, 'Development of distributed industrial automation systems and debugging functionality based on the Open Source OOONEIDA Workbench', Australasian Conference on Robotics and Industrial Automation, ACRA 2006, Auckland  
S. Karras, T. Pfeiffer , H.-M. Hanisch, V. Vyatkin, 'Integration mechatronischer objekte in die VAIAS-Systemarchitektur',  NITS Conference, Penza, November 23-25, 2006  

V. Vyatkin, H.-M. Hanisch, 'Design of Controllers aiming at Plug-and-Play Engineering of Automated Systems from Mechatronic Components', Annual Conference of Italian Automation Society (ANIPLA), Rome 2006

  

V. Vyatkin, M. Hirsch and H.-M. Hanisch, 'Systematic Design of Distributed Controllers – and their Implementation', 11th IEEE Conference on Emerging Technologies and Factory Automation (ETFA 2006), Proceedings,  Prague, 2006

  
 

C. Sünder, B. Favre-Bulle, V. Vyatkin, 'Towards an Approach for the Verification of Downtimeless System Evolution', 11th IEEE Conference On Emerging Technologies and Factory Automation (ETFA 2006), Proceedings,  Prague, 2006

  

V. Dubinin, V. Vyatkin, “Using Prolog for Modelling and Verification of IEC 61499 Function Blocks and Applications” , 11th IEEE Conference on Emerging Technologies and Factory Automation (ETFA 2006), Proceedings,  Prague, 2006

  

V. Dubinin, V. Vyatkin, 'Towards a Formal Semantics Of IEC1499 Function Blocks', 4th IEEE Conference on Industrial Informatics (INDIN’2006), Singapore, 2006

 
  Hirsch M., Vyatkin V. and Hanisch H.-M., 'Function Blocks for Distributed Networked Embedded Applications', 4th IEEE Conference on Industrial Informatics (INDIN 2006), Proceedings,  Singapore, 2006  

Vyatkin V., 'Modelling and execution of reactive function block systems with Condition/Event nets', 4th IEEE Conference on Industrial Informatics (INDIN 2006), Proceedings,  Singapore, 2006

  
 

C. Sünder, A. Zoitl, J. H. Christensen, V. Vyatkin, R. Brennan, A. Valentini, L. Ferrarini, K. Thramboulidis, T. Strasser, J. L. Martinez-Lastra, and F. Auinger, 'Usability and Interoperability of IEC 61499 based distributed automation systems', 4th IEEE Conference on Industrial Informatics (INDIN 2006), Proceedings,  Singapore, 2006

  
 

Vyatkin, V., Karras, S., Pfeiffer, T., Hanisch, H.M.  'On Integration of Model-Based Validation in Software Engineering of Industrial Automation Systems', IASTED Multi-Conference on AUTOMATION, CONTROL, AND INFORMATION TECHNOLOGY (ACIT-ACA), ACIT Conference Proceedings, Novosibirsk, June, 2005

  
Dubinin, V., Vyatkin, V.  'Building of Search and Transformation Systems for Support of Component-Based Industrial Automation Systems Design', IEEE Conference On Artificial Intelligence Systems (AIS-2005), AIS'05 CAD-2005 Proceedings, Divnomorskoe, Russia, September, 2005, p.30-35  

 

Dubinin, V., Vyatkin, V., 'Modelling and verification of IEC 61499 applications using Prolog', In: Computer modelling 2005, Sankt-Petersburg, Publishers of Sankt-Petersburg Polytechnic Institute, p.277-286, 2005

  

 

Dubinin, V., Vyatkin, V., Pfeiffer, T., 'Engineering of Validatable Automation Systems Based on an Extension of UML Combined With Function Blocks of IEC 61499', IEEE International Conference on Robotics and Automation, Proceedings of ICRA 2005, Barcelona, April, 2005, p.4007-4012

  

 

Hanisch, H. M., Vyatkin, V., 'Modelling and Verification of Distributed Control Systems', International conference "Design, Analysis, and Simulation of Distributed Systems, DADS'2005, San Diego, April, 2005

  

 

Vyatkin, V., Hanisch, H.M., 'Re-use in Formal Modeling and Verification of Distributed Control Systems', 10th IEEE Conference on Emerging Technologies and Factory Automation (ETFA'05), ETFA 2005, Catania, Italy, September, 2005

  

 

Bouzon, G., Vyatkin, V., Hanisch, H.M., 'Timing Diagram Specifications in Modular Modelling Of Industrial Automation Systems', IFAC World Congress, IFAC World Congress 2005, Prague, July, 2005

  

 

Vyatkin, V., Karras, S., Pfeiffer, T., 'Architecture for Automation System Development Based On IEC61499 Standard', 3rd IEEE Conference on Industrial Informatics, Proceedings of 3rd IEEE Conference INDIN'2005, Perth, August, 2005

  

 

Dubinin, V., Vyatkin, V., 'Building Of Search And Transformation Systems For Support Of Component-Based Industrial Automation Systems Design', IEEE Conference On Artificial Intelligence Systems (AIS-2005), AIS'05 CAD-2005 Proceedings, Divnomorsk, Russia, September, 2005, p.30-35

  

 

Vyatkin, V., Karras, S., Pfeiffer, T., Hanisch, H.M., 'On Integration of Model-Based Validation in Software Engineering of Industrial Automation Systems', IASTED Multi-Conference on AUTOMATION, CONTROL, AND INFORMATION TECHNOLOGY (ACIT-ACA), ACIT Conference Proceedings, Novosibirsk, June, 2005

  

 

Vyatkin, V., Hanisch, H. M., Bouzon, G., 'Open Object-oriented validation framework for modular industrial automation systems', 11TH IFAC SYMPOSIUM ON INFORMATION CONTROL PROBLEMS (INCOM'2004), Carlos Pereira (ed.), Proceedings INCOM - 2004, Salvador, Brazil, April, 2004

  

 

Auinger, F., Brennan, R.W., Christensen, J.H., Martinez Lastra, J.L., Vyatkin, V., 'Creation of a knowledge economy for intelligent industrial automation: OOONEIDA Community in IMS', 11th IFAC Symposium on Information Control Problems (INCOM'2004), Proceedings INCOM - 2004, Salvador, Brazil, April, 2004

  

 

Lobov, A., Martinez Lastra, J.L., Tuokko, R., Vyatkin, V., 'Modelling and Verification of PLC-based Systems Programmed with Ladder Diagrams', 11th IFAC Symposium on Information Control Problems (INCOM'2004), Carlos Pereira(ed.), Proceedings INCOM - 2004, Salvador, Brazil, April, 2004

  

 

Vyatkin, V., Peniche, C., ', How does the IEC61499 architecture fit the requirements of intelligent automation systems?', 2nd IEEE Conference on Industrial Informatics (INDIN'2004), Proceedings INDIN'2004, Berlin, Germany, June, 2004

  

 

Dubinin, V.N., Vyatkin, V., 'UML-FB - A Language For Modeling and Implementation Of Industrial-Process Measurement And Control Systems On The Basis Of IEC 61499 Standard', New Information Technologies And Systems (NITS'2004), Proceedings NITS-2004, Penza, Russia, June 17-19, 2004

  

 

Dubinin, V.N., DUBRAVIN, A., CHEREMUSHKIN, V., Vyatkin, V., 'Development of visualized simulation models of production systems based on UML and function blocks', /span>New Information Technologies And Systems (NITS'2004), Proceedings NITS-2004, Penza, Russia, June 17-19, 2004

  

 

Vyatkin, V., Ivanov, G. I., Hanisch, H. M., 'A Dual-Level Condition/Event Pattern For Modelling Of Flexible Automated Manufacturing and Social Objects And Agents', IEEE Conference on Artificial Intelligence Systems (AIS-2004), Proceedings AIS-2004, Divnomorsk, Russia, September, 2004

  

 

Dubinin, V., Vyatkin, 'Development of distributed industrial automation systems using UML-FB', IEEE Conference on Artificial Intelligence Systems, Proceedings AIS-2004, Divnomorskoe, Russia, September, 2004

  

 

Vyatkin, V., 'The potential of IEC 61499 Standard Architecture for Distributed Intelligent Automation Systems',  Proceedings of ANIPLA 2004 Conference, Milano, Itally, September 11 - 13, 2004

  

 

Vyatkin, V., 'VAIAS - Validierbare Architekturen fIndustrielle Automatisierungssysteme', DLR Seminar Software Offensive 2006, Software Offensive 2006, 1, Berlin, June, 2004

  

 

Lobov, A., Martinez Lastra, J.L., TUOKKO, R., Vyatkin, V., 'An Engineering Approach for the Validation of Industrial Programming in Discrete Automation', Automattio'03, Proceedings of Automattio'03, Helsinki, September, 2003

  

 

Vyatkin, V., Martinez Lastra, J. L., 'Architectural Foundations for Reconfigurable Manufacturing System', 3rd International Symposium on Open Control Systems SoftSympo'03, Proceedings, Helsinki, Finland, September, 2003

  

 

Vyatkin, V., Hanisch, H. M., Pfeiffer, T., 'Modular typed formalism for systematic modelling of automation systems', 1st IEEE Conference on Industrial Informatics (INDIN'03), Proceedings INDIN'2003, Banff, Canada, August, 2003

  

 

Vyatkin, V., Christensen, J. H., Martinez Lastra, J.L., Auinger, F., 'OOONEIDA: An Open, Object-Oriented kNowledge Economy for Intelligent Distributed Automation', 1st IEEE Conference on Industrial Informatics (INDIN'03), Proceedings INDIN'2003, Banff, Canada, August, 2003

  

 

Lobov, A., Martinez Lastra, J.L., TUOKKO, R., Vyatkin, V., 'Methodology for Modeling Visual Flowchart Control Programs using Net Condition/Event Systems Formalism in Distributed Environments', 9th IEEE Conference on Emerging Technologies in Factory Automation (ETFA'03), Proceedings ETFA'03, Lisbon, Portugal, September 18-20, 2003, p.329-336

  

 

Cai, X., Vyatkin, V., Hanisch, H.M., 'Design and Implementation of a Prototype Control System According to IEC 61499', 9th IEEE Conference on Emerging Technologies in Factory Automation (ETFA'03), Proceedings ETFA'03, Lisbon, Portugal, September 18-20, 2003, p.269-276

  

 

Vyatkin, V., 'Intelligent Mechatronic Components: Control System Engineering using an Open Distributed Architecture', 9th IEEE Conference on Emerging Technologies in Factory Automation (ETFA'03), Proceeding, Proceedings ETFA'03, Lisbon, Portugal, September 18-20, 2003, p.277-284

  

 

Vyatkin, V., 'Event-driven Re-evaluation of Boolean Functions using Logic Circuits', 5th International conference "Perspectives of System Informatics'2003, Proceedings of PSI'03, Novosibirsk, Russia, July,, 2003

  

 

Vyatkin, V., Hanisch, H.M., Martinez Lastra, J.L., TUOKKO, R., 'An Approach to Validation of Industrial Automation Systems combining Formal Verification and Simulation', 43rd Conference on Simulation and Modeling of the Finnish Society of Automation, Proceedings, Oulu, Finland, September, 2002

  

 

Vyatkin, V., Hanisch, H.M., 'Component design and validation of decentralized reconfigurable control systems with IEC61499', International Symposium on Advanced Control of Industrial Processes, Proceedings, Kumamoto, Japan, June, 2002, p.215-220

  

 

Vyatkin, V., Hanisch, H.M., 'Software environment for automated verification of distributed industrial controllers following IEC6149', XII Workshop on Supervising and Diagnosing of Machining Systems, Proceedings, Karpacz, Poland, March, 2001, p.62-72

  

 

Vyatkin, V., Hanisch, H.M., 'Application of Systematic Formal Modeling in the practice of Software Engineering of Distributed Industrial Automation systems', International Conference "Automation-2001", Proceedings, Odessa, Ukraine, September, 2001, p.144-145

  

 

Denisenko, V.A., Hanisch, H.M., Vyatkin, V., Nesteryuk, A., 'Investigation of reachability for a class of systems with controlled structure', International Conference "Automation-2001", Proceedings Automation-2001, Odessa, Ukraine, September, 2001

  

 

Vyatkin, V., 'Event-driven Re-computation of Boolean Functions Using Decision Diagrams', International conference Perspectives of System Informatics'2001 (PSI'01), Proceedings PSI-01, Novosibirsk, July, 2001, p.35-39

  

 

Vyatkin, V., Hanisch, H.M., 'Formal-modeling and Verification in the Software Engineering Framework of IEC61499: a way to self-verifying systems', 8th IEEE Conference on Emerging Technologies in Factory Automation, Proceedings ETFA'01, Nice, France, September, 2001

  

 

Vyatkin, V., 'Towards Re-configurable Holonic Automation Systems: State of the art and Formal Verification of IEC61499', 2nd International Symposium on Open Control Systems, Proceedings SoftSympo'01, Helsinki, September, 2001

  

 

Vyatkin, V., Hanisch, H.M., 'Application of Visual Specifications For Verification Of Distributed Controllers', IEEE International Conference on Systems, Man, and Cybernetics, Proceedings of SMC 2001, Tucson, USA, October 7-10, 2001

  

 

Vyatkin, V., Hanisch, H.M., Ivanov, G.I., 'Application of Formal Methods for Deep Testing of Controllers in Holonic Systems', 1st IEEE International Conference on Information Technologies in Mechatronics, Proceedings ITM'01, Istanbul, Turkey, September, 2001

  

 

Vyatkin, V., Hanisch, H. M., 'Modeling of IEC 61499 function blocks - a clue to their verification', XI International Workshop on Supervising and Diagnostics of Machining Systems, Proceedings, Karpacz, March, 2000

  

 

Vyatkin, V., Hanisch, H.M., STARKE, P., ROCH, S., 'Formalisms for verification of discrete control applications on example of IEC1499 function blocks', "Verteilte Automatisierung" (Distributed Automation), Proceedings, Magdeburg, Germany, March, 2000

  

 

Vyatkin, V., Hanisch, H.M., 'Development of adequate formalisms for verification of IEC 1499 distributed applications', International Conference of the Society of Instrumentation Engineers of Japan (SICE) -2000, Proceedings SICE-2000, Iizuka, Japan, July, 2000

  

 

Vyatkin, V., Hanisch, H.M., 'Practice of Modeling and Verification of Distributed Controllers using Signal Net Systems', International Workshop on Concurrency, Specification and Programming, Proceedings, Berlin, Germany, October, 2000

  
V. Vyatkin, H.-M. Hanisch, 'A modeling approach for verification of IEC1499 function blocks using Net Condition/Event Systems', IEEE conference on Emerging Technologies in Factory Automation (ETFA'99), Proceedings, pp. 261-270,  Barcelona, Spain, September, 1999, ISBN 0-7803-5670-5  

 

BOOK CHAPTERS
 

Black G., Vyatkin V.: 'On Practical Implementation of Holonic Control Principles in Baggage Handling Systems using IEC 61499', In Holonic and Multi-Agent Systems for Manufacturing, Lecture Notes in Computer Science, vol. 4659, pp. 314-325, Springer, 2007,

   
 

Al-Safi Y.,  Vyatkin V., 'An Ontology-based Reconfiguration Agent for Intelligent Mechatronic Systems', Lecture Notes in Computer Science, vol. 4659, Springer, 2007, pp. 114-126

    
 

Hanisch H.-M., V. Vyatkin: 'Achieving Reconfigurability of Automation Systems by Using the New International Standard IEC 61499: A Developer’s View', Integration Technologies for Industrial Automated Systems, R. Zurawski (ed.), CRC Press/Taylor & Francis, July 2006, ISBN: 0849392624

    

Hanisch H.-M., V. Vyatkin, 'Achieving Reconfigurability of Automation Systems by Using the New International Standard IEC 61499: A Developer's View', In: Industrial Information Technology Handbook., R. Zurawski (ed.), USA, CRC Press, p.661-680, 2005

    
 

Brennan, R.W., Christensen, J.H., Martinez Lastra, J.L., Martell, A., Vyatkin, V.  'OOONEIDA Community - a Prototype of an Open Object Oriented Knowledge Economy for Intelligent Industrial Automation', In: Intelligent Manufacturing Systems Forum 2004, M. Taisch, E. Filos, P. Garello, K. Lewis, M. Montorio (eds.), Milan, Italy, Grafica Sovico srl - Biassono Milano, p.23-28, 2004

    

ZOITL, A., Auinger, F., Vyatkin, V., Martinez Lastra, J.L.  'Towards basic real-time reconfiguration services for next generation zero-downtime automation systems', In:International IMS Forum 2004: Global Challenges in Manufacturing, M. Taisch, E. Filos, P. Garello, K. Lewis, M. Montorio (eds.), Milan, Italy, Grafica Sovico srl - Biassono Milano, p.29-36, 2004

    
 

Vyatkin, V.  'Event-driven Traversal of Logic Circuits for Re-evaluation of Boolean Functions in Reactive Systems', In: Lecture Notes in Computer Science, vol. 2890., T. Broy, A. Zamulin (eds.), Berlin- Heidelberg - New York, Springer Verlag, p.319-328, 2003

    
 

Vyatkin, V., Hanisch, H.M., Karras, S., Cai, X.  'IEC61499 as an architectural framework to integrate formal models and methods in practical control engineering', In: Electric Automation - SPS/IPC/Drives, K. Bender et al (ed.),  Heidelberg, Hüthig, Messago GmbH, p.310-318, 2002

    

Vyatkin, V., Hanisch, H.M.  'Component Design and Formal Validation of SFA systems: a Case Study', In: Knowledge and Technology Integration in Production and Services, Marik, V.; Camarinha-Matos, Luis M.; Afsarmanesh, H.(eds.), Kluwer Academic Publishers, USA, p.313-322, 2002

    
 

Vyatkin, V.  'Optimal Algorithms of Event-driven Re-evaluation of Boolean Functions', In: Lecture Notes in Computer Science, D. Bjorner; T. Broy; A. Zamulin(eds.), vol. 2244., Berlin, Springer Verlag, p.55-63, 2001ee

    

Vyatkin, V., Hanisch, H.M.,  'Bringing the model-based verification of distributed control systems to the engineering practice', In: Intelligent Manufacturing Systems 2001, M. Zaremba, J. Szpytko, Z. Banaszak, (eds.) , Poznan, Poland, Elsevier Science, p.152-157, 2001

    

 

 

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