@InProceedings{PotokCMM:ICCPS2018,
  author       = {Matthew Potok and Chien-Ying Chen and Sayan Mitra and Sibin Mohan},
  title        = {SDCWorks: A Formal Framework for Software Defined Control of Smart Manufacturing Systems},
  booktitle    = {International Conference on Cyberphysical Systems (ICCPS 2018)},
  year         = {2018},
  abstract     = {Discrete manufacturing systems are complex cyberphysical systems (CPS) and their availability, performance, and quality have a big impact on the economy. Smart manufacturing promises to improve these aspects. One key approach that is being pursued in this context is the creation of centralized software defined control (SDC) architectures and strategies that use diverse sensors and data sources to make manufacturing more adaptive, resilient, and programmable. In this paper, we present the SDCWorks?the modeling and simulation framework for SDC. It consists of the semantic structures for creating models, a baseline controller, and an open source implementation of a discrete event simulator for SDCWorks models. We provide the semantics of such a manufacturing system in terms of a discrete transition system which sets up the platform for future research in a new class of problems in formal verification, synthesis, and monitoring. We illustrate the expressive power of SDCWorks by modeling the realistic SMART manufacturing testbed of University of Michigan. We show how our open source the SDCWorks simulator can be used to evaluate relevant metrics (throughput, latency, and load) for example manufacturing systems.},
  keywords     = {Smart manufacturing},
  owner        = {mitras},
  pdfslidesurl = {research/presentations/2018/SDCWorks-ICCPS.pdf},
  pdfurl       = {research/2018/88-potok.pdf},
  url          = {https://dl.acm.org/citation.cfm?id=3207896.3207907},
}