English
Related papers

Related papers: Model-Driven Rapid Prototyping for Control Algorit…

200 papers

The Model Checking Integrated Planning System (MIPS) is a temporal least commitment heuristic search planner based on a flexible object-oriented workbench architecture. Its design clearly separates explicit and symbolic directed exploration…

Artificial Intelligence · Computer Science 2011-07-04 S. Edelkamp

Advanced Planning and Scheduling (APS) systems have become indispensable for modern manufacturing operations, enabling optimized resource allocation and production efficiency in increasingly complex and dynamic environments. While…

Artificial Intelligence · Computer Science 2025-10-06 Yu-Zhe Shi , Qiao Xu , Yanjia Li , Mingchen Liu , Huamin Qu , Lecheng Ruan , Qining Wang

Scientific software is often driven by multiple parameters that affect both accuracy and performance. Since finding the optimal configuration of these parameters is a highly complex task, it extremely common that the software is used…

Computational Engineering, Finance, and Science · Computer Science 2016-08-17 Diego Fabregat-Traver , Ahmed E. Ismail , Paolo Bientinesi

Within the project management context, project scheduling serves as an indispensable component, functioning as a fundamental tool for planning, monitoring, controlling, and managing projects more broadly. Although the resource-constrained…

Software Engineering · Computer Science 2025-10-23 Amirreza Hosseini , Amro M. Farid

Most machine learning and deep neural network algorithms rely on certain iterative algorithms to optimise their utility/cost functions, e.g. Stochastic Gradient Descent. In distributed learning, the networked nodes have to work…

Distributed, Parallel, and Cluster Computing · Computer Science 2017-10-06 Liang Wang , Ben Catterall , Richard Mortier

"Model-free control" and the corresponding "intelligent" PID controllers (iPIDs), which already had many successful concrete applications, are presented here for the first time in an unified manner, where the new advances are taken into…

Optimization and Control · Mathematics 2013-11-21 Michel Fliess , Cédric Join

Task-based execution frameworks, such as parallel programming libraries, computational workflow systems, and function-as-a-service platforms, enable the composition of distinct tasks into a single, unified application designed to achieve a…

Distributed, Parallel, and Cluster Computing · Computer Science 2024-08-15 J. Gregory Pauloski , Valerie Hayot-Sasson , Maxime Gonthier , Nathaniel Hudson , Haochen Pan , Sicheng Zhou , Ian Foster , Kyle Chard

Probabilistic graphical models (PGMs) serve as a powerful framework for modeling complex systems with uncertainty and extracting valuable insights from data. However, users face challenges when applying PGMs to their problems in terms of…

Machine Learning · Computer Science 2024-05-29 Jiantong Jiang , Zeyi Wen , Peiyu Yang , Atif Mansoor , Ajmal Mian

Several recent advances in AI systems solve problems by providing a "scaffolding" program that structures multiple calls to language models (LMs) to generate better outputs. A scaffolding program is written in a programming language such as…

Computation and Language · Computer Science 2024-08-19 Eric Zelikman , Eliana Lorch , Lester Mackey , Adam Tauman Kalai

In this paper, we propose a sensitivity-free and multi-objective structural design methodology called data-driven topology design. It is schemed to obtain high-performance material distributions from initially given material distributions…

Computational Physics · Physics 2025-05-02 Shintaro Yamasaki , Kentaro Yaji , Kikuo Fujita

Graph-based design languages in UML (Unified Modeling Language) are presented as a method to encode and automate the complete design process and the final optimization of the product or complex system. A design language consists of a…

Software Engineering · Computer Science 2018-05-24 Samuel Vogel , Stephan Rudolph

Advanced 2.5D Systems-in-Package (SiPs) compose a growing portion of high-performance systems. While the packaging and interconnect choices play a large role in the overall system design, system architects still lack a suitable framework…

Hardware Architecture · Computer Science 2026-05-28 Zhengping Zhu , Austin Rovinski

Industrial Product-Service Systems (IPSS) denote a service-oriented (SO) way of providing access to CPS capabilities. The design of such systems bears high risk due to uncertainty in requirements related to service function and behavior,…

Software Engineering · Computer Science 2022-05-09 Jürgen Dobaj , Andreas Riel , Thomas Krug , Matthias Seidl , Georg Macher , Markus Egretzberger

Writing software for controlling robots is a complex task, usually demanding command of many programming languages and requiring significant experimentation. We believe that a bottom-up development process that complements traditional…

Robotics · Computer Science 2014-12-16 Sorin Adam , Ulrik Pagh Schultz

Mixed-integer programming (MIP) technology offers a generic way of formulating and solving combinatorial optimization problems. While generally reliable, state-of-the-art MIP solvers base many crucial decisions on hand-crafted heuristics,…

Machine Learning · Computer Science 2022-05-31 Elias B. Khalil , Christopher Morris , Andrea Lodi

Large Language Models (LLMs) have demonstrated remarkable capabilities in modeling sequential textual data and generalizing across diverse tasks. However, adapting LLMs to effectively handle structural data, such as knowledge graphs or web…

Computation and Language · Computer Science 2025-11-12 Jiarui Feng , Donghong Cai , Yixin Chen , Muhan Zhang

Graph algorithms are at the heart of several applications, and achieving high performance with them has become critical due to the tremendous growth of irregular data. However, irregular algorithms are quite challenging to parallelize…

Programming Languages · Computer Science 2019-03-06 Bikash Gogoi , Unnikrishnan Cheramangalath , Rupesh Nasre

Nowadays, deployment of distributed systems sets high requirements for procedures and tools for the complex testing of these systems - virtualization and cloud technologies make another level of system complexity. As a possible solution, it…

Software Engineering · Computer Science 2014-10-08 Andrey A. Shchurov

In embedded control systems, the potential risks of software defects have been increasing because of software complexity which leads to, for example, timing related problems. These defects are rarely found by tests or simulations. To detect…

Logic in Computer Science · Computer Science 2013-01-03 Masahiro Matsubara , Kohei Sakurai , Fumio Narisawa , Masushi Enshoiwa , Yoshio Yamane , Hisamitsu Yamanaka

In this paper, we consider the distributed optimal control problem for discrete-time linear networked systems. In particular, we are interested in learning distributed optimal controllers using graph recurrent neural networks (GRNNs). Most…

Systems and Control · Electrical Eng. & Systems 2025-07-23 Zihao Song , Shirantha Welikala , Panos J. Antsaklis , Hai Lin