Symbiotic CPS Design-Space Exploration through Iterated Optimization
Iñigo X. Incer,Valmik Prabhu,Anwesha Chattoraj,Eric Vin,Daniel J. Fremont,Ankur Mehta,Alberto Sangiovanni-Vincentelli,S. Shankar Sastry,Sanjit A. Seshia +8 more
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
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
Janos Sztipanovits,Xenofon Koutsoukos,Gabor Karsai,Nicholas Kottenstette,Panos J. Antsaklis,Vijay Gupta,Bill Goodwine,John S. Baras,Shige Wang +8 more
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
Alberto Sangiovanni-Vincentelli,Alberto Sangiovanni-Vincentelli,Werner Damm,Werner Damm,Roberto Passerone +4 more
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
Albert Benveniste,Benoît Caillaud,Dejan Nickovic,Roberto Passerone,Jean-Baptiste Raclet,Philipp Reinkemeier,Alberto Sangiovanni-Vincentelli,Werner Damm,Thomas A. Henzinger,Kim Guldstrand Larsen +9 more
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)
Constraint-Based Support for Insightful Design Decision Making and Engineering Design Exploration
Hiroyuki Sawada,Xiu-Tian Yan +1 more