In this paper, we consider the problem of checking hybrid systems
modelled by hybrid automata for a class of duration properties called
linear duration invariants, which are constructed from linear
inequalities of integrated durations of system states. Based on linear
programming, an algorithm is developed for checking a class of hybrid
automata for linear duration invariants.