A Mixed Discrete-Continuous Optimization Scheme for Cyber-Physical System Architecture Exploration
John B. Finn, Pierluigi Nuzzo, Alberto Sangiovanni-Vincentelli

Citation
John B. Finn, Pierluigi Nuzzo, Alberto Sangiovanni-Vincentelli. "A Mixed Discrete-Continuous Optimization Scheme for Cyber-Physical System Architecture Exploration". International Conf. Computer-Aided Design, 2015.

Abstract
We propose a methodology for architecture explo- ration for Cyber-Physical Systems (CPS) based on an iterative, optimization-based approach, where a discrete architecture selec- tion engine is placed in a loop with a continuous sizing engine. The discrete optimization routine proposes a candidate architecture to the sizing engine. The sizing routine optimizes over the continuous parameters using simulation to evaluate the physical models and to monitor the requirements. To decrease the number of simulations, we show how balance equations and conservation laws can be leveraged to prune the discrete space, thus achieving significant reduction in the overall runtime. We demonstrate the effectiveness of our methodology on an industrial case study, namely an aircraft environmental control system, showing more than one order of magnitude reduction in optimization time.

Electronic downloads


Internal. This publication has been marked by the author for iCyPhy-only distribution, so electronic downloads are not available without logging in.
Citation formats  
  • HTML
    John B. Finn, Pierluigi Nuzzo, Alberto
    Sangiovanni-Vincentelli. <a
    href="http://www.icyphy.org/pubs/64.html" >A
    Mixed Discrete-Continuous Optimization Scheme for
    Cyber-Physical System Architecture Exploration</a>,
    International Conf. Computer-Aided Design, 2015.
  • Plain text
    John B. Finn, Pierluigi Nuzzo, Alberto
    Sangiovanni-Vincentelli. "A Mixed Discrete-Continuous
    Optimization Scheme for Cyber-Physical System Architecture
    Exploration". International Conf. Computer-Aided
    Design, 2015.
  • BibTeX
    @inproceedings{FinnNuzzoSangiovanniVincentelli15_MixedDiscreteContinuousOptimizationSchemeForCyberPhysical,
        author = {John B. Finn and Pierluigi Nuzzo and Alberto
                  Sangiovanni-Vincentelli},
        title = {A Mixed Discrete-Continuous Optimization Scheme
                  for Cyber-Physical System Architecture Exploration},
        booktitle = {International Conf. Computer-Aided Design},
        year = {2015},
        abstract = {We propose a methodology for architecture explo-
                  ration for Cyber-Physical Systems (CPS) based on
                  an iterative, optimization-based approach, where a
                  discrete architecture selec- tion engine is placed
                  in a loop with a continuous sizing engine. The
                  discrete optimization routine proposes a candidate
                  architecture to the sizing engine. The sizing
                  routine optimizes over the continuous parameters
                  using simulation to evaluate the physical models
                  and to monitor the requirements. To decrease the
                  number of simulations, we show how balance
                  equations and conservation laws can be leveraged
                  to prune the discrete space, thus achieving
                  significant reduction in the overall runtime. We
                  demonstrate the effectiveness of our methodology
                  on an industrial case study, namely an aircraft
                  environmental control system, showing more than
                  one order of magnitude reduction in optimization
                  time.},
        URL = {http://icyphy.org/pubs/64.html}
    }
    

Posted by Pierluigi Nuzzo on 28 Oct 2015.
For additional information, see the Publications FAQ or contact webmaster at icyphy org.

Notice: This material is presented to ensure timely dissemination of scholarly and technical work. Copyright and all rights therein are retained by authors or by other copyright holders. All persons copying this information are expected to adhere to the terms and constraints invoked by each author's copyright.