Fuzzy specification of finite state machines.
Siegfried I. MenschHans Martin LippPublished in: EURO-DAC (1990)
Keyphrases
- finite state machines
- state machine
- state transition
- model checking
- fuzzy logic
- finite state automata
- fuzzy sets
- digital circuits
- fuzzy numbers
- hidden markov models
- formal specification
- regular expressions
- fuzzy set theory
- fuzzy clustering
- membership functions
- fuzzy rules
- high level
- database
- data exchange
- specification language