Inspec keywords: automation; reachability analysis; control engineering computing; automata theory; program testing; discrete systems

Other keywords: commercial model-based development tool; requirements-satisfaction; reachability resolution; thermal control unit; hybrid automaton refinement; edge representation; discrete-time hybrid systems; cyberphysical system; bounded counter; automated test generation; Simulink/Stateflow; defect-detection

Subjects: Diagnostic, testing, debugging and evaluating systems; Discrete control systems; Control engineering computing; Automata theory; Combinatorial mathematics