TY - GEN

T1 - Detecting and enforcing monotonicity for hybrid control systems synthesis

AU - Gromov, D.

AU - Raisch, J.

PY - 2006

Y1 - 2006

N2 - 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 (apriori 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.

AB - 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 (apriori 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.

M3 - статья в сборнике материалов конференции

SP - 395

EP - 401

BT - Proc. 2nd IFAC Conference on Analysis and Design of Hybrid Systems, ADHS'06

ER -