English
Related papers

Related papers: acados: a modular open-source framework for fast e…

200 papers

Computer Aided Control System Design (CACSD) allows to analyze complex interconnected systems and design controllers achieving challenging control requirements. We extend CACSD to systems with time delays and illustrate the functionality of…

Systems and Control · Electrical Eng. & Systems 2020-03-26 Suat Gumussoy , Pascal Gahinet

This paper introduces the Exascale Grid Optimization (ExaGO) toolkit, a library for solving large-scale alternating current optimal power flow (ACOPF) problems including stochastic effects, security constraints and multi-period constraints.…

Systems and Control · Electrical Eng. & Systems 2022-03-22 Shrirang Abhyankar , Slaven Peles , Tamara Becejac , Jesse Holzer , Asher Mancinelli , Cameron Rutherford

Many Embedded Systems are indeed Software Based Control Systems (SBCSs), that is control systems whose controller consists of control software running on a microcontroller device. This motivates investigation on Formal Model Based Design…

Software Engineering · Computer Science 2013-02-19 Vadim Alimguzhin , Federico Mari , Igor Melatti , Ivano Salvo , Enrico Tronci

We develop an efficient parallel distributed algorithm for matrix completion, named NOMAD (Non-locking, stOchastic Multi-machine algorithm for Asynchronous and Decentralized matrix completion). NOMAD is a decentralized algorithm with…

Distributed, Parallel, and Cluster Computing · Computer Science 2014-04-25 Hyokun Yun , Hsiang-Fu Yu , Cho-Jui Hsieh , S. V. N. Vishwanathan , Inderjit Dhillon

The key to performance optimization of a program is to decide correctly when a certain transformation should be applied by a compiler. This is an ideal opportunity to apply machine-learning models to speed up the tuning process; while this…

In this paper, we present version 2.0 of cashocs. Our software automates the solution of PDE constrained optimization problems for shape optimization and optimal control. Since its inception, many new features and useful tools have been…

Optimization and Control · Mathematics 2025-10-14 Sebastian Blauth

Black-box optimization (BBO) has a broad range of applications, including automatic machine learning, engineering, physics, and experimental design. However, it remains a challenge for users to apply BBO methods to their problems at hand…

Machine Learning · Computer Science 2021-11-05 Yang Li , Yu Shen , Wentao Zhang , Yuanwei Chen , Huaijun Jiang , Mingchao Liu , Jiawei Jiang , Jinyang Gao , Wentao Wu , Zhi Yang , Ce Zhang , Bin Cui

On the one hand, ACME is a language designed in the late 90s as an interchange format for software architectures. The need for recon guration at runtime has led to extend the language with speci c support in Plastik. On the other hand, PDDL…

Software Engineering · Computer Science 2012-06-04 Jean-Eudes Méhus , Thais Batista , Jérémy Buisson

Interactive intelligent computing applications are increasingly prevalent, creating a need for AI/ML platforms optimized to reduce per-event latency while maintaining high throughput and efficient resource management. Yet many intelligent…

Operating Systems · Computer Science 2023-11-30 Weijia Song , Thiago Garrett , Yuting Yang , Mingzhao Liu , Edward Tremel , Lorenzo Rosa , Andrea Merlina , Roman Vitenberg , Ken Birman

We present ensmallen, a fast and flexible C++ library for mathematical optimization of arbitrary user-supplied functions, which can be applied to many machine learning problems. Several types of optimizations are supported, including…

Mathematical Software · Computer Science 2018-12-11 Shikhar Bhardwaj , Ryan R. Curtin , Marcus Edel , Yannis Mentekidis , Conrad Sanderson

The modular open-source framework GRAMPC-D for model predictive control of distributed systems is presented in this paper. The modular concept allows to solve optimal control problems (OCP) in a centralized and distributed fashion using the…

Systems and Control · Electrical Eng. & Systems 2020-10-26 Daniel Burk , Andreas Völz , Knut Graichen

Multi-modality fusion is the guarantee of the stability of autonomous driving systems. In this paper, we propose a general multi-modality cascaded fusion framework, exploiting the advantages of decision-level and feature-level fusion,…

Computer Vision and Pattern Recognition · Computer Science 2020-02-11 Hongwu Kuang , Xiaodong Liu , Jingwei Zhang , Zicheng Fang

This report provides an introduction to the ensmallen numerical optimization library, as well as a deep dive into the technical details of how it works. The library provides a fast and flexible C++ framework for mathematical optimization of…

Mathematical Software · Computer Science 2023-11-16 Ryan R. Curtin , Marcus Edel , Rahul Ganesh Prabhu , Suryoday Basak , Zhihao Lou , Conrad Sanderson

Recent research has demonstrated that artificial intelligence (AI) can assist electronic design automation (EDA) in improving both the quality and efficiency of chip design. But current AI for EDA (AI-EDA) infrastructures remain fragmented,…

Machine Learning · Computer Science 2025-11-11 Yihang Qiu , Zengrong Huang , Simin Tao , Hongda Zhang , Weiguo Li , Xinhua Lai , Rui Wang , Weiqiang Wang , Xingquan Li

PLUMED is an open-source software package that is widely used for analyzing and enhancing molecular dynamics simulations that works in conjunction with most available molecular dynamics softwares. While the computational cost of PLUMED…

Computational Physics · Physics 2025-11-05 Daniele Rapetti , Massimiliano Bonomi , Carlo Camilloni , Giovanni Bussi , Gareth A. Tribello

We present exa-AMD, an open-source, high-performance framework designed for accelerated materials discovery on modern supercomputers. exa-AMD overcomes key computational bottlenecks in large-scale structure prediction through task-based…

Materials Science · Physics 2025-12-11 Weiyi Xia , Maxim Moraru , Ying Wai Li , Cai-Zhuang Wang

In recent years, the embedding approach for solving switched optimal control problems has been developed in a series of papers. However, the embedding approach, which advantageously converts the hybrid optimal control problem to a classical…

Optimization and Control · Mathematics 2018-04-04 Richard Meyer , Miloš Žefran , Raymond A. DeCarlo

We introduce the Bandicoot C++ library for linear algebra and scientific computing on GPUs, overviewing its user interface and performance characteristics, as well as the technical details of its internal design. Bandicoot is the…

Mathematical Software · Computer Science 2025-09-23 Ryan R. Curtin , Marcus Edel , Conrad Sanderson

In many robotic manipulation tasks, the robot repeatedly solves motion-planning problems that differ mainly in the location of the goal object and its associated obstacle, while the surrounding workspace remains fixed. Prior works have…

Robotics · Computer Science 2026-03-16 Adil Shiyas , Zhuoyun Zhong , Constantinos Chamzas

This paper presents the outcome of a research collaboration between academia and industry to implement and utilize the capabilities of constrained interaction testing for an open-source tool for industrial-scale application. The project…

Software Engineering · Computer Science 2020-02-04 Jan Richter , Bestoun S. Ahmed , Miroslav Bures , Cleber R. Rosa Junior