Follow
Cheng Pang
Cheng Pang
Googol Technology Co., Ltd.
Verified email at ieee.org
Title
Cited by
Cited by
Year
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
1442008
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
682013
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
462013
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
392008
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
312016
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
312015
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
312014
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
302017
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
292020
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
292015
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
292015
IEC 61499 function block implementation of Intelligent Mechatronic Component
C Pang, V Vyatkin
2010 8th IEEE International Conference on Industrial Informatics, 1124-1129, 2010
282010
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
242015
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
222014
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
202013
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
192016
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
192014
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
192011
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
182015
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
182015
The system can't perform the operation now. Try again later.
Articles 1–20