Ontology-based requirement verification for complex systems.

Ruirui Chen Chun-Hsien Chen Yusheng Liu Xiaoping Ye

Published in: Adv. Eng. Informatics (2020)

Keyphrases

complex systems
dynamic systems
model checking
manufacturing systems
discrete event systems
multi agent systems
biological systems
physical systems
technical systems
steady state simulation
mathematical models
decision making
cooperative
fuzzy cognitive maps
agent based modeling
computational systems