Graph process specifications for hybrid networked systems

Philip Twu, Patrick Martin, Magnus Egerstedt. Graph process specifications for hybrid networked systems. Discrete Event Dynamic Systems, 22(4):541-577, 2012. [doi]

Abstract

Abstract is missing.