Closed-loop system modeling, validation, and verification

IEEE International Conference on Emerging Technologies and Factory Automation, ETFA

Volumn , Issue , 2012, Pages

  Preuse, Sebastian ^a   Lapp, Hans Christian ^a   Hanisch, Hans Michael ^a  

^a MARTIN LUTHER UNIVERSITY HALLE WITTENBERG   (Germany)

Author keywords

[No Author keywords available]

Indexed keywords

CLOSED-LOOP; CLOSED-LOOP SYSTEM MODELING; CONTROL SOFTWARE; CUSTOMER DEMANDS; INDUSTRIAL ENVIRONMENTS; INTEGRATED SOLUTIONS; TESTING METHOD; VERIFICATION METHOD;

SOFTWARE ENGINEERING; TESTING;

FACTORY AUTOMATION;

EID: 84876385958     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/ETFA.2012.6489679     Document Type: Conference Paper

References (31)

1. F. Charbonnier, H. Alla, and R. David. The Supervised Control of Discrete-Event Dynamic Systems. Transactions on Control Systems Technology, 7(2):175 - 187, March 1999.
2. L. Ferrarini and A. Dedè. A Model-Based Approach for Mixed Hardware In the Loop Simulation of Manufacturing Systems. In 10th IFAC Workshop on Intelligent Manufacturing Systems (IMS), pages 41-46, Lisbon, Portugal, 2010.
3. J. Flochová. A Petri net based supervisory control implementation . In IEEE International Conference on Systems, Man and Cybernetics (SMC), volume 2, pages 1039 - 1044, Washington DC, USA, October 2003.
4. D. Gasevic, D. Djuric, and V. Devedzic. Model Driven Engineering and Ontology Development. Springer-Verlag, 2. edition, 2009.
5. C. Gerber. Implementation and Verification of Distributed Control Systems, volume 7 of Hallenser Schriften zur Automatisierungstechnik. Logos Verlag GmbH, Berlin, Germany, 2011.
6. C. Gerber, S. Preuße, and H.-M. Hanisch. A Complete Framework for Controller Verification in Manufacturing. In 15th IEEE International Conference on Emerging Technologies and Factory Automation (ETFA), Bilbao, Spain, September 2010. IEEE. Index: MF-001279.
7. D. Gouyon, J.-F. Pétin, and A. Gouin. A pragmatic approach for modular control synthesis and implementation. International Journal of Production Research, 2(14):2839 - 2858, 2004.
8. H.-M. Hanisch and U. Christmann. Modeling and Analysis of a Polymer Production Plant by Means of Arc-Timed Petri Nets. International Journal of Flexible Automation and Integrated Manufacturing, 3(1):33-46, 1995.
9. I. Hegny, M.Wenger, and A. Zoitl. IEC 61499 based Simulation Framework for Model-Driven Production Systems Development. In 15th IEEE International Conference on Emerging Technologies and Factory Automation (ETFA), Bilbao, Spain, September 2010. Index: MF-003565.
10. M. Hirsch. Systematic Design of Distributed Industrial Manufacturing Control Systems, volume 6 of Hallenser Schriften zur Automatisierungstechnik. Logos Verlag GmbH, Berlin, Germany, 2010.
11. M. Hirsch, V. Vyatkin, and H.-M. Hanisch. IEC 61499 Function Blocks for Distributed Networked Embedded Applications. In 4th IEEE International Conference on Industrial Informatics (INDIN), pages 670-675, Singapore, 2006.
12. ISO/IEC 14772: Information technology - Computer graphics and image processing - The Virtual Reality Modeling Language - Part 1: Functional specification and UTF-8 encoding, December 1997.
13. M. V. Iordache and P. J. Antsaklis. Supervision Based on Place Invariants: A Survey. Discrete Event Dynamic Systems, 16(4):451-492, 2006.
14. I. Ivanova-Vasileva, C. Gerber, and H.-M. Hanisch. Transformation of IEC 61499 control systems to formal models. In International Conference AUTOMATICS AND INFORMATICS (CAI), pages V-5-V-10, Sofia, Bulgaria, 2007.
15. S. Kain, F. Schiller, and T. Frank. Monitoring and Diagnostics of Hybrid Automation Systems based on Synchronous Simulation. In 8th IEEE International Conference on Industrial Informatics (INDIN), pages 260-265, Osaka, Japan, 2010.
16. Z. Li and M. Zhou. Two-stage method for synthesizing liveness-enforcing supervisors for flexible manufacturing systems using petri nets. IEEE Trans. Industrial Informatics, 2(4):313-325, 2006.
17. M. Marcos, E. Estévez, N. Iriondo, and D. Orive. Analysis and Validation of IEC 61131-3 Applications using a MDE Approach. In 15th IEEE International Conference on Emerging Technologies and Factory Automation (ETFA), Bilbao, Spain, September 2010. Index: MF-001597.
18. D. Missal. Formal Synthesis of Safety Controller Code for Distributed Controllers, volume 8 of Hallenser Schriften zur Automatisierungstechnik. Logos Verlag GmbH, Berlin, Germany, 2012.
19. M. Otter, K.-E. Årzeń, and I. Dressler. StateGraph-AModelica Library for Hierarchical State Machines. In 4th International Modelica Conference, pages 569-578, Hamburg, Germany, March 2005.
20. C. Pang and V. Vyatkin. Automatic Model Generation of IEC 61499 Function Block Using Net Condition/Event Systems. In 6th IEEE International Conference on Industrial Informatics (INDIN), pages 1133-1138, Seoul, Korea, 2008.
21. S. Preuße, C. Gerber, and H.-M. Hanisch. Virtual Start-Up of Plants using Formal Methods. Int. J. Computer Applications in Technology (IJCAT), 42(2-3):108-126, 2011.
22. S. Preuße and H.-M. Hanisch. Specification and Verification of Technical Plant Behavior with Symbolic Timing Diagrams. In 3rd International Design & Test Workshop (IDT), pages 313-318, Monastir, Tunisia, December 2008.
23. S. Preuße and H.-M. Hanisch. Specification of Technical Plant Behavior with a Safety-Oriented Technical Language. In 7th IEEE International Conference on Industrial Informatics (INDIN), pages 632-637, Cardiff, United Kingdom, June 2009. IEEE.
24. S. Preuße and H.-M. Hanisch. Verifying Functional and Non-Functional Properties of Manufacturing Control Systems. In 3rd International Workshop on Dependable Control of Discrete Systems (DCDS), pages 41-46, Saarbrücken, Germany, June 2011. IEEE.
25. P. Ramadge andW.Wonham. The control of discrete event systems. In Proceedings of the IEEE, volume 77, pages 81-97. IEEE, 1989.
26. J.-M. Roussel and A. Giua. Designing dependable logic controllers using the supervisory control theory. In Proceedings of the 16th IFAC World Congress, page CDROM paper n-04427, Praha, Czech Republic, July 2005.
27. E. Seabra and J. Machado. Using Advanced Simulation Techniques to Improve Industrial Controller's Dependability. In 9th IEEE International Conference on Industrial Informatics (INDIN), pages 122-127, Caparica, Lisbon, Portugal, July 2011.
28. M. Stieler. Transformation von IEC 61131 konformen Steuerungsprogrammen in formale Steuerungsmodelle. Master's thesis, Institut für Informatik, Martin- Luther-Universität Halle-Wittenberg, Halle, Germany, April 2012. In German.
29. A. I. Vasiliu, A. Dideban, and H. Alla. Control Synthesis for Manufacturing Systems Using Non-Safe Petri Nets. Journal of Control Engineering and Applied Informatics, 11(2):43-50, June 2009.
30. V. Vyatkin, G. Zhabelova, M. Ulieru, and D. McComas. Toward Digital Ecologies: Intelligent Agent Networks Controlling Interdependent Infrastructures. In 1st IEEE Conference on Smart Grid Communications (SmartGrid- Comm), pages 589 - 594, Gaithensburg, MD, USA, 2010.
31. T.Winkler, H.-C. Lapp, and H.-M. Hanisch. A new Model Structure based Synthesis Approach for Distributed Discrete Process Control. In Proceedings of the 9th IEEE International Conference on Industrial Informatics (INDIN), pages 527-532, Caparica, Lisbon, Portugal, 2011. IEEE IES.