Time-optimal control of large-scale systems of systems using compositional optimization
Artikel i vetenskaplig tidskrift, 2019

Optimization of industrial processes such as manufacturing cells can have great impact on their performance. Finding optimal solutions to these large-scale systems is, however, a complex problem. They typically include multiple subsystems, and the search space generally grows exponentially with each subsystem. In previous work we proposed Compositional Optimization as a method to solve these type of problems. This integrates optimization with techniques from compositional supervisory control, dividing the optimization into separate sub-problems. The main purpose is to mitigate the state explosion problem, but a bonus is that the individual sub-problems can be solved using parallel computation, making the method even more scalable. This paper further improves on compositional optimization with a novel synchronization method, called partial time-weighted synchronization (PTWS), that is specifically designed for time-optimal control of asynchronous systems. The benefit is its ability to combine the behaviour of asynchronous subsystems without introducing additional states or transitions. The method also reduces the search space further by integrating an optimization heuristic that removes many non-optimal or redundant solutions already during synchronization. Results in this paper show that compositional optimization efficiently generates global optimal solutions to large-scale realistic optimization problems, too big to solve when based on traditional monolithic models. It is also shown that the introduction of PTWS drastically decreases the total search space of the optimization compared to previous work.

Time-optimal control

Discrete event systems

State explosion problem

Large-scale optimization

Compositional optimization

Författare

Fredrik Hagebring

Chalmers, Elektroteknik, System- och reglerteknik, Automation

Bengt Lennartson

Chalmers, Elektroteknik, System- och reglerteknik

Discrete Event Dynamic Systems: Theory and Applications

0924-6703 (ISSN) 1573-7594 (eISSN)

Vol. 29 3 411-443

Ämneskategorier

Beräkningsmatematik

Reglerteknik

Datavetenskap (datalogi)

DOI

10.1007/s10626-019-00290-0

Mer information

Senast uppdaterat

2019-11-10