Closed-loop modeling in future automation system engineering and validation V Vyatkin, HM Hanisch, C Pang, CH Yang IEEE Transactions on Systems, Man, and Cybernetics, Part C (Applications and …, 2008 | 144 | 2008 |
Model-driven development of control software for distributed automation: a survey and an approach CH Yang, V Vyatkin, C Pang IEEE Transactions on Systems, Man, and Cybernetics: Systems 44 (3), 292-305, 2013 | 68 | 2013 |
Virtual smart metering in automation and simulation of energy-efficient lighting system C Pang, V Vyatkin, Y Deng, M Sorouri 2013 IEEE 18th Conference on Emerging Technologies & Factory Automation …, 2013 | 46 | 2013 |
Automatic model generation of IEC 61499 function block using net condition/event systems C Pang, V Vyatkin 2008 6th IEEE International Conference on Industrial Informatics, 1133-1138, 2008 | 39 | 2008 |
User-friendly formal specification languages-conclusions drawn from industrial experience on model checking A Pakonen, C Pang, I Buzhinsky, V Vyatkin 2016 IEEE 21st International Conference on Emerging Technologies and Factory …, 2016 | 31 | 2016 |
Counterexample-guided simulation framework for formal verification of flexible automation systems S Patil, V Vyatkin, C Pang 2015 IEEE 13th International Conference on Industrial Informatics (INDIN …, 2015 | 31 | 2015 |
A portability study of IEC 61499: Semantics and tools C Pang, S Patil, CW Yang, V Vyatkin, A Shalyto 2014 12th IEEE International Conference on Industrial Informatics (INDIN …, 2014 | 31 | 2014 |
Discrete-event-based deterministic execution semantics with timestamps for industrial cyber-physical systems W Dai, C Pang, V Vyatkin, JH Christensen, X Guan IEEE Transactions on Systems, Man, and Cybernetics: Systems 50 (3), 851-862, 2017 | 30 | 2017 |
Utilizing software design patterns in product-driven manufacturing system: A case study D Drozdov, UD Atmojo, C Pang, S Patil, MI Ali, A Tenhunen, T Oksanen, ... Service Oriented, Holonic and Multi-agent Manufacturing Systems for Industry …, 2020 | 29 | 2020 |
Requirements-aided automatic test case generation for industrial cyber-physical systems R Sinha, C Pang, GS Martínez, J Kuronen, V Vyatkin 2015 20th international conference on engineering of complex computer …, 2015 | 29 | 2015 |
Neutralizing semantic ambiguities of function block architecture by modeling with ASM S Patil, V Dubinin, C Pang, V Vyatkin Perspectives of System Informatics: 9th International Ershov Informatics …, 2015 | 29 | 2015 |
IEC 61499 function block implementation of Intelligent Mechatronic Component C Pang, V Vyatkin 2010 8th IEEE International Conference on Industrial Informatics, 1124-1129, 2010 | 28 | 2010 |
Time-Complemented Event-Driven Architecture for Distributed Automation Systems C Pang, J Yan, V Vyatkin IEEE Transactions on Systems, Man, and Cybernetics: Systems 45 (8), 1165-1177, 2015 | 24 | 2015 |
Service-oriented distributed control software design for process automation systems W Dai, J Peltola, V Vyatkin, C Pang 2014 IEEE International Conference on Systems, Man, and Cybernetics (SMC …, 2014 | 22 | 2014 |
On composition of mechatronic components enabled by interoperability and portability provisions of IEC 61499: A case study S Patil, J Yan, V Vyatkin, C Pang Emerging Technologies & Factory Automation (ETFA), 2013 IEEE 18th Conference …, 2013 | 20 | 2013 |
A study on user-friendly formal specification languages for requirements formalization C Pang, A Pakonen, I Buzhinsky, V Vyatkin 2016 IEEE 14th International Conference on Industrial Informatics (INDIN …, 2016 | 19 | 2016 |
Smart indoor lighting control: Power, illuminance, and colour quality R Baniya, M Maksimainen, S Sierla, C Pang, CW Yang, V Vyatkin 2014 IEEE 23rd International Symposium on Industrial Electronics (ISIE …, 2014 | 19 | 2014 |
Distributed IEC 61499 material handling control based on time synchronization with IEEE 1588 C Pang, J Yan, V Vyatkin, S Jennings 2011 IEEE International Symposium on Precision Clock Synchronization for …, 2011 | 19 | 2011 |
Towards cyber-physical agnosticism by enhancing IEC 61499 with PTIDES model of computations V Vyatkin, C Pang, S Tripakis IECON 2015-41st Annual Conference of the IEEE Industrial Electronics Society …, 2015 | 18 | 2015 |
Formal modeling of testing software for cyber-physical automation systems I Buzhinsky, C Pang, V Vyatkin 2015 IEEE Trustcom/BigDataSE/ISPA 3, 301-306, 2015 | 18 | 2015 |