Domitilla Del Vecchio. Partial order techniques for the analysis and synthesis of hybrid and embedded systems. In 46th IEEE Conference on Decision and Control, CDC 2007, New Orleans, LA, USA, December 12-14, 2007. pages 156-170, IEEE, 2007. [doi]
Abstract is missing.