Abstract
Abstract 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 of forward and backward reachability 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.
Full Text
Published Version
Talk to us
Join us for a 30 min session where you can share your feedback and ask us any queries you have
Schedule a call