Xiying Weng

According to our database, Xiying Weng authored at least 5 papers between 2000 and 2003.

Collaborative distances:

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

2003

Verification and validation of logic control algorithms by model checking.

Xiying Weng

PhD thesis, 2003

2002

Model checking: towards generating a correct specification for logic controllers.

Xiying Weng, Lothar Litz

Proceedings of the American Control Conference, 2002

Controller design for an FMS using Signal Interpreted Petri Nets and SFC: Validation of both descriptions via model-checking.

Stéphane Klein, Xiying Weng, Georg Frey, Jean-Jacques Lesage, Lothar Litz

Proceedings of the American Control Conference, 2002

2001

Model checking of signal interpreted Petri nets.

Xiying Weng, Lothar Litz

Proceedings of the IEEE International Conference on Systems, 2001

2000

Verification of logic control design using SIPN and model checking: methods and case study.

Xiying Weng, Lothar Litz

Proceedings of the American Control Conference, 2000