On controller and plant modeling for model-based formal verification

IEEE International Conference on Emerging Technologies and Factory Automation, ETFA

Volumn 1 2 VOLS, Issue , 2005, Pages 121-128

  Lobov, Andrei ^a   Martinez Lastra, Jose L ^a   Tuokko, Reijo ^a  

^a TAMPERE UNIVERSITY OF TECHNOLOGY   (Finland)

Author keywords

[No Author keywords available]

Indexed keywords

FORMAL VERIFICATION; LADDER LOGIC MODELING;

COMPUTER SIMULATION; LEARNING SYSTEMS; MATHEMATICAL MODELS; PROBLEM SOLVING;

FORMAL LOGIC;

EID: 33847257275     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: None     Document Type: Conference Paper

References (19)

1. H.-M. Hanisch, J. Thieme, A. Lüder, O. Wienhold, "Modeling of PLC Behavior by Means of Timed Net Condition/Event Systems", In Proc. 6th IEEE Conf. Emerging Technologies and Factory Automation (ETFA'97), Los Angeles, pages 391-396, 1997..
2. M. Rausch, H.-M.Hanisch, Net condition/event systems with multiple condition outputs. In Proceedings of the Symposium on Emerging Technologies and Factory Automation, Paris, France, October 1995, Vol.1, pp. 592-600, INRA/IEEE
3. H.-M. Hanisch, A. Lüder, J. Thieme, "A Modular Plant Modeling Technique and Related Controller Synthesis Problems". IEEE International Conference on Systems, Man, and Cybernetics, October 1998, vol.1, pp. 686-691
4. M. Heiner, T. Menzel, Instruction list verification using a Petri net semantics, IEEE International Conference on Systems, Man, and Cybernetics, vol.1, October 1998, pp. 716-721
5. th IFAC Symposium on Information Control Problems in Manufacturing, INCOM 2004, Bahia, Brasil, April 2004
6. A. Lobov, An approach to the formal verification of automated manufacturing systems with programmable control, M.Sc. Thesis, Tampere University of Technology, Tampere, Finland, 2004
7. A. Lobov, J. L. Martinez Lastra, R. Tuokko, "Application of UML in Plant modeling for Model-based verification: UML translation to TNCES", To appear in proceedings of IEEE conference on Industrial Informatics 2005, August 2005
8. A. Lobov, J. L. Martinez Lastra, R. Tuokko, V. Vyatkin, "Methodology for Modeling Visual Flowchart Control Programs using Net Condition/Event Systems Formalism in Distributed Environments", In Proceedings of the IEEE International Conference on Emerging Technologies and Factory Automation, 2003
9. M. J. McLaughlin, A. Moore, "Real-Time Extensions to UML", Dr. Dobb's Journal, December 1998
10. B. Bordbar, L. Giacomini, D.J. Holding, "UML and Petri Nets for Design and Analysis of Distributed Systems", In Proceedings of IEEE International Conference on Control Applications, 2000
11. Z. Mrozek, "Design of the Mechatronic Systems with Help of UML Diagrams", In Proceedings of 3-rd Workshop on Robot Motion and Control, 2002
12. M. Jeng, W. Lu, "Extension of UML and Its Conversion to Petri Nets for Semiconductor Manufacturing Modeling", In Proceedings of the IEEE International Conference on Robotics & Automation, 2002
13. st American Control Conference, CD-ROM paper N734, 2002
14. I. Moon, "Modeling Programmable Logic Controllers for Logic Verification", IEEE Control Systems Magazine, 14(2):53-59, 1994
15. G. Frey, L. Litz, "Formal methods in PLC programming", In Proceedings of the IEEE SMC, 2000
16. OMG, Unified Modeling Language, http://www.uml.org/
17. M. Bonfe, C. Fantuzzi, "Design and verification of mechatronic object-oriented models for industrial control systems", In Proceedings of IEEE conference on Emerging Technologies and Factory Automation, vol. 2, pp. 253-260, 2003
18. st IEEE Conference on Industrial Informatics, Proceedings, Banff, Canada, 2003
19. P. Starke, S. Roch, and others. Analysing signal-event systems, Technical report, Humboldt Universitat zu Berlin, Institut für Informatik, 2002