Manfred Morari;Lothar Thiele
Automatic Control Laboratory, ETH Zurich, Zurich, Switzerland;Computer Engineering and Networks Laboratory, ETH Zurich, Zurich, Switzerland
Verifying average dwell time of hybrid systems
ACM Transactions on Embedded Computing Systems (TECS)