Formal Descriptive Modeling for Self-verification of Fuzzy Network Systems.
Owen MacmannRick GravesKelly CohenPublished in: NAFIPS (2023)
Keyphrases
- formal methods
- fuzzy logic
- fuzzy sets
- telecommunication networks
- distributed systems
- model checking
- network structure
- expert systems
- dynamic aspects
- asynchronous circuits
- distributed network
- fuzzy cognitive maps
- network model
- computer systems
- management system
- wireless sensor networks
- artificial intelligence
- membership functions
- complex networks
- fuzzy clustering
- complex systems
- communication channels
- peer to peer
- sensor networks
- formal languages
- automated verification