English
Related papers

Related papers: Modelling and testing timed data-flow reactive sys…

200 papers

With the rapid development of more complex robots, Fault Detection and Diagnosis (FDD) becomes increasingly harder. Especially the need for predetermined models and historic data is problematic because they do not encompass the dynamic and…

Robotics · Computer Science 2025-07-03 Johannes Kohl , Georg Muck , Georg Jäger , Sebastian Zug

We present our novel evolutionary algorithm for generating Special Quasirandom Structures (SQS) designed to optimize the computational efficiency of Density Functional Theory (DFT) computations. Operating on the premise that symmetry…

Disordered Systems and Neural Networks · Physics 2026-02-12 Andrzej P. Kądzielawa

We present Flow-Guided Density Ratio Learning (FDRL), a simple and scalable approach to generative modeling which builds on the stale (time-independent) approximation of the gradient flow of entropy-regularized f-divergences introduced in…

Machine Learning · Computer Science 2024-06-06 Alvin Heng , Abdul Fatir Ansari , Harold Soh

Characterization of the frequency response of coherent radiometric receivers is a key element in estimating the flux of astrophysical emissions, since the measured signal depends on the convolution of the source spectral emission with the…

Effectively controlling systems governed by Partial Differential Equations (PDEs) is crucial in several fields of Applied Sciences and Engineering. These systems usually yield significant challenges to conventional control schemes due to…

Machine Learning · Computer Science 2024-11-07 Florian Wolf , Nicolò Botteghi , Urban Fasel , Andrea Manzoni

Several sixth generation (6G) use cases have tight requirements in terms of reliability and latency, in particular teleoperated driving (TD). To address those requirements, Predictive Quality of Service (PQoS), possibly combined with…

Networking and Internet Architecture · Computer Science 2024-10-04 Filippo Bragato , Marco Giordani , Michele Zorzi

We propose Flow-Anchored Noise-conditioned Q-Learning (FAN), a highly efficient and high-performing offline reinforcement learning (RL) algorithm. Recent work has shown that expressive flow policies and distributional critics improve…

Machine Learning · Computer Science 2026-05-29 Sungyoung Lee , Dohyeong Kim , Eshan Balachandar , Zelal Su Mustafaoglu , Keshav Pingali

Dynamic Translation (DT) is a sophisticated technique that allows the implementation of high-performance emulators and high-level-language virtual machines. In this technique, the guest code is compiled dynamically at runtime. Consequently,…

Programming Languages · Computer Science 2020-09-01 Vanderson Martins do Rosario , Raphael Zinsly , Sandro Rigo , Edson Borin

Fault detection and identification (FDI) is critical for maintaining the safety and reliability of systems subject to actuator and sensor faults. In this paper, the problem of FDI for nonlinear control-affine systems under simultaneous…

Systems and Control · Electrical Eng. & Systems 2026-03-30 Joshua D. Ibrahim , Mahdi Taheri , Soon-Jo Chung , Fred Y. Hadaegh

This letter proposes a fluid reconfigurable intelligent surface (FRIS) paradigm, extending the conventional reconfigurable intelligent surface (RIS) technology to incorporate position reconfigurability of the elements. In our model, a…

Information Theory · Computer Science 2025-03-20 Han Xiao , Xiaoyan Hu , Kai-Kit Wong , Hanjiang Hong , George C. Alexandropoulos , Chan-Byoung Chae

Compilers are a prime target for formal verification, since compiler bugs invalidate higher-level correctness guarantees, but compiler changes may become more labor-intensive to implement, if they must come with proof patches. One appealing…

Programming Languages · Computer Science 2025-03-12 Jason Gross , Andres Erbsen , Jade Philipoom , Rajashree Agrawal , Adam Chlipala

Complex software systems often feature distinct modes of operation, each designed to handle a particular scenario that may require the system to respond in a certain way. Breaking down system behavior into mutually exclusive modes and…

Programming Languages · Computer Science 2023-01-24 Alexander Schulz-Rosengarten , Reinhard von Hanxleden , Marten Lohstroh , Soroush Bateni , Edward A. Lee

The assessment of step voltage regulator (SVR) operation in active distribution networks requires computational analysis tools capable of tackling the emerging technical challenges. Conventional load flow (CLF), quasi-static time series…

Systems and Control · Electrical Eng. & Systems 2023-10-16 V. M. Souza , H. R. Brito , J. P. A. Vieira , M. E. L. Tostes , U. H. Bezerra , H. N. S. Cardoso , M. S. Costa

In diffusion models, samples are generated through an iterative refinement process, requiring hundreds of sequential model evaluations. Several recent methods have introduced approximations (fewer discretization steps or distillation) to…

Machine Learning · Computer Science 2024-12-12 Nikil Roashan Selvam , Amil Merchant , Stefano Ermon

As the role of knowledge-based systems in IoT keeps growing, ensuring resource efficiency of RDF stores becomes critical. However, up until now benchmarks of RDF stores were most often conducted with only one dataset, and the differences…

Databases · Computer Science 2024-08-29 Piotr Sowinski , Anh Le-Tuan , Pawel Szmeja , Maria Ganzha

Generating large-scale, physically consistent AC Optimal Power Flow (ACOPF) datasets is essential for modern data-driven power system applications. The central challenge lies in balancing solution accuracy with computational efficiency.…

Systems and Control · Electrical Eng. & Systems 2026-02-04 Shashank Shekhar , Abhinav Karn , Kris Keshav , Shivam Bansal , Parikshit Pareek

Diffusion and flow-based models have become the de facto approaches for generating continuous data, e.g., in domains such as images and videos. Their success has attracted growing interest in applying them to language modeling. Unlike their…

Computation and Language · Computer Science 2026-05-12 Keya Hu , Linlu Qiu , Yiyang Lu , Hanhong Zhao , Tianhong Li , Yoon Kim , Jacob Andreas , Kaiming He

The wall cycle in wall-bounded turbulent flows is a complex turbulence regeneration mechanism that remains not fully understood. This study explores the potential of deep reinforcement learning (DRL) for managing the wall regeneration cycle…

Fluid Dynamics · Physics 2024-10-21 Giorgio Maria Cavallazzi , Luca Guastoni , Ricardo Vinuesa , Alfredo Pinelli

We propose ReinFlow, a simple yet effective online reinforcement learning (RL) framework that fine-tunes a family of flow matching policies for continuous robotic control. Derived from rigorous RL theory, ReinFlow injects learnable noise…

Robotics · Computer Science 2026-01-09 Tonghe Zhang , Chao Yu , Sichang Su , Yu Wang

Dynamic treatment regimes (DTRs) have received an increasing interest in recent years. DTRs are sequences of treatment decision rules tailored to patient-level information. The main goal of the DTR study is to identify an optimal DTR, a…

Methodology · Statistics 2024-04-09 Dan Liu , Wenqing He