English
Related papers

Related papers: Using a Model-driven Approach in Building a Proven…

200 papers

We propose a method to procedurally generate a familiar yet complex human artifact: the city. We are not trying to reproduce existing cities, but to generate artificial cities that are convincing and plausible by capturing developmental…

Graphics · Computer Science 2025-07-28 Thomas Lechner , Ben Watson , Uri Wilensky , Martin Felsen

This paper designs traffic signal control policies for a network of signalized intersections without knowing the demand and parameters. Within a model predictive control (MPC) framework, control policies consist of an algorithm that…

Systems and Control · Electrical Eng. & Systems 2025-03-17 Zhexian Li , Ketan Savla

Flow matching has recently emerged as a powerful paradigm for generative modeling and has been extended to probabilistic time series forecasting in latent spaces. However, the impact of the specific choice of probability path model on…

Machine Learning · Statistics 2025-08-19 Soon Hoe Lim , Yijin Wang , Annan Yu , Emma Hart , Michael W. Mahoney , Xiaoye S. Li , N. Benjamin Erichson

Contemporary intelligent systems incorporate software components, including machine learning components. As they grow in complexity and data volume such machine learning systems face unique quality challenges like scalability and…

Software Engineering · Computer Science 2025-01-22 Simeon Emanuilov , Aleksandar Dimov

Tight performance specifications in combination with operational constraints make model predictive control (MPC) the method of choice in various industries. As the performance of an MPC controller depends on a sufficiently accurate…

Systems and Control · Electrical Eng. & Systems 2020-06-09 Kim P. Wabersich , Melanie N. Zeilinger

Economic complexity methods, and in particular relatedness measures, lack a systematic evaluation and comparison framework. We argue that out-of-sample forecast exercises should play this role, and we compare various machine learning models…

Machine Learning · Computer Science 2021-06-01 Giambattista Albora , Luciano Pietronero , Andrea Tacchella , Andrea Zaccaria

This paper explores the integration of provenance tracking systems within the context of Semantic Web technologies to enhance data integrity in diverse operational environments. SURROUND Australia Pty Ltd demonstrates innovative…

Cryptography and Security · Computer Science 2025-01-17 Nilesh Jain

The field of query-by-example aims at inferring queries from output examples given by non-expert users, by finding the underlying logic that binds the examples. However, for a very small set of examples, it is difficult to correctly infer…

Databases · Computer Science 2020-08-21 Amir Gilad , Yuval Moskovitch

The recent increase in data availability and reliability has led to a surge in the development of learning-based model predictive control (MPC) frameworks for robot systems. Despite attaining substantial performance improvements over their…

Robotics · Computer Science 2023-08-02 Kong Yao Chee , Thales C. Silva , M. Ani Hsieh , George J. Pappas

Process models constitute crucial artifacts in modern information systems and, hence, the proper comprehension of these models is of utmost importance in the utilization of such systems. Generally, process models are considered from two…

Software Engineering · Computer Science 2021-06-25 Michael Winter , Rüdiger Pryss , Matthias Fink , Manfred Reichert

Flow-based generative models provide strong unconditional priors for inverse problems, but guiding their dynamics for conditional generation remains challenging. Recent work casts training-free conditional generation in flow models as an…

Image and Video Processing · Electrical Eng. & Systems 2026-02-02 George Webber , Alexander Denker , Riccardo Barbano , Andrew J Reader

As the demand for large scale AI models continues to grow, the optimization of their training to balance computational efficiency, execution time, accuracy and energy consumption represents a critical multidimensional challenge. Achieving…

Machine Learning · Computer Science 2025-07-03 Gabriele Padovani , Valentine Anantharaj , Sandro Fiore

Rising concern for the societal implications of artificial intelligence systems has inspired demands for greater transparency and accountability. However the datasets which empower machine learning are often used, shared and re-used with…

We propose a computationally tractable, tube-based robust nonlinear model predictive control (MPC) framework using difference-of-convex (DC) functions and sequential convex programming. For systems with differentiable discrete time…

Optimization and Control · Mathematics 2026-02-03 Martin Doff-Sotta , Zaheen A-Rahman , Mark Cannon

The growing need for high-performance controllers in safety-critical applications like autonomous driving has been motivating the development of formal safety verification techniques. In this paper, we design and implement a predictive…

Systems and Control · Electrical Eng. & Systems 2021-02-25 Ben Tearle , Kim P. Wabersich , Andrea Carron , Melanie N. Zeilinger

A comprehensive approach addressing identification and control for learningbased Model Predictive Control (MPC) for linear systems is presented. The design technique yields a data-driven MPC law, based on a dataset collected from the…

Systems and Control · Computer Science 2018-10-31 Enrico Terzi , Lorenzo Fagiano , Marcello Farina , Riccardo Scattolini

Candidate retrieval is a fundamental issue in recommendation system. Given user's recommendation request, relevant candidates need to be retrieved in realtime for subsequent ranking operations. Considering that the retrieval operation is…

Information Retrieval · Computer Science 2019-10-22 Zheng Liu , Yu Xing , Jianxun Lian , Defu Lian , Ziyao Li , Xing Xie

With the growing scale and complexity of high-performance computing (HPC) systems, resilience solutions that ensure continuity of service despite frequent errors and component failures must be methodically designed to balance the…

Distributed, Parallel, and Cluster Computing · Computer Science 2017-10-10 Saurabh Hukerikar , Christian Engelmann

Manufacturing processes are inherently dynamic and uncertain, with varying parameters and nonlinear behaviors, making robust control essential for maintaining quality and reliability. Traditional control methods often fail under these…

Systems and Control · Electrical Eng. & Systems 2025-11-25 Suk Ki Lee , Ronnie F. P. Stone , Max Gao , Wenlong Zhang , Zhenghui Sha , Hyunwoong Ko

Intelligent information systems that contain emergent elements often encounter trust problems because results do not get sufficiently explained and the procedure itself can not be fully retraced. This is caused by a control flow depending…

Computers and Society · Computer Science 2021-04-30 Michael Guckert , Nils Gumpfer , Jennifer Hannig , Till Keller , Neil Urquhart