• Elektrovej, 326, 126

    2800 Kgs. Lyngby

    Denmark

20122020

Research output per year

If you made any changes in Pure these will be visible here soon.

Network Recent external collaboration on country level. Dive into details by clicking on the dots.

Research Output

A Procedure for Modelling and Verification of Safety Objectives and Functions

Wu, J., Song, M., Zhang, X. & Lind, M., 2020, Proceedings of the 30th European Safety and Reliability Conference and the 15th Probabilistic Safety Assessment and Management Conference. Research Pulishing, 8 p.

Research output: Chapter in Book/Report/Conference proceedingArticle in proceedingsResearchpeer-review

Causality Validation of Multilevel Flow Modelling

Nielsen, E. K., Gofuku, A., Zhang, X., Ravn, O. & Lind, M., 2020, (Accepted/In press) In : Computers and Chemical Engineering. 106944.

Research output: Contribution to journalJournal articleResearchpeer-review

File
26 Downloads (Pure)

A rule-based approach for planning counter-actions with multilevel flow modeling

Song, M., Zhang, X., Lind, M. & Gofuku, A., 18 May 2019, Proceedings of the 27th International Conference on Nuclear Engineering, ICONE 2019 - "Nuclear Power Saves the World!". American Society of Mechanical Engineers

Research output: Chapter in Book/Report/Conference proceedingArticle in proceedingsResearchpeer-review

Extending MFM Function Ontology for Representing Separation and Conversion in Process Plant

Zhang, X., Lind, M., Jørgensen, S. B., Wu, J. & Karnati, P., 2019, Proceedings of 7th International Conference on Water and Flood Management. 4 p.

Research output: Chapter in Book/Report/Conference proceedingArticle in proceedingsResearchpeer-review

Open Access
File
452 Downloads (Pure)

Functional Modeling for Monitoring of Robotic System

Wu, H., Bateman, R. R., Zhang, X. & Lind, M., 2018, In : Applied Artificial Intelligence. 32, 3, p. 1-24

Research output: Contribution to journalJournal articleResearchpeer-review

1 Downloads (Pure)

Projects

Activities

  • 4 Conference presentations

37th Enlarged Halden Programme Group Meeting

Xinxin Zhang (Speaker)

10 Mar 201315 Mar 2013

Activity: Talks and presentationsConference presentations

International Workshop on Functional Modelling

Xinxin Zhang (Speaker)

6 Nov 20127 Nov 2012

Activity: Talks and presentationsConference presentations

8th HOLMUG meeting

Xinxin Zhang (Speaker)

18 Oct 201219 Oct 2012

Activity: Talks and presentationsConference presentations

File

1st International Symposium on Socially and Technically Symbiotic Systems

Xinxin Zhang (Speaker)

29 Aug 201231 Aug 2012

Activity: Talks and presentationsConference presentations