English
Related papers

Related papers: An Adaptive Design Methodology for Reduction of Pr…

200 papers

Ground truth labels/outcomes are critical for advancing scientific and engineering applications, e.g., evaluating the treatment effect of an intervention or performance of a predictive model. Since randomly sampling inputs for labeling can…

Machine Learning · Computer Science 2025-02-11 Daksh Mittal , Yuanzhe Ma , Shalmali Joshi , Hongseok Namkoong

Many software systems have become too large and complex to be managed efficiently by human administrators, particularly when they operate in uncertain and dynamic environments and require frequent changes. Requirements-driven adaptation…

Software Engineering · Computer Science 2020-01-24 Yehia Elrakaiby , Paola Spoletini , Bashar Nuseibeh

Experimental design in field robotics is an adaptive human-in-the-loop decision-making process in which an experimenter learns about system performance and limitations through interactions with a robot in the form of constructed…

Robotics · Computer Science 2022-10-18 Jason M. Gregory , Sarah Al-Hussaini , Ali-akbar Agha-mohammadi , Satyandra K. Gupta

The software development process is considered as one of the key guidelines in the creation of said software and this approach is necessary for providing a more efficient yet satisfactory output. Without separation of work into distinct…

Software Engineering · Computer Science 2020-12-15 Alya Hannah Ahmad Kamal , Caryn Chuah Yi Yen , Gan Jia Hui , Pang Sze Ling , Fatima-tuz-Zahra

The adoption of DevOps practices in embedded systems and firmware development is emerging as a response to the growing complexity of modern hardware--software co-designed products. Unlike cloud-native applications, embedded systems…

Software Engineering · Computer Science 2025-07-02 Parthiv Katapara , Anand Sharma

The increasing availability of data and advancements in computational intelligence have accelerated the adoption of data-driven methods (DDMs) in product development. However, their integration into product development remains fragmented.…

Self-adaptive systems offer several attack surfaces due to the communication via different channels and the different sensors required to observe the environment. Often, attacks cause safety to be compromised as well, making it necessary to…

Cryptography and Security · Computer Science 2023-09-19 Thomas Witte , Raffaela Groner , Alexander Raschke , Matthias Tichy , Irdin Pekaric , Michael Felderer

Embedded systems in safety-critical environments are continuously required to deliver more performance and functionality, while expected to provide verified safety guarantees. Nonetheless, platform-wide software verification (required for…

Systems and Control · Computer Science 2017-05-09 Fardin Abdi , Renato Mancuso , Rohan Tabish , Marco Caccamo

Data-Driven Product Development (DDPD) leverages data to learn the relationship between product design specifications and resulting properties. To discover improved designs, we train a neural network on past experiments and apply Projected…

Machine Learning · Computer Science 2026-01-06 Andrea Thomas Nava , Lijo Johny , Fabio Azzalini , Johannes Schneider , Arianna Casanova

Model predictive control is a control approach that minimizes a stage cost over a predicted system trajectory based on a model of the system and is capable of handling state and input constraints. For uncertain models, robust or adaptive…

Systems and Control · Electrical Eng. & Systems 2022-06-29 Francisco Moreno-Mora , Lukas Beckenbach , Stefan Streif

Many project risks in distributed software development are very different from the ones in collocated development and therefore are often overlooked. At the same time, they depend to a large extent on project-specific characteristics. This…

In learning-phase clinical trials in drug development, adaptive designs can be efficient and highly informative when used appropriately. In this article, we extend the multiple comparison procedures with modeling techniques (MCP-Mod)…

Methodology · Statistics 2021-08-02 Shiyang Ma , Michael P. McDermott

During software development, developers often make numerous modifications to the software to address existing issues or implement new features. However, certain changes may inadvertently have a detrimental impact on the overall system…

Software Engineering · Computer Science 2024-08-16 Lizhi Liao , Simon Eismann , Heng Li , Cor-Paul Bezemer , Diego Elias Costa , Andre van Hoorn , Weiyi Shang

Many robot control scenarios involve assessing system robustness against a task specification. If either the controller or environment are composed of "black-box" components with unknown dynamics, we cannot rely on formal verification to…

Robotics · Computer Science 2022-02-23 Craig Innes , Subramanian Ramamoorthy

This paper aims at providing researchers and engineering professionals with a practical and comprehensive deep learning based solution to detect construction equipment from the very first step of its development to the last one which is…

Computer Vision and Pattern Recognition · Computer Science 2019-04-22 Saeed Arabi , Arya Haghighat , Anuj Sharma

The advancements in the software industry, along with the changing technologies, methods, and conditions, have particularly brought forth a perspective that prioritizes the improvement of all stages of the software development lifecycle by…

Software Engineering · Computer Science 2023-06-27 Fatih Bildirici , Keziban Seckin Codal

We survey our results about verification of adaptable processes. We present adaptable processes as a way of overcoming the limitations that process calculi have for describing patterns of dynamic process evolution. Such patterns rely on…

Logic in Computer Science · Computer Science 2015-12-25 Mario Bravetti

This paper targets control problems that exhibit specific safety and performance requirements. In particular, the aim is to ensure that an agent, operating under uncertainty, will at runtime strictly adhere to such requirements. Previous…

Logic in Computer Science · Computer Science 2020-10-09 Stefan Pranger , Bettina Könighofer , Martin Tappler , Martin Deixelberger , Nils Jansen , Roderick Bloem

Efficiently estimating system dynamics from data is essential for minimizing data collection costs and improving model performance. This work addresses the challenge of designing future control inputs to maximize information gain, thereby…

Systems and Control · Electrical Eng. & Systems 2025-04-29 Joshua Ott , Mykel J. Kochenderfer , Stephen Boyd

In this paper, a new adaptive design method is proposed for reaction force observer (RFOB) based robust force control systems. It is a well-known fact that an RFOB has several superiorities over a force sensor such as higher force control…

Systems and Control · Electrical Eng. & Systems 2019-12-16 Emre Sariyildiz , Kouhei Ohnishi