References

Modular modeling of discrete controllers and closed-loop systems
[ETFA'97] H.-M. Hanisch, J. Thieme, A. Lüder, and O. Wienhold:
Modeling of PLC behavior by means of timed net condition/event systems. International conference on Emerging Technologies and Factory Automation (ETFA'97), Los Angeles, USA, September 1997.
Download *.ps file
[PNT'99]

H.-M. Hanisch and A. Lüder:
Modular modeling of closed-loop system: Proc. of Colloquium on Petri Net Technologies for Modeling Communication Based Systems, pages 103--126, Berlin, Germany, October 1999.

[ETFA'99] 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.
Download *.pdf file
[SDMS'2000] V. Vyatkin, H.-M. Hanisch
Modeling of IEC 61499 function blocks - a clue to their verification,
XI Workshop on Supervising and Diagnostics of Machining Systems, Karpacz, Poland, March 2000
Download extended version of the paper in *.pdf file
[CSP'2000] V. Vyatkin, H.-M. Hanisch
 Practice of Modeling and Verification of Distributed Controllers using Signal Net Systems,
In Proceedings of Workshop on Concurrency, Specification and Programming, Berlin, October 2000
Download *.pdf file 

Intelligent Mechatronic Components
[ETFA'03]

V. Vyatkin
Intelligent Mechatronic Components: Control System Engineering using an Open Distributed Architecture
A Case Study Report, submitted for IEEE Conference on Emerging Technologies in Factory Automation (ETFA'03), Lisbon, September, 2003, Download *.pdf file 

[FESTO]

Cai X., Vyatkin V., Hanisch H.-M.
Design and Implementation of a Prototype Control System According to IEC 61499, submitted for IEEE Conference on Emerging Technologies in Factory Automation (ETFA'03), Lisbon, September, 2003 Download *.pdf file 

[SPS'02] Vyatkin V., Hanisch H.-M., S. Karras, X.Cai
IEC61499 as an architectural framework to integrate formal models and methods in practical control engineering, Congress Electric Automation SPS/IPC/Drives, Nuernberg, Germany, November 2002, Proceedings, pp. 310—318  Download *.pdf file 

Distributed control systems
[IEC61499]

Function blocks for industrial-process measurement and control systems - Part 1: Architecture, International Electrotechnical Commission, Geneva, 2000, www.holobloc.org 

Signal/Event nets and analysis tools
[ASEN] P. Starke, S. Roch, K. Schmidt, H.-M. Hanisch, A. Lüder:
Analysing signal-event systems, Technical report, Humboldt Universitat zu Berlin, Institut für Informatik, http://www.informatik.hu-berlin.de/lehrstuehle/automaten/tools/ , September, 2002
[SESA] SESA – Signal/Net system analyzer. Humboldt Universität zu Berlin, Institut für Informatik, <http://www.informatik.hu-berlin.de/lehrstuehle/automaten/tools/>
[VEDA] V.Vyatkin, H.-M.Hanisch VEDA - a prototype tool for deep debugging of distributed applications. Information leaflet, June 2000, http://at.iw.uni-halle.de/~valeriy/refs/veda.pdf

 

© 2003, Martin Luther University of Halle-Wittenberg, Automation Technology Lab.
Recommended browser: IE4.0 or higher
 Document created and maintained by: Valeriy V. Vyatkin