Note: This content is accessible to all versions of every browser. However, this browser does not seem to support current Web standards, preventing the display of our site's design details.


On the Reachability Problem for Uncertain Hybrid Systems


Y. Gao, J. Lygeros, M. Quincampoix

IEEE Transactions on Automatic Control, vol. 52, no. 9, pp. 1572-1586

In this paper, we revisit the problem of designing controllers to meet safety specifications for hybrid systems, whose evolution is affected by both control and disturbance inputs. The problem is formulated as a dynamic game and an appropriate notion of hybrid strategy for the control inputs is developed. The design of hybrid strategies to meet safety specifications is based on an iteration of alternating discrete and continuous safety calculations. We show that, under certain assumptions, the iteration converges to a fixed point, which turns out to be the maximal set of states for which the safety specifications can be met. The continuous part of the calculation relies on the computation of the set of winning states for one player in a two player, two target, pursuit evasion differential game. We develop a characterization of these winning states (as well as the winning states for the other player for completeness) using methods from nonsmooth analysis and viability theory.


Type of Publication:


File Download:

Request a copy of this publication.
(Uses JavaScript)
% Autogenerated BibTeX entry
@Article { GaoLyg:2007:IFA_2962,
    author={Y. Gao and J. Lygeros and M. Quincampoix},
    title={{On the Reachability Problem for Uncertain Hybrid Systems}},
    journal={IEEE Transactions on Automatic Control},
Permanent link