Reductions and Abstractions for Optimization of Modular Timed Automata
Paper i proceeding, 2022

Time optimization of concurrent sequences of operations is in this paper solved by timed automata. To reduce the complexity of this classical problem, including applications such as planning and scheduling, an abstraction method has recently been proposed based on local optimization (Hagebring and Lennartson, 2019). In a modular subsystem, local paths without any communication with other subsystems are optimized with respect to time, and when subsystems are synchronized more local behavior appears. The proposed method has shown to be successful, drastically reducing computational complexity for important classes of planning problems. The only drawback is that the synchronous composition includes a heuristic non-standard synchronous composition procedure to achieve true con currency. In this paper a simple solution to this problem is presented based on the original synchronous composition of timed automata. In the transformation of the timed automaton to an ordinary automaton, where time weights are generated, it is first observed that the state space often increases dramatically in this transformation. To solve this complexity problem, an efficient reduction is proposed as a complement to local optimization, and both methods are demonstrated to be very efficient when they are applied to realistic benchmark examples. Copyright (C) 2022 The Authors.

Timed systems

modular systems

timed automata

automata

optimization

Författare

Bengt Lennartson

Chalmers, Elektroteknik, System- och reglerteknik

IFAC-PapersOnLine

2405-8963 (ISSN) 24058963 (eISSN)

Vol. 55 28 344-349

16th IFAC Workshop on Discrete Event Systems (WODES)
Prague, Czech Republic,

Ämneskategorier

Datorteknik

Beräkningsmatematik

Datorseende och robotik (autonoma system)

DOI

10.1016/j.ifacol.2022.10.364

Mer information

Senast uppdaterat

2023-10-27