SDCWorks: a formal framework for software defined control of smart manufacturing systems

M Potok, CY Chen, S Mitra… - 2018 ACM/IEEE 9th …, 2018 - ieeexplore.ieee.org
Discrete manufacturing systems are complex cyber-physical systems (CPS) and their
availability, performance, and quality have a big impact on the economy. Smart …

Closing the loop in IoT-enabled manufacturing systems: Challenges and opportunities

K Barton, F Maturana, D Tilbury - 2018 Annual American …, 2018 - ieeexplore.ieee.org
Revolutionary computing technologies are driving significant advances in the manufacturing
domain. High-fidelity simulations and virtual design environments allow unprecedented …

A new architecture for controlling smart manufacturing systems

D Romero, AT Jones, T Wuest - 2018 International Conference …, 2018 - ieeexplore.ieee.org
Smart systems are emerging across a variety of domains; one popular example of such
smart systems are smart manufacturing systems. Sophisticated advances in manufacturing …

Design Automation for Cyber-Physical Production Systems: Lessons Learned from the DeFacto Project

M Lora, S Gaiardelli, C Oh, S Spellini… - … , Automation & Test …, 2024 - ieeexplore.ieee.org
The DeFacto project, supported by the European Commission via a Marie Skłodowska-
Curie Global Individual Fellowship, tackles the complexity arising from the transformation of …

A study on performance evaluation and status-based decision for cyber-physical production systems

F Wang, F Ju, Y Lu - 2017 13th IEEE Conference on …, 2017 - ieeexplore.ieee.org
In concert with advances in information and communication technology and their application
to manufacturing environments, physical entities in factories are acquiring more intelligence …

LSAT: Specification and analysis of product logistics in flexible manufacturing systems

B van der Sanden, Y Blankenstein… - 2021 IEEE 17th …, 2021 - ieeexplore.ieee.org
LSAT (Logistics Specification and Analysis Tool) is a tool for rapid design-space exploration
of supervisory controllers that steer the product logistics and orchestrate the behavior in …

Industrial cyber physical systems: A survey for control-engineering tools

M Jbair, B Ahmad, A Mus' ab H… - 2018 IEEE Industrial …, 2018 - ieeexplore.ieee.org
Cyber Physical Systems (CPS) play significant role in shaping smart manufacturing systems.
CPS integrate computation with physical processes where behaviors are represented in …

Bridging the gap between semantics and control for industry 4.0 and autonomous production

B Kast, S Albrecht, W Feiten… - 2019 IEEE 15th …, 2019 - ieeexplore.ieee.org
Small lot size production requires decoupled specification of the product and the production
system to allow for flexible manufacturing, which leads to autonomous systems. Their key …

[PDF][PDF] NSF Workshop on Research needs in Advanced Sensors, Controls, Platforms, and Modeling (ASCPM) for Smart Manufacturing

T Edgar, J Davis, M Burka - National Science Foundation …, 2015 - manufacturingusa.com
Summary Smart Manufacturing and Digital Manufacturing are the evolving descriptors for
the business and operational application of advanced cyber technologies in manufacturing …

Towards a formal description and automatic execution of production processes

M Vještica, V Dimitrieski, M Pisarić… - 2019 IEEE 15th …, 2019 - ieeexplore.ieee.org
Industry 4.0 enforces digital revolution in the manufacturing industry by introducing smart
devices and knowledge bases to form intelligent manufacturing information systems. One of …