On polyhedral estimates for reachable sets of discrete‐time systems with bilinear uncertainty

We describe techniques for constructing external and internal polyhedral (parallelepiped‐valued) estimates for reachability sets of discrete‐time systems with bilinear uncertainty, i.e., systems with originally linear but incompletely specified dynamics, when system coefficients exhibit uncertainty of the interval type. Our primary attention is focused on internal estimates. The evolution of reachability set estimates is given by recursive relations. We give numerical modeling results.