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

Matthew Potok, Chien Ying Chen, Sayan Mitra, Sibin Mohan

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Abstract

Discrete manufacturing systems are complex cyber-physical 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 SDCWorks- A 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 SDCWorks simulator can be used to evaluate relevant metrics (throughput, latency, and load) for example manufacturing systems.

Original languageEnglish (US)
Title of host publicationProceedings - 9th ACM/IEEE International Conference on Cyber-Physical Systems, ICCPS 2018
PublisherInstitute of Electrical and Electronics Engineers Inc.
Pages88-97
Number of pages10
ISBN (Print)9781538653012
DOIs
StatePublished - Aug 21 2018
Event9th ACM/IEEE International Conference on Cyber-Physical Systems, ICCPS 2018 - Porto, Portugal
Duration: Apr 11 2018Apr 13 2018

Publication series

NameProceedings - 9th ACM/IEEE International Conference on Cyber-Physical Systems, ICCPS 2018

Other

Other9th ACM/IEEE International Conference on Cyber-Physical Systems, ICCPS 2018
CountryPortugal
CityPorto
Period4/11/184/13/18

Keywords

  • cyber physical systems
  • manufacturing
  • verification

ASJC Scopus subject areas

  • Artificial Intelligence
  • Computer Science Applications
  • Control and Optimization

Fingerprint Dive into the research topics of 'SDCWorks: A Formal Framework for Software Defined Control of Smart Manufacturing Systems'. Together they form a unique fingerprint.

  • Cite this

    Potok, M., Chen, C. Y., Mitra, S., & Mohan, S. (2018). SDCWorks: A Formal Framework for Software Defined Control of Smart Manufacturing Systems. In Proceedings - 9th ACM/IEEE International Conference on Cyber-Physical Systems, ICCPS 2018 (pp. 88-97). [8443724] (Proceedings - 9th ACM/IEEE International Conference on Cyber-Physical Systems, ICCPS 2018). Institute of Electrical and Electronics Engineers Inc.. https://doi.org/10.1109/ICCPS.2018.00017