Verification and Control of Hybrid Systems Under Safety Requirements

摘要

In this paper a framework for the formal verification of safety properties of constrained hybrid systems is developed and a stabilization problem is addressed by using model predictive control ideas. By resorting to piecewise affine state space descriptions, system properties are verified by means offorwardandbackwardreachability concepts which are computed via set-theoretic arguments. Along similar lines, a low-demanding receding horizon controller is next derived to deal with the underlying constrained stabilization problem. Simulations on a benchmark train-gate model show the effectiveness of the proposed methodology.