DETECTING AND ENFORCING MONOTONICITY FOR HYBRID CONTROL SYSTEMS SYNTHESIS

Abstraction based approaches to control of hybrid systems require efficient means of computing outer approximations of reachable continuous state sets. This contribution discusses how the concept of monotonicity can be used for this purpose. It provides an efficient algorithm to check whether a given continuous system is monotone with respect to a (a-priori unknown) partial order and, if not, investigates how to use continuous feedback to enforce monotonicity. In the latter case, the resulting continuous feedback represents a (lower) control level within a hierarchical hybrid control system.