Homotopy Conley index for discrete multivalued dynamical systems

We define an index of Conley type for a certain class of upper semicontinuous multivalued dynamical systems. We use the Szymczak functor and apply techniques introduced by Reineck, Mrozek and Srzednicki for the index over the base. Moreover we introduce the notion of the homotopy partial functor for the usc maps. We show that the index possesses Ważewski and homotopy properties. We also give four examples that exhibit the benefits of our index over the cohomological index defined by Mrozek and Kaczyński.