Integration of Correct-by-Construction BIP Models into the MetroII Design Space Exploration Flow

Chat with Graph Search

Ask any question about EPFL courses, lectures, exercises, research, news, etc. or try the example questions below.

DISCLAIMER: The Graph Chatbot is not programmed to provide explicit or categorical answers to your questions. Rather, it transforms your questions into API requests that are distributed across the various IT services officially administered by EPFL. Its purpose is solely to collect and recommend relevant references to content that you can explore to help you answer your questions.

Modern integrated circuits are tiny yet incredibly complex technological artifacts, composed of millions and billions of individual structures working in unison. Managing their complexity and facilitating their design drove part of the co-evolution of mode ...

The paper details the process of developing the ITER Plasma Control System (PCS), that is, how to design and deploy it systematically, in the most efficient and effective manner. The integrated nature of the ITER PCS, with its multitude of coupled control ...

In this paper, we present a new parameterization and optimization procedure for minimizing the weight of ribbed plates. The primary goal is to reduce embodied CO2 in concrete floors as part of the effort to diminish the carbon footprint of the construction ...

Exploring a wide range of design options is crucial for every sound conceptual design process. In the conventional structural design workflow, optimization techniques are generally employed to generate well-performing design options. However, focusing only ...

At the conceptual stage, building performance simulation (BPS) based evaluations are being increasingly used for tasks such as ranking of competing massing design proposals. However, such conceptual stage evaluations suffer from information deficiency in b ...

Exploring a wide range of relevant design options from the outset is crucial for every sound conceptual design process. Optimization techniques are generally employed to generate well-performing structural design options. However, focusing only on performa ...

Driven by the rising popularity of chatbots such as ChatGPT, there is a budding line of research proposing guidelines for chatbot design, both in general and specifically for digital education. Nevertheless, few researchers have focused on providing concep ...

In this paper, we present the first results of a systematically designed multi-input multi-output gas-injection controller on Tokamak a Configuration Variable (TCV). We demonstrate the simultaneous real-time control of the NII emission front position and l ...

The demise of Moore's Law and Dennard scaling has resulted in diminishing performance gains for general-purpose processors, and so has prompted a surge in academic and commercial interest for hardware accelerators. Specialized hardware has already redefine ...

Despite scientific and technological advances in the field of assistive technology (AT) for people with visual impairment (VI), technological designs are frequently based on a poor understanding of the physical and social context of use, resulting in devic ...

Studies of cybersickness (CS) often require a significant invest- ment in creating the primary VR environment and other experiment- related features. In addition, minor differences in VR content in independent studies may lead to opposite results. This mot ...

A design concept is proposed for the building block, a dot, of programmable braille readers utilizing bistable shell buckling, magnetic actuation, and pneumatic loading. The design process is guided by Finite Element simulations, which are initially valida ...

Personalized ranking methods are at the core of many systems that learn to produce recommendations from user feedbacks. Their primary objective is to identify relevant items from very large vocabularies and to assist users in discovering new content. These ...

The design of efficient energy systems, through the development of new technologies and the improvement of current ones, requires the use of rigorous process synthesis methods for generating and analysing design alternatives. We introduce a digital twin of ...

Cargo drones are designed to carry payloads with predefined shape, size, and/or mass. This lack of flexibility requires a fleet of diverse drones tailored to specific cargo dimensions. Here we propose a new reconfigurable drone based on a modular design th ...

The main goal of my research is to establish guidelines for workplace design based on human biomechanics: specifically sitting workplaces and handling areas in 1/6G-1/3G (Moon, Mars) conditions. Such a workplace could be used in long-term space missions in ...

Design exploration is a creative process that consists of the incremental generation of design candidates. Supported by digital means or not, the process handles the ill-structured nature of design and allows creativity to flourish through diversity of des ...

This paper introduces a computational framework that fosters collaboration between architects, engineers, and contractors by bridging the gap between architectural design, structural analysis, and digital construction. The present research is oriented towa ...

Context: Exploring the design space is an important process in a design task. In this study, we considered design space exploration for the learners in vocational education and training (VET). The goal of the study was to investigate how they explore the d ...

With the advent of intelligent sensor nodes in everyday life, low power aspects of system design become more and more important. Adaptive body biasing is a promising methodology to achieve dynamic adaptation of the tradeoff between performance and energy b ...

Integration of Correct-by-Construction BIP Models into the MetroII Design Space Exploration Flow

Chat with Graph Search

Graph generative deep learning models with an application to circuit topologies

Strategy to systematically design and deploy the ITER plasma control system: A system engineering and model-based design approach

Mesh-based topology, shape and sizing optimization of ribbed plates

Computational conceptual design — typological exploration of spatial truss systems through optimization

Risk of incorrect choices due to uncertainty in BPS evaluations of conceptual-stage neighbourhood-scale building designs

Computational Conceptual Design – Typological Exploration Of Spatial Truss Systems Through Optimization

TRACE: A Conceptual Model to Guide the Design of Educational Chatbots

Systematic design of a multi-input multi-output controller by model-based decoupling: a demonstration on TCV using multi-species gas injection

Building Chips Faster: Hardware-Compiler Co-Design for Accelerated RTL Simulation

Assessing the implementation of user-centred design standards on assistive technology for persons with visual impairments: a systematic review

Cybersickness assessment framework(CSAF): An Open Source Repository for Standardized Cybersickness Experiments

Leveraging the Snap Buckling of Bistable Magnetic Shells to Design a Refreshable Braille Dot

Dynamic Personalized Ranking

Overcoming decision paralysis—A digital twin for decision making in energy system design

Reconfigurable Drone System for Transportation of Parcels With Variable Mass and Size

Biomechanics at the workplace under hypogravity conditions

Policy-based Exploration of Equilibrium Representations (PEER): A topology grammar for generative conceptual structural design

A Collaborative Workflow to Automate the Design, Analysis, and Construction of Integrally-Attached Timber Plate Structures

How Florist Apprentices Explore Bouquet Designs: Supporting Design Space Exploration for Vocational Students

Adaptive Body Biasing in Strong Body Factor Technologies