Under-Approximate Reachability Analysis for a Class of Linear Systems with Inputs

Mohamed Serry, Jun Liu

Under-approximations of reachable sets and tubes have been receiving growing research attention due to their important roles in control synthesis and verification. Available under-…