English
Related papers

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

200 papers

In chemical process engineering, surrogate models of complex systems are often necessary for tasks of domain exploration, sensitivity analysis of the design parameters, and optimization. A suite of computational fluid dynamics (CFD)…

Computational Engineering, Finance, and Science · Computer Science 2020-09-09 Gabriel F. N. Gonçalves , Assen Batchvarov , Yuyi Liu , Yuxin Liu , Lachlan Mason , Indranil Pan , Omar K. Matar

As the proportion of renewable energy and power electronics in the power system increases, modeling frequency dynamics under power deficits becomes more challenging. Although data-driven methods help mitigate these challenges, they are…

Systems and Control · Electrical Eng. & Systems 2025-12-11 Qianni Cao , Chen Shen

In recent years, large amounts of electronic health records (EHRs) concerning chronic diseases have been collected to facilitate medical diagnosis. Modeling the dynamic properties of EHRs related to chronic diseases can be efficiently done…

Machine Learning · Computer Science 2025-02-18 Di Wang , Yao Wang , Shao-Bo Lin

The quality of control (QoC) of a resource-constrained embedded control system may be jeopardized in dynamic environments with variable workload. This gives rise to the increasing demand of co-design of control and scheduling. To deal with…

Other Computer Science · Computer Science 2008-12-18 Feng Xia , Youxian Sun , Yu-Chu Tian , Moses Tade , Jinxiang Dong

Preliminary aeroacoustic investigations in competitive industries require rapid numerical simulation techniques to gain initial insight into the flow and acoustic field. Although there are capabilities to resolve virtually all turbulence…

Fluid Dynamics · Physics 2023-10-23 Stefan Schoder

Computational fluid dynamics (CFD) provides high-fidelity simulations of fluid flows but remains computationally expensive for many-query applications. In recent years deep learning (DL) has been used to construct data-driven fluid-dynamic…

Machine Learning · Computer Science 2026-04-13 David Ramos , Lucas Lacasa , Fermín Gutiérrez , Eusebio Valero , Gonzalo Rubio

The stabilization of quantum states is a fundamental problem for realizing various quantum technologies. Measurement-based-feedback strategies have demonstrated powerful performance, and the construction of quantum control signals using…

Systems and Control · Electrical Eng. & Systems 2026-04-10 Chunxiang Song , Yanan Liu , Daoyi Dong , Hidehiro Yonezawa

Vector quantization (VQ) with autoregressive (AR) token modeling is a widely adopted and highly competitive paradigm for time-series generation. However, such models are fundamentally limited by exposure bias: during inference, errors can…

Artificial Intelligence · Computer Science 2026-05-12 Wei Li , Shibo Feng , Pengcheng Wu , Xingyu Gao , Min Wu , Peilin Zhao

Flutter flight test involves the evaluation of the airframes aeroelastic stability by applying artificial excitation on the aircraft lifting surfaces. The subsequent responses are captured and analyzed to extract the frequencies and damping…

Signal Processing · Electrical Eng. & Systems 2024-08-05 Arpan Das , Pier Marzocca , Giuliano Coppotelli , Oleg Levinski , Paul Taylor

We introduce a training-efficient framework for time-series learning that combines random features with controlled differential equations (CDEs). In this approach, large randomly parameterized CDEs act as continuous-time reservoirs, mapping…

Machine Learning · Computer Science 2025-12-30 Francesco Piatti , Thomas Cass , William F. Turner

Watermarking (WM) is a critical mechanism for detecting and attributing AI-generated content. Current WM methods for Large Language Models (LLMs) are predominantly tailored for autoregressive (AR) models: They rely on tokens being generated…

Computation and Language · Computer Science 2026-01-21 Ofek Raban , Ethan Fetaya , Gal Chechik

Gaussian processes (GPs) offer a flexible, uncertainty-aware framework for modeling complex signals, but scale cubically with data, assume static targets, and are brittle to outliers, limiting their applicability in large-scale problems…

Machine Learning · Statistics 2025-09-23 Fernando Llorente , Daniel Waxman , Sanket Jantre , Nathan M. Urban , Susan E. Minkoff

We present flow Q-learning (FQL), a simple and performant offline reinforcement learning (RL) method that leverages an expressive flow-matching policy to model arbitrarily complex action distributions in data. Training a flow policy with RL…

Machine Learning · Computer Science 2025-05-27 Seohong Park , Qiyang Li , Sergey Levine

Real-time and accurate prediction of aerodynamic flow fields around airfoils is crucial for flow control and aerodynamic optimization. However, achieving this remains challenging due to the high computational costs and the non-linear nature…

Fluid Dynamics · Physics 2025-10-23 Chunyang Wang , Biyue Pan , Zhibo Dai , Yudi Cai , Yuhao Ma , Hao Zheng , Dixia Fan , Hui Xiang

Deep reinforcement learning (DRL) has emerged as a powerful paradigm for solving complex decision-making problems. However, DRL-based systems still face significant dependability challenges particularly in real-time environments due to the…

Software Engineering · Computer Science 2026-03-25 Guoxin Su , Thomas Robinson , Hoa Khanh Dam , Li Liu , David S. Rosenblum

As quantum computing continues to mature, more developers are designing, coding, and simulating quantum circuits. A challenge exists, however, in debugging quantum circuits, particularly as they scale in size and complexity. Given the lack…

Quantum Physics · Physics 2025-07-23 Jocelyn Li , Ella Rubinshtein , Margaret Martonosi

Diffusion models generate high-quality synthetic data. They operate by defining a continuous-time forward process which gradually adds Gaussian noise to data until fully corrupted. The corresponding reverse process progressively "denoises"…

Modern Cyber-Physical Systems (CPS) often exhibit both relaxed real-time constraints and a mode-dependent execution. Relaxed real-time constraints mean that only a subset of the processes of a CPS have real-time constraints, and a…

Systems and Control · Electrical Eng. & Systems 2025-01-14 Guillaume Roumage , Selma Azaiez , Cyril Faure , Stéphane Louise

Accurate and real-time radio map (RM) generation is crucial for next-generation wireless systems, yet diffusion-based approaches often suffer from large model sizes, slow iterative denoising, and high inference latency, which hinder…

Computer Vision and Pattern Recognition · Computer Science 2025-10-13 Haozhe Jia , Wenshuo Chen , Xiucheng Wang , Nan Cheng , Hongbo Zhang , Kuimou Yu , Songning Lai , Nanjian Jia , Bowen Tian , Hongru Xiao , Yutao Yue

A dataset of fully quantum flux-flux correlation functions and reaction rate constants was constructed for organic heterogeneous catalytic surface reactions. Gaussian process regressors were successfully fitted to training data to predict…

Chemical Physics · Physics 2022-06-07 Brenden G. Pelkie , Stephanie Valleau