scispace - formally typeset
Open AccessProceedings ArticleDOI

Symbiotic CPS Design-Space Exploration through Iterated Optimization

Reads0
Chats0
TLDR
In this article , a symbiotic design methodology is proposed to explore the design space iteratively and optimize the system by exploiting the collaboration between designers and tools, while the human designers use their expertise to guide the exploration.
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.

read more

Content maybe subject to copyright    Report

Citations
More filters
Proceedings ArticleDOI

Tackling simulation inconsistencies in the robot design process by selective empirical evaluation

TL;DR: In this paper , a computational design pipeline that allows evaluation of the robot and environment parameters in a robust manner, giving insight into interactions that can lead to mismatch between simulated behaviour and reality, is presented.
References
More filters
Journal ArticleDOI

The past, present and future of cyber-physical systems: a focus on models.

TL;DR: Two projects show that deterministic CPS models with faithful physical realizations are possible and practical and shows that the timing precision of synchronous digital logic can be practically made available at the software level of abstraction.

Quo Vadis, SLD? Reasoning About the Trends and Challenges of System Level Design Recognizing common requirements for co-design of hardware and software in diverse systems may lead to productivity gains, lower costs and first-pass design success.

TL;DR: In this paper, the authors present the challenges faced by industry in system level design and propose a design methodology, platform-based design (PBD), that has the potential of addres- sing these challenges in a unified way.
Journal ArticleDOI

Toward a Science of Cyber–Physical System Integration

TL;DR: A passivity-based design approach that decouples stability from timing uncertainties caused by networking and computation is presented, and cross-domain abstractions that provide effective solution for model-based fully automated software synthesis and high-fidelity performance analysis are described.
Journal ArticleDOI

Taming Dr. Frankenstein: Contract-Based Design for Cyber-Physical Systems

TL;DR: A design methodology and a few examples in controller design whereby contract- based design can be merged with platform-based design to formulate the design process as a meet-in-the-middle approach, where design requirements are implemented in a subsequent refinement process using as much as possible elements from a library of available components.
Book

Contracts for System Design

TL;DR: This paper intends to provide treatment where contracts are precisely defined and characterized so that they can be used in design methodologies such as the ones mentioned above with no ambiguity, and provides an important link between interfaces and contracts to show similarities and correspondences.
Related Papers (5)