related documents Generalized integral controllability Conferences Piecewise linear test functions for stability of queueing networks Conferences State-event observers for labeled transition systems Conferences