Finite abstraction of mixed monotone systems with discrete and continuous inputs

详细信息    查看全文

• 作者：Samuel Coogan ; ^{scoogan@eecs.berkeley.edu} ; Murat Arcak ^{arcak@eecs.berkeley.edu}
• 关键词：Mixed monotone systems ; Monotone systems ; Finite state abstractions
• 刊名：Nonlinear Analysis: Hybrid Systems
• 出版年：2017
• 出版时间：February 2017
• 年：2017
• 卷：23
• 期：Complete
• 页码：254-271
• 全文大小：622 K
• 卷排序：23

文摘

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.