Partial order techniques for the analysis and synthesis of hybrid and embedded systems

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]

Authors

Domitilla Del Vecchio

This author has not been identified. Look up 'Domitilla Del Vecchio' in Google