Formal Analysis of Engineering Systems Based on Signal-Flow-Graph Theory.
Sidi Mohamed BeillahiUmair SiddiqueSofiène TaharPublished in: NSV@CAV (2016)
Keyphrases
- graph theory
- formal analysis
- engineering systems
- computational intelligence
- engineering problems
- computer vision and pattern recognition
- graph theoretic
- formal methods
- automata theory
- complex networks
- graph based representations
- social network analysis
- combinatorial optimization
- graph theoretical
- maximum independent set
- fuzzy logic
- agent model
- maximal cliques
- social networks