Reachability-Guaranteed Sliding-Mode Control for Asynchronously Switched Uncertain Systems | Synapse