---

Veröffentlichungen

Veröffentlichungen im Rahmen des VAIAS - Projektes

• V. Vyatkin, H.-M. Hanisch, S. Karras, T. Pfeiffer und V. Dubinin: Rapid engineering and re-configuration of automation objects aided by formal modelling and verification. International Journal of Manufacturing Research, Band 1, Nr. 4, S. 382–404, 2006.
• S. Karras, T. Pfeiffer, H.-M. Hanisch und V. Vyatkin: Integration mechatronischer Objekte in die VAIAS-Systemarchitektur. In: Proceedings of the 7th International Conference of Science and Technology - New Information Technologies and Systems (NITiS’06), Band 1, S. 123–132, Penza, RU, November 2006.
• V. N. Dubinin, H.-M. Hanisch und S. Karras: Building of reachability graph extractions using a graph rewriting system. In: Proceedings of the 7th International Conference of Science and Technology - New Information Technologies and Systems (NITiS’06), Band 1, S. 160–171, Penza, RU, November 2006.
• V. Vyatkin, M. Hirsch und H.-M. Hanisch: Systematic Design and Implementation of Distributed Controllers, 11th IEEE International Conference on Emerging Technologies and Factory Automation, Prag, 20-22 September 2006
• V. Vyatkin, S. Karras und T. Pfeiffer: Architecture for automation system development based on IEC61499 standard. In: Frontier technologies for the future of industry and business : INDIN 2005 ; 3rd International Conference on Industrial Informatics, 10.-12. August 2005, Perth, Western Australia. - Piscataway, NJ : IEEE Operations Center, 2005, Pages 13-18
• V. Vyatkin und H.-M. Hanisch: Reuse of Components in Formal Modeling and Verification of Distributed Control Systems, 10th IEEE International Conference on Emerging Technologies and Factory Automation (ETFA 2005), Catania (Italien), 19.-22.September 2005
• G. Bouzon, V. Vyatkin und H.-M. Hanisch: Timing Diagram Specifications in Modular Modeling of Industrial Automation Systems. In: Preprints of the 16th IFAC World Congress (DVD), Paper 01870, Prag, 03.-08. Juli 2005
• V. Vyatkin, S. Karras, T. Pfeiffer und H.-M. Hanisch: ON INTEGRATION OF MODEL-BASED VALIDATION IN SOFTWARE ENGINEERING OF INDUSTRIAL AUTOMATION SYSTEMS, Automation, Control, and Information Technology (ACIT-ACA 2005), Novosibirsk (Russland), 20.-24.Juni 2005
• V. Dubinin, V. Vyatkin und T. Pfeiffer: 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 (ICRA 2005), pp.4007-4012, Barcelona (Spanien), 18.-22. April 2005
• H.-M. Hanisch und V. Vyatkin: Modeling and Verification of Distributed Control Systems, Design, Analysis, and Simulation of Distributed Systems Symposium (DASD 2005), pp.79-85, San Diego (USA), 3.-7. April 2005
• V. Vyatkin und H.-M. Hanisch: A Dual-Level Condition/Event Pattern For Modelling Of Flexible Automated Manufacturing And Social Objects And Agents, IEEE International Conference on Intelligent Systems (AIS 2004) and Intelligent CAD's (CAD-2004), pp.33-38, Divnomorskoe (Russland), 3.-10. September 2004
• V. Dubinin und V. Vyatkin: Development of distributed industrial automation systems using UML-FB, Higher Education Institue Letters, Nr.2, Oktober 2004, pp. 136-146, ISSN 1728-628X
• V. Vyatkin, V. Dubinin und H.-M. Hanisch: Development of distributed industrial automation systems using UML-FB, IEEE Conference on Artificial Intelligence Systems (AIS-2004), Divnomorsk, September 2004
• V. Vyatkin und C. Peniche: How does the IEC61499 architecture fit the requirements of intelligent automation systems?, 2nd IEEE Conference INDIN 2004, Berlin, Juni 2004
• V. Dubinin, A. Dubravin, V. Cheremushkin und V. Vyatkin: Development Of Visualized Simulation Models Of Production Systems Based On UML And Function Blocks, International Conference NIST 2004, Penza (Russland), Juni 2004
• V. Dubinin und V. Vyatkin: UML-FB - A Language For Modeling And Implementation Of Industrial-Process Measurement And Control Systems On The Basis Of IEC 61499 Standard, International Conference NIST 2004, Penza (Russland), Juni 2004

Zum Seitenanfang