Inspec keywords: set theory; stability; continuous systems; discrete systems; piecewise constant techniques; control system synthesis; reachability analysis

Other keywords: piecewise constant bounded inputs; bounded initial set; input-to-state stability; Lipschitz continuity; simulation-based bounded-horizon verification; reachability-face; Lipschitz-based discrepancy function; switched systems; hybrid automata; state-triggered discrete jumps; bounded-horizon safety; hybrid systems

Subjects: Stability in control theory; Control system analysis and synthesis methods; Nonlinear control systems; Combinatorial mathematics; Optimal control; Discrete control systems