A Decidable Class of Planar Linear Hybrid Systems

Pavithra Prabhakar, Vladimeros Vladimerou, Mahesh Viswanathan and Geir E. Dullerud

The paper shows the decidability of the reachability problem for planar, monotonic, linear hybrid automata without resets. These automata are a special class of linear hybrid automata with only two variables, whose flows in all states is monotonic along some direction in the plane, and in which the continuous variables are not reset on a discrete transition.

Hybrid Systems: Computation and Control (HSCC), 2008
Download: BIB PS PDF