IEEE - Institute of Electrical and Electronics Engineers, Inc. - On service orchestration of cyber physical system and its verification based on Petri net

2016 IEEE 5th Global Conference on Consumer Electronics

Author(s): Mohd Anuaruddin Bin Ahmadon ; Shingo Yamaguchi
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Publication Date: 1 October 2016
Conference Location: Kyoto, Japan
Conference Date: 11 October 2016
Page(s): 1 - 4
ISBN (Electronic): 978-1-5090-2333-2
DOI: 10.1109/GCCE.2016.7800421
Regular:

Cyber physical system (CPS for short) that consists of distributed open subsystems are connected through decentralized control. Its verification in the open system is hard but is important. In... View More

Advertisement