Xavier Briand

According to our database, Xavier Briand authored at least 2 papers between 2005 and 2009.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of four.

2009

Combining control and data abstraction in the verification of hybrid systems.

Xavier Briand, Bertrand Jeannet

Proceedings of the 7th ACM/IEEE International Conference on Formal Methods and Models for Codesign (MEMOCODE 2009), 2009

2005

A generic approach to the control of discrete event systems.

André Arnold, Xavier Briand, Gérald Point, Aymeric Vincent

Proceedings of the 44th IEEE IEEE Conference on Decision and Control and 8th European Control Conference Control, 2005