Decomposing GR (1) games with singleton liveness guarantees for efficient synthesis
S Dathathri, RM Murray - 2017 IEEE 56th Annual Conference …, 2017 - ieeexplore.ieee.org
S Dathathri, RM Murray
2017 IEEE 56th Annual Conference on Decision and Control (CDC), 2017•ieeexplore.ieee.orgTemporal logic based synthesis approaches are often used to find trajectories that are
correct-by-construction for systems with complex behavior. However, the scalability of such
approaches is of concern and at times a bottleneck when transitioning from theory to
practice. In this paper, we identify a class of problems in the GR (1) fragment of linear-time
temporal logic (LTL) where the synthesis problem allows for a decomposition that enables
easy parallelization. This decomposition also reduces the alternation depth, resulting in …
correct-by-construction for systems with complex behavior. However, the scalability of such
approaches is of concern and at times a bottleneck when transitioning from theory to
practice. In this paper, we identify a class of problems in the GR (1) fragment of linear-time
temporal logic (LTL) where the synthesis problem allows for a decomposition that enables
easy parallelization. This decomposition also reduces the alternation depth, resulting in …
Temporal logic based synthesis approaches are often used to find trajectories that are correct-by-construction for systems with complex behavior. However, the scalability of such approaches is of concern and at times a bottleneck when transitioning from theory to practice. In this paper, we identify a class of problems in the GR(1) fragment of linear-time temporal logic (LTL) where the synthesis problem allows for a decomposition that enables easy parallelization. This decomposition also reduces the alternation depth, resulting in more efficient synthesis. A multi-agent robot gridworld example with coordination tasks is presented to demonstrate the application of the developed ideas and also to perform empirical analysis for benchmarking the decomposition-based synthesis approach.
ieeexplore.ieee.org