Dissipativity of finite and hybrid automata: An overview | IEEE Conference Publication | IEEE Xplore