This study conducted a comprehensive review of big data supply chain analytics (BDSCA).
The paper explored the application of big data in supply chain management and its benefits …

Purpose The purpose of this paper is to review the current research on theoretical
foundations and applications for CPS from 2017 to 2019 including the applications in library …

Occupational safety and health (OSH) should be regarded as a crucial challenge that affects
the public world widely. Work-related accidents and occupational illness contribute to …

In contemporary developments like Cyber Physical System (CPS) and the Internet of Things
(IoT), computerized integrated connection is seen as a trend. Some of the unique research …

'Co-design'problems try to simultaneously design the physical and control components to
improve the overall system performance. However, existing co-design paradigms cannot …

This study introduces an innovative human-computer collaboration framework for mining
requirements from closed-loop control models in industrial systems. Traditional approaches …

This paper studies the control synthesis problem for energy harvesting MEMS devices with
load-based spectral logic specifications. Firstly, a novel formal language has been proposed …

Formal specification plays crucial roles in the rigorous verification and design of automobile
steering systems. The challenge of getting high-quality formal specifications is well …

Cyber-physical systems (CPS) are rapidly revolutionizing our economy and society in
domains including agriculture, health care, transportation, manufacturing, etc. Many CPS are …