On Sufficient Conditions for Mixed Monotonicity

Mixed monotone systems form an important class of nonlinear systems that have recently received attention in the abstraction-based control design area. Slightly different definitions exist in the literature, and it remains a challenge to verify mixed monotonicity of a system in general. In this paper, we first clarify the relation between different existing definitions of mixed monotone systems, and then give two sufficient conditions for mixed monotone functions defined on Euclidean space. These sufficient conditions are more general than the ones from the existing control literature, and they suggest that mixed monotonicity is a very generic property. Some discussions are provided on the computational usefulness of the proposed sufficient conditions.

[1]  M. Arcak,et al.  Sampled-Data Reachability Analysis Using Sensitivity and Mixed-Monotonicity , 2018, IEEE Control Systems Letters.

[2]  Alex A. Kurzhanskiy,et al.  Mixed monotonicity of partial first-in-first-out traffic flow models , 2016, 2016 IEEE 55th Conference on Decision and Control (CDC).

[3]  Amey Y. Karnik,et al.  Fuel cell thermal management: Modeling, specifications and correct-by-construction control synthesis , 2017, 2017 American Control Conference (ACC).

[4]  Tianguang Chu,et al.  Mixed monotone decomposition of dynamical systems with application , 1998 .

[5]  Stephen P. Boyd,et al.  Convex Optimization , 2004, Algorithms and Theory of Computation Handbook.

[6]  Pál Turán.  Sur la Série de Fourier , 1970 .

[7]  Burkhard Lenze,et al.  On constructive one-sided approximation of multivariate functions of bounded variation , 1990 .

[8]  Petter Nilsson,et al.  Augmented finite transition systems as abstractions for control synthesis , 2017, Discret. Event Dyn. Syst..

[9]  Amey Y. Karnik,et al.  Fuel Cell Thermal Management: Modeling, Specifications, and Correct-by-Construction Control Synthesis , 2020, IEEE Transactions on Control Systems Technology.

[10]  Calin Belta,et al.  Formal Methods for Discrete-Time Dynamical Systems , 2017 .

[11]  H.L. Smith,et al.  Global stability for mixed monotone systems , 2008 .

[12]  Murat Arcak,et al.  Efficient finite abstraction of mixed monotone systems , 2015, HSCC.

[13]  Kellen Petersen August.  Real Analysis , 2009 .

[14]  David Angeli,et al.  Monotone control systems , 2003, IEEE Trans. Autom. Control..

[15]  Necmiye Ozay,et al.  A note on some sufficient conditions for mixed monotone systems , 2017 .

[16]  J. Cortés.  Discontinuous dynamical systems , 2008, IEEE Control Systems.