English
Related papers

Related papers: Keeping Track of User Steering Actions in Dynamic …

200 papers

In this paper, a simple heuristic is proposed for the design of uncertainty aware predictive controllers for nonlinear models involving uncertain parameters. The method relies on Machine Learning-based approximation of ideal deterministic…

Systems and Control · Electrical Eng. & Systems 2021-02-05 Mazen Alamir

As the need for more computing power grows, traditional methods are hitting limits. To boost performance, we're expanding Central Processing Unit (CPU) capabilities and using specialized hardware accelerators. For example, mobile devices…

Hardware Architecture · Computer Science 2026-05-21 Hassan Nassar , Rafik Youssef , Lars Bauer , Jörg Henkel

Neural networks have been increasingly employed in Model Predictive Controller (MPC) to control nonlinear dynamic systems. However, MPC still poses a problem that an achievable update rate is insufficient to cope with model uncertainty and…

Robotics · Computer Science 2022-07-15 Taekyung Kim , Hojin Lee , Seongil Hong , Wonsuk Lee

A common workflow in science and engineering is to (i) setup and deploy large experiments with tasks comprising an application and multiple parameter values; (ii) generate intermediate results; (iii) analyze them; and (iv) reprioritize the…

Distributed, Parallel, and Cluster Computing · Computer Science 2016-11-10 Bruno Silva , Marco A. S. Netto , Renato L. F. Cunha

Business process deviance refers to the phenomenon whereby a subset of the executions of a business process deviate, in a negative or positive way, with respect to its expected or desirable outcomes. Deviant executions of a business process…

Artificial Intelligence · Computer Science 2016-08-31 Hoang Nguyen , Marlon Dumas , Marcello La Rosa , Fabrizio Maria Maggi , Suriadi Suriadi

Scientific processes rely on software as an important tool for data acquisition, analysis, and discovery. Over the years sustainable software development practices have made progress in being considered as an integral component of research.…

Software Engineering · Computer Science 2023-12-21 Akash Dhruv , Anshu Dubey

This manuscript contains technical details of recent results developed by the authors on the algorithm for direct design of controllers for nonlinear systems from data that has the ability to to automatically modify some of the tuning…

Systems and Control · Computer Science 2015-06-18 Marko Tanaskovic , Lorenzo Fagiano , Carlo Novara , Manfred Morari

In response to the continuously changing feedstock supply and market demand for products with different specifications, the processes need to be operated at time-varying operating conditions and targets (e.g., setpoints) to improve the…

Systems and Control · Electrical Eng. & Systems 2024-10-28 Lai Wei , Ryan McCloy , Jie Bao

Adaptive control provides techniques for adjusting control parameters in real time to maintain system performance despite unknown or changing process parameters. These methods use real data to tune controllers and adjust plant models or…

Systems and Control · Electrical Eng. & Systems 2024-06-12 Ioan Doré Landau , Rogelio Lozano , Mohammed M Saad , Alireza Karimi

HPC systems expose many configuration parameters that jointly drive competing objectives. Existing tools such as autotuners recommend good configurations but do not identify minimal changes for a near-miss configuration to meet a…

Performance · Computer Science 2026-04-28 Ankur Lahiry , Banooqa Banday , Yugesh Bhattarai , Mohammad Zaeed , Tanzima Z. Islam

Production high-performance computing systems continue to grow in complexity and size. As applications struggle to make use of increasingly heterogeneous compute nodes, maintaining high efficiency (performance per watt) for the whole…

Distributed, Parallel, and Cluster Computing · Computer Science 2021-07-07 Eric Rutten , Sophie Cerf , Raphaël Bleuse , Valentin Reis , Swann Perarnau

Runtime Verification deals with the question of whether a run of a system adheres to its specification. This paper studies runtime verification in the presence of partial knowledge about the observed run, particularly where input values may…

Logic in Computer Science · Computer Science 2022-07-13 Hannes Kallwies , Martin Leucker , Cesar Sanchez

Monitoring the execution of business processes and activities composing them is an essential capability of Business Process Management (BPM) Suites. Human tasks are a particular type of business activities, and the understanding of their…

Software Engineering · Computer Science 2016-10-20 Kunal Suri , Adrian Mos

Even though computational reproducibility is widely accepted as necessary for research validation and reuse, it is often not considered during the research process. This is because reproducibility tools are typically stand-alone and require…

Distributed, Parallel, and Cluster Computing · Computer Science 2020-03-04 Ana Trisovic , Chris R. Jones , Ben Couturier , Marco Clemencic

Guidance provides a simple and effective framework for posterior sampling by steering the generation process towards the desired distribution. When modeling discrete data, existing approaches mostly focus on guidance with the first-order…

Machine Learning · Computer Science 2026-04-16 Zhengyan Wan , Yidong Ouyang , Liyan Xie , Fang Fang , Hongyuan Zha , Guang Cheng

Runtime verification is checking whether a system execution satisfies or violates a given correctness property. A procedure that automatically, and typically on the fly, verifies conformance of the system's behavior to the specified…

Software Engineering · Computer Science 2013-03-06 Mikhail Chupilko , Alexander Kamkin

Mobile platforms must satisfy the contradictory requirements of fast response time and minimum energy consumption as a function of dynamically changing applications. To address this need, system-on-chips (SoC) that are at the heart of these…

Distributed, Parallel, and Cluster Computing · Computer Science 2020-03-24 Sumit K. Mandal , Ganapati Bhat , Janardhan Rao Doppa , Partha Pratim Pande , Umit Y. Ogras

It is well-established that the provenance of a scientific result is important, sometimes more important than the actual result. For computational analyses that involve visualization, this provenance information may contain the steps…

Human-Computer Interaction · Computer Science 2023-08-15 David Koop

Complex scientific workflows can process large amounts of data using thousands of tasks. The turnaround times of these workflows are often affected by various latencies such as the resource discovery, scheduling and data access latencies…

Modern large-scale scientific discovery requires multidisciplinary collaboration across diverse computing facilities, including High Performance Computing (HPC) machines and the Edge-to-Cloud continuum. Integrated data analysis plays a…

Distributed, Parallel, and Cluster Computing · Computer Science 2023-08-21 Renan Souza , Tyler J. Skluzacek , Sean R. Wilkinson , Maxim Ziatdinov , Rafael Ferreira da Silva