Discrete-Event-Based Deterministic Execution Semantics With Timestamps for Industrial Cyber-Physical Systems
暂无分享,去创建一个
[1] Valeriy Vyatkin,et al. Towards IEC 61499 models of computation in Ptolemy II , 2015, IECON 2015 - 41st Annual Conference of the IEEE Industrial Electronics Society.
[2] Valeriy Vyatkin,et al. Time-Complemented Event-Driven Architecture for Distributed Automation Systems , 2015, IEEE Transactions on Systems, Man, and Cybernetics: Systems.
[3] Goran Cengic,et al. On Formal Analysis of IEC 61499 Applications, Part B: Execution Semantics , 2010, IEEE Transactions on Industrial Informatics.
[4] V. Vyatkin,et al. On comparisons of the ISaGRAF implementation of IEC 61499 with FBDK and other implementations , 2008, 2008 6th IEEE International Conference on Industrial Informatics.
[5] Edward A. Lee,et al. Distributed Real-Time Software for Cyber–Physical Systems , 2012, Proceedings of the IEEE.
[6] Zoran A. Salcic,et al. A Synchronous Approach for IEC 61499 Function Block Implementation , 2009, IEEE Transactions on Computers.
[7] Kleanthis Thramboulidis,et al. An industrial evaluation of SysML: The case of a nuclear automation modernization project , 2013, 2013 IEEE 18th Conference on Emerging Technologies & Factory Automation (ETFA).
[8] Alberto Sangiovanni-Vincentelli,et al. Methodology and Tools for Next Generation Cyber‐Physical Systems: The iCyPhy Approach , 2015 .
[9] Valeriy Vyatkin,et al. Formal Modelling of Distributed Automation CPS with CP-Agnostic Software , 2016, SOHOMA.
[10] V. Vyatkin. The IEC 61499 standard and its semantics , 2009, IEEE Industrial Electronics Magazine.
[11] Edward A. Lee. Modeling concurrent real-time processes using discrete events , 1999, Ann. Softw. Eng..
[12] Piran Tata,et al. Proposing a novel IEC61499 runtime framework implementing the Cyclic Execution semantics , 2009, 2009 7th IEEE International Conference on Industrial Informatics.
[13] Alois Zoitl,et al. Real-Time Execution for IEC 61499 , 2008 .
[14] Rainer Drath. Let's talk AutomationML what is the effort of AutomationML programming? , 2012, Proceedings of 2012 IEEE 17th International Conference on Emerging Technologies & Factory Automation (ETFA 2012).
[15] Valeriy Vyatkin,et al. Bridging Service-Oriented Architecture and IEC 61499 for Flexibility and Interoperability , 2015, IEEE Transactions on Industrial Informatics.
[16] Edward A. Lee,et al. A Programming Model for Time-Synchronized Distributed Real-Time Systems , 2007, 13th IEEE Real Time and Embedded Technology and Applications Symposium (RTAS'07).
[17] Robert W. Brennan,et al. Re-evaluating Event-Triggered and Time-Triggered Systems , 2006, 2006 IEEE Conference on Emerging Technologies and Factory Automation.
[18] Valeriy Vyatkin,et al. Towards cyber-physical agnosticism by enhancing IEC 61499 with PTIDES model of computations , 2015, IECON 2015 - 41st Annual Conference of the IEEE Industrial Electronics Society.
[19] Edward A. Lee,et al. Execution Strategies for PTIDES, a Programming Model for Distributed Embedded Systems , 2009, 2009 15th IEEE Real-Time and Embedded Technology and Applications Symposium.
[20] Edward A. Lee,et al. Actor-Oriented Design of Embedded Hardware and Software Systems , 2003, J. Circuits Syst. Comput..
[21] Alois Zoitl,et al. Guidelines and Patterns for Building Hierarchical Automation Solutions in the IEC 61499 Modeling Language , 2013, IEEE Transactions on Industrial Informatics.
[22] Reinder J. Bril,et al. Limited preemptive scheduling of mixed time-triggered and event-triggered tasks , 2013, 2013 IEEE 18th Conference on Emerging Technologies & Factory Automation (ETFA).
[23] Thomas I. Strasser,et al. Design and Execution Issues in IEC 61499 Distributed Automation and Control Systems , 2011, IEEE Transactions on Systems, Man, and Cybernetics, Part C (Applications and Reviews).
[24] Edward A. Lee,et al. Introduction to Embedded Systems - A Cyber-Physical Systems Approach , 2013 .
[25] Valeriy Vyatkin,et al. Software Engineering in Industrial Automation: State-of-the-Art Review , 2013, IEEE Transactions on Industrial Informatics.
[26] Hans-Michael Hanisch,et al. A New DES Control Synthesis Approach Based on Structural Model Properties , 2013, IEEE Transactions on Industrial Informatics.
[27] Christos G. Cassandras,et al. Introduction to Discrete Event Systems , 1999, The Kluwer International Series on Discrete Event Dynamic Systems.
[28] Valeriy Vyatkin,et al. Semantics-Robust Design Patterns for IEC 61499 , 2012, IEEE Transactions on Industrial Informatics.
[29] Wayne H. Wolf,et al. Cyber-physical Systems , 2009, Computer.
[30] Francesco Basile,et al. On the Implementation of Industrial Automation Systems Based on PLC , 2013, IEEE Transactions on Automation Science and Engineering.
[31] Valeriy Vyatkin,et al. Cyber-physical components for heterogeneous modelling, validation and implementation of smart grid intelligence , 2014, 2014 12th IEEE International Conference on Industrial Informatics (INDIN).
[32] Robert Bosch,et al. Comparison of Event-Triggered and Time-Triggered Concepts with Regard to Distributed Control Systems , 2004 .
[33] Valeriy Vyatkin,et al. Automatically Generated Layered Ontological Models for Semantic Analysis of Component-Based Control Systems , 2013, IEEE Transactions on Industrial Informatics.