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 …

[PDF][PDF] SDCWorks: A Formal Framework for Software Defined Control of Smart Manufacturing Systems

M Potok, CY Chen, S Mitra, S Mohan - cychen.me
Discrete manufacturing systems are complex cyberphysical systems (CPS) and their
availability, performance, and quality have a big impact on the economy. Smart …

SDCWorks: A Formal Framework for Software Defined Control of Smart Manufacturing Systems

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

[PDF][PDF] SDCWorks: A Formal Framework for Software Defined Control of Smart Manufacturing Systems

M Potok, CY Chen, S Mitra, S Mohan - sibin.github.io
Discrete manufacturing systems are complex cyberphysical systems (CPS) and their
availability, performance, and quality have a big impact on the economy. Smart …

SDCWorks: A Formal Framework for Software Defined Control of Smart Manufacturing Systems

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

[PDF][PDF] SDCWorks: A Formal Framework for Software Defined Control of Smart Manufacturing Systems

M Potok, CY Chen, S Mitra, S Mohan - mitras.ece.illinois.edu
Discrete manufacturing systems are complex cyberphysical systems (CPS) and their
availability, performance, and quality have a big impact on the economy. Smart …

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

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

[PDF][PDF] SDCWorks: A Formal Framework for Software Defined Control of Smart Manufacturing Systems

M Potok, CY Chen, S Mitra, S Mohan - researchgate.net
Discrete manufacturing systems are complex cyberphysical systems (CPS) and their
availability, performance, and quality have a big impact on the economy. Smart …

SDCWorks: A Formal Framework for Software Defined Control of Smart Manufacturing Systems

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

[PDF][PDF] SDCWorks: A Formal Framework for Software Defined Control of Smart Manufacturing Systems

M Potok, CY Chen, S Mitra, S Mohan - mitras.ece.illinois.edu
Discrete manufacturing systems are complex cyberphysical systems (CPS) and their
availability, performance, and quality have a big impact on the economy. Smart …