English
Related papers

Related papers: Real-Time Adaptive Abstraction and Approximation U…

200 papers

Cyber-physical production systems (CPPS) integrate physical and computational resources due to increasingly available sensors and processing power. This enables the usage of data, to create additional benefit, such as condition monitoring…

Computers and Society · Computer Science 2019-06-04 Andreas Bunte , Andreas Fischbach , Jan Strohschein , Thomas Bartz-Beielstein , Heide Faeskorn-Woyke , Oliver Niggemann

Self-adaptive software systems continuously adapt in response to internal and external changes in their execution environment, captured as contexts. The COP paradigm posits a technique for the development of self-adaptive systems, capturing…

Programming Languages · Computer Science 2023-08-04 Nicolás Cardozo , Ivana Dusparic

This paper presents our work-in-progress study on reference architectures as boundary objects for realizing trustworthy collaborative Cyber-Physical Systems (CPS). Furthermore, the preliminary results from interviews with systems…

Distributed, Parallel, and Cluster Computing · Computer Science 2021-08-31 Muhammad Rusyadi Ramli , Fredrik Asplund , Martin Torngren

In the early days of connected vehicles (CVs), data will be collected only from a limited number of CVs (i.e., low CV penetration rate) and not from other vehicles (i.e., non-connected vehicles). Moreover, the data loss rate in the wireless…

Computers and Society · Computer Science 2017-12-19 Mizanur Rahman , Mashrur Chowdhury , Anjan Rayamajhi , Kakan Dey , James Martin

Cyber-Physical Systems (CPS) are systems composed by a physical component that is controlled or monitored by a cyber-component, a computer-based algorithm. Advances in CPS technologies and science are enabling capability, adaptability,…

Logic in Computer Science · Computer Science 2018-10-17 Mario Lezoche , Hervé Panetto

This research leverages Conformal Prediction (CP) in the form of Conformal Predictive Systems (CPS) to accurately estimate uncertainty in a suite of machine learning (ML)-based radio metric models [1] as well as in a 2-D map-based ML path…

Machine Learning · Computer Science 2025-01-14 Alexis Bose , Jonathan Ethier , Ryan G. Dempsey , Yifeng Qiu

Testing black-box perceptual-control systems in simulation faces two difficulties. Firstly, perceptual inputs in simulation lack the fidelity of real-world sensor inputs. Secondly, for a reasonably accurate perception system, encountering a…

Robotics · Computer Science 2023-02-06 Craig Innes , Subramanian Ramamoorthy

Cyber-Physical Systems (CPS) are abundant in safety-critical domains such as healthcare, avionics, and autonomous vehicles. Formal verification of their operational safety is, therefore, of utmost importance. In this paper, we address the…

Cryptography and Security · Computer Science 2025-05-08 Atanu Kundu , Sauvik Gon , Rajarshi Ray

This paper proposes a system for the ingestion and analysis of real-time sensor and actor data of bulk materials handling plants and machinery. It references issues that concern mining sensor data in cyber physical systems (CPS). The…

Signal Processing · Electrical Eng. & Systems 2018-02-05 Christopher Josef Rothschedl , Roland Ritt , Paul O'Leary , Matthew Harker , Michael Habacher , Michael Brandner

Computer vision algorithms are known to be extremely sensitive to the environmental conditions in which the data is captured, e.g., lighting conditions and target density. Tuning of parameters or choosing a completely new algorithm is often…

Computer Vision and Pattern Recognition · Computer Science 2016-05-24 Shu Zhang , Qi Zhu , Amit Roy-Chowdhury

Computer simulation models are widely used to study complex physical systems. A related fundamental topic is the inverse problem, also called calibration, which aims at learning about the values of parameters in the model based on…

Methodology · Statistics 2024-01-03 Yang Li , Shifeng Xiong

Compliance plays a crucial role in manipulation, as it balances between the concurrent control of position and force under uncertainties. Yet compliance is often overlooked by today's visuomotor policies that solely focus on position…

One of the key approaches to save samples in reinforcement learning (RL) is to use knowledge from an approximate model such as its simulator. However, how much does an approximate model help to learn a near-optimal policy of the true…

Machine Learning · Computer Science 2020-07-15 Fei Feng , Wotao Yin , Lin F. Yang

Recent research increasingly brings to question the appropriateness of using predictive tools in complex, real-world tasks. While a growing body of work has explored ways to improve value alignment in these tools, comparatively less work…

Machine Learning · Computer Science 2023-02-15 Amanda Coston , Anna Kawakami , Haiyi Zhu , Ken Holstein , Hoda Heidari

A method is presented to exploit adaptive integration algorithms using importance sampling, like VEGAS, for the task of scanning theoretical predictions depending on a multi-dimensional parameter space. Usually, a parameter scan is…

High Energy Physics - Phenomenology · Physics 2010-04-05 Oliver Brein

In an era where numerous studies claim to achieve almost photorealism with real-time automated environment capture, there is a need for assessments and reproducibility in this domain. This paper presents a transparent and reproducible user…

Human-Computer Interaction · Computer Science 2024-07-03 Sven Kluge , Oliver Staadt

Embedded systems are becoming more in demand to work in dynamic and uncertain environments, and being confined to the strong requirements of real-time. Conventional static scheduling models usually cannot cope with runtime modification in…

Systems and Control · Electrical Eng. & Systems 2026-01-08 Abdelmadjid Benmachiche , Khadija Rais , Hamda Slimi

In the context of computer models, calibration is the process of estimating unknown simulator parameters from observational data. Calibration is variously referred to as model fitting, parameter estimation/inference, an inverse problem, and…

Methodology · Statistics 2023-10-16 Richard D. Wilkinson , Christopher W. Lanyon

Classical simulations of time-dependent quantum systems are widely used in quantum control research. In particular, these simulations are commonly used to host iterative optimal control algorithms. This is convenient for algorithms that are…

Quantum Physics · Physics 2021-11-23 Tyler Jones , Kaiah Steven , Xavier Poncini , Matthew Rose , Arkady Fedorov

Complex systems typically have many different parts and facets, with different characteristics. In a multi-paradigm approach to modeling, formalisms with different natures are used in combination to describe complementary parts and aspects…

Logic in Computer Science · Computer Science 2013-08-14 Marcello M. Bersani , Carlo A. Furia , Matteo Pradella , Matteo Rossi