Functional and temporal formal modelling of embedded controllers for intelligent mechatronic systems
暂无分享,去创建一个
[1] Joseph Sifakis,et al. Embedded Systems Design: The ARTIST Roadmap for Research and Development , 2005, Lecture Notes in Computer Science.
[2] F. Musharavati. RECONFIGURABLE MANUFACTURING SYSTEMS , 2010 .
[3] Luís Gomes,et al. Structuring and composability issues in Petri nets modeling , 2005, IEEE Transactions on Industrial Informatics.
[4] Anthony Massa,et al. Embedded Software Development with eCos , 2002 .
[5] Thomas Strasser,et al. RAPID RECONFIGURATION OF MACHINE-TOOLS FOR HOLONIC MANUFACTURING SYSTEMS , 2005 .
[6] Harald Wurmus. CNet - komponentenbasierter Entwurf verteilter Steuerungssysteme mit Petri-Netzen , 2002 .
[7] Zdenek Hanzálek,et al. Analysis of Real Time Operating System Based Applications , 2003, FORMATS.
[8] Hans-Michael Hanisch. Closed-Loop Modeling and Related Problems of Embedded Control Systems in Engineering , 2004, Abstract State Machines.
[9] Andries E. Brouwer,et al. Block designs , 1996 .
[10] Gerhard Fohler. Embedded Systems Design - The ARTIST Roadmap for Research and Development , 2005 .
[11] Edmund M. Clarke,et al. Model Checking , 1999, Handbook of Automated Reasoning.
[12] C. Petri. Kommunikation mit Automaten , 1962 .
[13] V. Vyatkin,et al. Formal description of an IEC 61499 runtime environment with real-time constraints , 2007, 2007 5th IEEE International Conference on Industrial Informatics.
[14] D. D. Cofer,et al. Event-triggered environments for verification of real-time systems , 2003, Proceedings of the 2003 Winter Simulation Conference, 2003..
[15] V. Vyatkin,et al. Towards aFormal Semantic Model ofIEC61499Function Blocks , 2006 .
[16] A. Zoitl,et al. Framework for Distributed Industrial Automation and Control (4DIAC) , 2008, 2008 6th IEEE International Conference on Industrial Informatics.
[17] Mohamed Khalgui,et al. A behavior model for IEC 61499 function blocks , 2004 .
[18] Z. Hanzalek,et al. Timed automata approach to real time distributed system verification , 2004, IEEE International Workshop on Factory Communication Systems, 2004. Proceedings..
[19] James C. Corbett,et al. Timing Analysis of Ada Tasking Programs , 1996, IEEE Trans. Software Eng..
[20] Valeriy Vyatkin,et al. OOONEIDA: an open, object-oriented knowledge economy for intelligent industrial automation , 2005, IEEE Transactions on Industrial Informatics.
[21] Goran Cengic,et al. Formal Modeling of Function Block Applications Running in IEC 61499 Execution Runtime , 2006, 2006 IEEE Conference on Emerging Technologies and Factory Automation.
[22] Valeriy Vyatkin,et al. A modeling approach for verification of IEC1499 function blocks using net condition/event systems , 1999, 1999 7th IEEE International Conference on Emerging Technologies and Factory Automation. Proceedings ETFA '99 (Cat. No.99TH8467).
[23] A. Zoitl,et al. An Execution Environment for Real-Time Constrained Control Software based on IEC 61499 , 2007, 2007 5th IEEE International Conference on Industrial Informatics.
[24] José Machado,et al. Increasing the efficiency of PLC Program Verification using a plant model , 2003 .
[25] Valeriy Vyatkin,et al. Intelligent mechatronic components: control system engineering using an open distributed architecture , 2003, EFTA 2003. 2003 IEEE Conference on Emerging Technologies and Factory Automation. Proceedings (Cat. No.03TH8696).
[26] Valeriy Vyatkin,et al. Formal validation of intelligent-automated production systems: towards industrial applications , 2006, Int. J. Manuf. Technol. Manag..
[27] Cheng Pang,et al. Towards Formal Verification of IEC61499: modelling of Data and Algorithms in NCES , 2007, 2007 5th IEEE International Conference on Industrial Informatics.
[28] V. Vyatkin. Execution Semantic of Function Blocks based on the Model of Net Condition/Event Systems , 2006, 2006 4th IEEE International Conference on Industrial Informatics.
[29] H.-M. Hanisch,et al. Net condition/event systems with multiple condition outputs , 1995, Proceedings 1995 INRIA/IEEE Symposium on Emerging Technologies and Factory Automation. ETFA'95.
[30] V. Vyatkin,et al. Usability and Interoperability of IEC 61499 based distributed automation systems , 2006, 2006 4th IEEE International Conference on Industrial Informatics.