A Mixed Discrete-Continuous Optimization Scheme for Cyber-Physical System Architecture Exploration
John B. Finn,Pierluigi Nuzzo,Alberto Sangiovanni-Vincentelli +2 more
- pp 216-223
TLDR
This work proposes a methodology for architecture exploration for Cyber-Physical Systems (CPS) based on an iterative, optimization-based approach, where a discrete architecture selection engine is placed in a loop with a continuous sizing engine.Abstract:
We propose a methodology for architecture exploration for Cyber-Physical Systems (CPS) based on an iterative, optimization-based approach, where a discrete architecture selection 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.read more
Citations
More filters
Journal ArticleDOI
Driving-Style-Based Codesign Optimization of an Automated Electric Vehicle: A Cyber-Physical System Approach
Chen Lv,Xiaosong Hu,Alberto Sangiovanni-Vincentelli,Yutong Li,Clara Marina Martinez,Dongpu Cao +5 more
TL;DR: Test results show that an automated vehicle with optimized plant and controller can perform its tasks well under aggressive, moderate, and conservative driving styles, further improving the overall performance.
Journal ArticleDOI
Design Automation for Smart Building Systems
Ruoxi Jia,Baihong Jin,Ming Jin,Yuxun Zhou,Ioannis C. Konstantakopoulos,Han Zou,Joyce Kim,Dan Li,Weixi Gu,Reza Arghandeh,Pierluigi Nuzzo,Stefano Schiavon,Alberto Sangiovanni-Vincentelli,Costas J. Spanos +13 more
TL;DR: This paper identifies, abstract, and formalize components of smart buildings, and presents a design flow that maps high-level specifications of desired building applications to their physical implementations under the PBD framework.
Proceedings ArticleDOI
Keep it SIMPLEX: satisfying multiple goals with guarantees in control-based self-adaptive systems
Stepan Shevtsov,Danny Weyns +1 more
TL;DR: Simplex Control Adaptation, SimCA, a new approach to self-adaptation that satisfies multiple goals, while being optimal with respect to an additional goal, is presented.
Compositional Design of Cyber-Physical Systems Using Contracts
TL;DR: This dissertation introduces a design methodology that addresses the complexity and heterogeneity of cyber-physical systems by using assume-guarantee contracts to formalize the design process and enable the realization of system architectures and control algorithms in a hierarchical and compositional way.
Journal ArticleDOI
MixCPS: Mixed Time/Event-Triggered Architecture of Cyber–Physical Systems
Jianguo Yao,Xu Xin,Xue Liu +2 more
TL;DR: This paper presents a mixed time/event-triggered architecture called MixCPS to make CPS applications work in the integrated and optimized manner, and proposes a new timing performance metric, i.e., the application-level delay, which is induced from sensor to actuator and captures the coupling between cyber and physical worlds.
References
More filters
Journal ArticleDOI
A simplex method for function minimization
John A. Nelder,R. Mead +1 more
TL;DR: A method is described for the minimization of a function of n variables, which depends on the comparison of function values at the (n 41) vertices of a general simplex, followed by the replacement of the vertex with the highest value by another point.
Book
Empirical Model-Building and Response Surfaces
TL;DR: In this article, the authors present a Second-Order Response Surface Methodology (SRSM) for response surface design, which is based on Maxima and Ridge systems with second-order response surfaces.
Journal ArticleDOI
Empirical Model-Building and Response Surfaces
TL;DR: This work discusses the use of Graduating Functions, design Aspects of Variance, Bias, and Lack of Fit, and Practical Choice of a Response Surface Design in relation to Second--Order Response Surfaces.
Book
Introduction to Fluid Mechanics
Robert W. Fox,Alan T McDonald +1 more
TL;DR: In this article, the physical concepts of fluid mechanics and methods of analysis, beginning from first principles, are discussed, and a more orderly approach to problem solving is presented, starting from basic equations, states all assumptions clearly, and relates results to expected physical behavior with the aid of 103 example problems.