On Optimization of Automation Systems: Integrating Modular Learning and Optimization

被引:6
作者
Hagebring, Fredrik [1 ]
Farooqui, Ashfaq [2 ]
Fabian, Martin [1 ]
Lennartson, Bengt [1 ]
机构
[1] Chalmers Univ Technol, Dept Elect Engn, S-41296 Gothenburg, Sweden
[2] Res Inst Sweden, RISE, S-50462 Boras, Sweden
基金
瑞典研究理事会;
关键词
Optimization; Automation; Learning automata; Task analysis; Automata; Software algorithms; Multiprotocol label switching; control systems; optimization; learning automata;
D O I
10.1109/TASE.2022.3144230
中图分类号
TP [自动化技术、计算机技术];
学科分类号
0812 ;
摘要
Compositional Optimization (CompOpt) was recently proposed for optimization of discrete-event systems of systems. A modular optimization model allows CompOpt to divide the optimization into separate sub-problems, mitigating the state space explosion problem. This paper presents the Modular Optimization Learner (MOL), a method that interacts with a simulation of a system to automatically learn these modular optimization models. MOL uses a modular learning that takes as input a hypothesis structure of the system and uses the provided structural information to split the acquired learning into a set of modules, and to prune parts of the search space. Experiments show that modular learning reduces the state space by many orders of magnitude compared to a monolithic learning, which enables learning of much larger systems. Furthermore, an integrated greedy search heuristic allows MOL to remove many sub-optimal paths in the individual modules, speeding up the subsequent optimization.
引用
收藏
页码:1662 / 1674
页数:13
相关论文
共 23 条
[1]   Formal models of bank cards for free [J].
Aarts, Fides ;
de Ruiter, Joeri ;
Poll, Erik .
IEEE SIXTH INTERNATIONAL CONFERENCE ON SOFTWARE TESTING, VERIFICATION AND VALIDATION WORKSHOPS (ICSTW 2013), 2013, :461-468
[2]   Inference and Abstraction of the Biometric Passport [J].
Aarts, Fides ;
Schmaltz, Julien ;
Vaandrager, Frits .
LEVERAGING APPLICATIONS OF FORMAL METHODS, VERIFICATION, AND VALIDATION, PT I, 2010, 6415 :673-686
[3]   Intersection- Free Geometrical Partitioning of Multirobot Stations for Cycle Time Optimization [J].
Ablad, Edvin ;
Spensieri, Domenico ;
Bohlin, Robert ;
Carlson, Johan S. .
IEEE TRANSACTIONS ON AUTOMATION SCIENCE AND ENGINEERING, 2018, 15 (02) :842-851
[4]  
Cassandras C. G., 2008, Introduction to discrete event systems, DOI DOI 10.1007/978-0-387-68612-7
[5]  
Dai Jin, 2014, [Control Theory and Technology, 控制理论与技术], V12, P218
[6]  
Dijkstra EW., 1959, Numerische Mathematik, V1, P269, DOI [10.1007/BF01386390, DOI 10.1007/BF01386390]
[7]  
Droste M, 2009, MONOGR THEOR COMPUT, P1, DOI 10.1007/978-3-642-01492-5
[8]  
Farooqui A., 2021, MIDES MODEL INFERENC
[9]   Active Learning of Modular Plant Models [J].
Farooqui, Ashfaq ;
Hagebring, Fredrik ;
Fabian, Martin .
IFAC PAPERSONLINE, 2020, 53 (04) :296-302
[10]   COMPOSITIONAL VERIFICATION IN SUPERVISORY CONTROL [J].
Flordal, Hugo ;
Malik, Robi .
SIAM JOURNAL ON CONTROL AND OPTIMIZATION, 2009, 48 (03) :1914-1938