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]

Authors

Philip Twu

This author has not been identified. Look up 'Philip Twu' in Google

Patrick Martin

This author has not been identified. Look up 'Patrick Martin' in Google

Magnus Egerstedt

This author has not been identified. Look up 'Magnus Egerstedt' in Google