THERE ARE $5$ QUESTIONS LOOK IN IMAGE $,$ TOPIC IS OF AUTOMATA $,$ ANSWER ALL $5$ QUESTIONS $,$ IF YOU DONT KNOW SKIP $.$ ANSWER WITH PROPERY QUESTION NUMBER AND CORRECT OPTION $($EG : Q$1-$ A $).$ QUESTION $5$ IS OF MULTIMPLE CORRECT BE CAREFUL

$1)$ Which of the following statement$($s$)$ is$/$are false regarding Timed Automata?

a$.$ Timed automata are hybrid automata without any continuous variable x such that f$($x$,$q$)!=1$ at

a location q $($ f is the vector field$/$ flow in HA tuple$)$

b$.$ Timed automata are Finite automata with clocks

c$.$ The edges in a Timed automaton involves an input event

d$.$ There exists definite set of initial locations but no definite set of final locations

$2)$ Find out whether the following statements are true or false:

The flow relation in a linear hybrid automaton is a constant

a$.$ T

b$.$ F

$3)$ Invariants and guards are convex linear predicates of the HA variables

a$.$ T

b$.$ F

$4)$ Guards are predicates that are defined on the valuations of the HA

a$.$ T

b$.$ F

$5)$ Which of the following is$/$are true regarding linear hybrid automata $($LHA$)?$

a$.$ LHAs are HAs that has a convex affine flow formula

b$.$ LHAs are HAs with convex affine initial region and invariant formulae

c$.$ LHAs are the HAs that have automatic model checking techniques

d$.$ LHAs with f$($q$)=1$ are timed automata