A partial order approach for low complexity control of block triangular hybrid automata
Domitilla Del Vecchio · 2007
This paper addresses the safety control problem for a class of block triangular order preserving hybrid automata. In particular, the partial order structure of the system is exploited to obtain two main contributions. First, conditions are provided for the termination of the proposed algorithm. Second, the control algorithm has linear complexity in the number of variables.