English
Related papers

Related papers: Towards Multistage Design of Modular Systems

200 papers

Many engineered systems must balance competing objectives, such as performance and safety, cost and reliability, or efficiency and sustainability, and are naturally modeled as compositions of interacting subsystems. We study online…

Optimization and Control · Mathematics 2026-04-27 Meshal Alharbi , Munther A. Dahleh , Gioele Zardini

Modular robots have the potential to revolutionize automation, as one can optimize their composition for any given task. However, finding optimal compositions is non-trivial. In addition, different compositions require different base…

Robotics · Computer Science 2026-03-10 Matthias Mayer , Matthias Althoff

Tube-enhanced multi-stage nonlinear model predictive control is a robust control scheme that can handle a wide range of uncertainties with reduced conservatism and manageable computational complexity. In this paper, we elaborate on the…

Systems and Control · Electrical Eng. & Systems 2022-04-21 Sankaranarayanan Subramanian , Yehia Abdelsalam , Sergio Lucia , Sebastian Engell

The paper describes clustering problems from the combinatorial viewpoint. A brief systemic survey is presented including the following: (i) basic clustering problems (e.g., classification, clustering, sorting, clustering with an order over…

Artificial Intelligence · Computer Science 2015-06-01 Mark Sh. Levin

From the complex motions of robots to the oxygen binding of hemoglobin, the function of many mechanical systems depends on large, coordinated movements of their components. Such movements arise from a network of physical interactions in the…

Soft Condensed Matter · Physics 2019-06-21 Jason Z. Kim , Zhixin Lu , Danielle S. Bassett

We propose a method of classifying the operation of a system into finitely many modes. Each mode has its own objectives for the system's behaviour and its own mathematical models and algorithms designed to accomplish its objectives. A…

Logic in Computer Science · Computer Science 2021-07-14 Edwin Beggs , John V. Tucker

Behavior trees represent a hierarchical and modular way of combining several low-level control policies into a high-level task-switching policy. Hybrid dynamical systems can also be seen in terms of task switching between different…

Systems and Control · Electrical Eng. & Systems 2021-11-11 Christopher Iliffe Sprague , Petter Ögren

A conceptual design of a launch vehicle involves the optimization of trajectory and stages considering its launch operations. This process encompasses various disciplines, such as structural design, aerodynamics, propulsion systems, flight…

Optimization and Control · Mathematics 2024-08-02 Jaeyoul Ko , Jaewoo Kim , Jimin Choi , Jaemyung Ahn

Multistage stochastic programming is a powerful tool allowing decision-makers to revise their decisions at each stage based on the realized uncertainty. However, in practice, organizations are not able to be fully flexible, as decisions…

Optimization and Control · Mathematics 2024-01-17 Sezen Ece Kayacık , Beste Basciftci , Albert H Schrotenboer , Evrim Ursavas

In this paper the preliminary design of multiple gravity-assist trajectories is formulated as a global optimization problem. An analysis of the structure of the solution space reveals a strong multimodality, which is strictly dependent on…

Optimization and Control · Mathematics 2011-05-11 Massimiliano Vasile , Paolo DePascale

Systems engineering has developed a mature knowledge on how to design, integrate and manage complex industrial systems, whereas disciplines studying complex systems in nature or society also propose numerous tools for their understanding.…

Computers and Society · Computer Science 2018-05-28 Juste Raimbault

We study problems related to indecomposability of modules over certain local finite dimensional trivial extension algebras. We do this by purely combinatorial methods. We introduce the concepts of graph of cyclic modules, of combinatorial…

Rings and Algebras · Mathematics 2019-10-31 Juan Orendain

In complex inferential tasks like question answering, machine learning models must confront two challenges: the need to implement a compositional reasoning process, and, in many applications, the need for this reasoning process to be…

Computer Vision and Pattern Recognition · Computer Science 2019-03-08 Ronghang Hu , Jacob Andreas , Trevor Darrell , Kate Saenko

System of systems engineering seeks to analyze, design and deploy collections of systems that together can flexibly address an array of complex tasks. In the Complex Adaptive System Composition and Design Environment program, we developed…

Software Engineering · Computer Science 2021-06-22 John C. Baez , John Foley

We develop a formal framework for the behavioral comparison of linear systems across different time domains. We accomplish this by introducing the notion of system interpolation, which determines whether the input-state trajectories of a…

Optimization and Control · Mathematics 2026-02-26 Armin Pirastehzad , Bart Besselink

Algorithms play a crucial role in many technological systems that control or affect various aspects of our lives. As a result, providing explanations for their decisions to address the needs of users and organisations is increasingly…

Software Engineering · Computer Science 2023-05-29 Trung Dong Huynh , Niko Tsakalakis , Ayah Helal , Sophie Stalla-Bourdillon , Luc Moreau

We consider a logic used to describe sets of configurations of distributed systems, whose network topologies can be changed at runtime, by reconfiguration programs. The logic uses inductive definitions to describe networks with an unbounded…

Logic in Computer Science · Computer Science 2022-04-27 Marius Bozga , Lucas Bueri , Radu Iosif

Combinatorial optimization can be described as the problem of finding a feasible subset that maximizes a objective function. The paper discusses combinatorial optimization problems, where for each dimension the set of feasible subsets is…

Computational Complexity · Computer Science 2024-11-27 Nimrod Megiddo

Questions concerning the development of a logical model of innovation project data, as well as those concerning the design of information systems for decision-making support in the management of innovation projects, are discussed.

Other Computer Science · Computer Science 2016-11-27 L. Mylnikov , A. Trusov

Computing modular coincidences can show whether a given substitution system, which is supported on a point lattice in R^d, consists of model sets or not. We prove the computatibility of this problem and determine an upper bound for the…

Metric Geometry · Mathematics 2008-03-11 D. Frettlöh , B. Sing