@inproceedings{5ce99f97cd234660a6db9c2c985ea0b5,
title = "Computation of an over-approximation of the backward reachable set using subsystem level set functions",
abstract = "In this paper, we present a method to decompose the problem of computing the backward reachable set for a dynamic system in a space of a given dimension, into a set of computational problems involving level set functions, each defined in a lower dimensional (subsystem) space. This allows the potential for great reduction in computation time. The overall system is considered as an interconnection of either disjoint or overlapping subsystems. The projection of the backward reachable set into the subsystem spaces is over-approximated by a level set of the corresponding subsystem level set function. It is shown how this method can be applied to two-player differential games. Finally, results of the computation of polytopic over-approximations of the unsafe set for the two aircraft conflict resolution problem are presented.",
keywords = "Differential games, Interconnected systems, Over-approximations, Reachable set",
author = "Stipanovi{\'c}, {Du{\v s}an M.} and Inseok Hwang and Tomlin, {Claire J.}",
note = "Publisher Copyright: {\textcopyright} 2003 EUCA.; 2003 European Control Conference, ECC 2003 ; Conference date: 01-09-2003 Through 04-09-2003",
year = "2003",
month = apr,
day = "13",
doi = "10.23919/ecc.2003.7084971",
language = "English (US)",
series = "European Control Conference, ECC 2003",
publisher = "Institute of Electrical and Electronics Engineers Inc.",
pages = "300--305",
booktitle = "European Control Conference, ECC 2003",
address = "United States",
}