Symbiotic CPS Design-Space Exploration through Iterated Optimization

Sheng-Jung Yu, Inigo Incer, Valmik Prabhu, Anwesha Chattoraj, Eric Vin, Daniel J. Fremont, Ankur Mehta, Alberto L. Sangiovanni-Vincentelli, Shankar Sastry, and Sanjit A. Seshia. Symbiotic CPS Design-Space Exploration through Iterated Optimization. In Proceedings of Cyber-Physical Systems and Internet of Things Week (CPS-IoT Week), pp. 92–99, ACM, 2023.

Download

[HTML] 

Abstract

Cyber-physical systems (CPSs) are complex systems comprised of computational processes, communication networks, and elements interacting with the physical world. The design of the CPSs involves many domain-specific tools and design flows created by engineers with diverse domain knowledge. As the scale of the systems increases, the heterogeneity nature of CPS design prolongs the CPS design process, making exhaustive design-space exploration infeasible. The symbiotic design methodology, in which the designers interact with optimization tools during the design process, is therefore promising to facilitate the design process by performing design exploration in a properly restricted design space. We present a symbiotic design methodology, which explores the design space iteratively and optimizes the system by exploiting the collaboration between designers and tools. The optimization tools perform the design space exploration, while the human designers use their expertise to guide the exploration by restricting the design space. Experimental results based on a robot car configuration problem and an unmanned aerial vehicle design problem show that the methodology can efficiently and effectively discover unconventional designs while optimizing the design objectives.

BibTeX

@inproceedings{yu-cpsweek23,
  author       = {Sheng{-}Jung Yu and
                  Inigo Incer and
                  Valmik Prabhu and
                  Anwesha Chattoraj and
                  Eric Vin and
                  Daniel J. Fremont and
                  Ankur Mehta and
                  Alberto L. Sangiovanni{-}Vincentelli and
                  Shankar Sastry and
                  Sanjit A. Seshia},
  title        = {Symbiotic {CPS} Design-Space Exploration through Iterated Optimization},
  booktitle    = {Proceedings of Cyber-Physical Systems and Internet of Things Week (CPS-IoT Week)},
  pages        = {92--99},
  publisher    = {{ACM}},
  year         = {2023},
  abstract  = {Cyber-physical systems (CPSs) are complex systems comprised of computational processes, communication networks, and elements interacting with the physical world. The design of the CPSs involves many domain-specific tools and design flows created by engineers with diverse domain knowledge. As the scale of the systems increases, the heterogeneity nature of CPS design prolongs the CPS design process, making exhaustive design-space exploration infeasible. The symbiotic design methodology, in which the designers interact with optimization tools during the design process, is therefore promising to facilitate the design process by performing design exploration in a properly restricted design space. We present a symbiotic design methodology, which explores the design space iteratively and optimizes the system by exploiting the collaboration between designers and tools. The optimization tools perform the design space exploration, while the human designers use their expertise to guide the exploration by restricting the design space. Experimental results based on a robot car configuration problem and an unmanned aerial vehicle design problem show that the methodology can efficiently and effectively discover unconventional designs while optimizing the design objectives.},
}