Searching for violation of safety and liveness properties using knowledge discovery in complex systems specified through graph transformations.
Einollah PiraVahid RafeAmin NikanjamPublished in: Inf. Softw. Technol. (2018)
Keyphrases
- complex systems
- knowledge discovery
- dynamic systems
- graph properties
- physical systems
- graph theory
- multi agent systems
- manufacturing systems
- data mining
- mathematical models
- computational systems
- discrete event systems
- biological systems
- agent based modeling
- association rules
- technical systems
- fuzzy cognitive maps
- directed graph
- steady state simulation