Finite abstraction of mixed monotone systems with discrete and continuous inputs. (February 2017)

• Record Type: Journal Article
• Authors: Coogan, Samuel; Arcak, Murat
• Is Part Of: Nonlinear analysis. Volume 23(2017)
• Page Start: 254
• Page End: 271
• Publication Date: 2017-02
• Subjects: Mixed monotone systems -- Monotone systems -- Finite state abstractions; Nonlinear functional analysis -- Periodicals; Analyse fonctionnelle non linéaire -- Périodiques; Nonlinear functional analysis; Periodicals; 515.7248
• DOI: 10.1016/j.nahs.2016.04.005
• Languages: English
• ISSNs: 1751-570X

Abstract

Abstract: We present an efficient computational procedure for finite abstraction of discrete-time mixed monotone systems by considering a rectangular partition of the state space. Mixed monotone systems are decomposable into increasing and decreasing components, and significantly generalize the well known class of monotone systems. We tightly overapproximate the one-step reachable set from a box of initial conditions by computing a decomposition function at only two points, regardless of the dimension of the state space. We first consider systems with a finite set of operating modes and then extend the formulation to systems with continuous control inputs. We apply our results to verify the dynamical behavior of a model for insect population dynamics and to synthesize a signaling strategy for a traffic network.