Requirements modelling by synthesis of deontic input-output automata.
Emmanuel LetierWilliam HeavenPublished in: ICSE (2013)
Keyphrases
- input output
- internal states
- fuzzy neural network
- fuzzy controller
- fuzzy model
- cellular automata
- noise cancellation
- regular expressions
- non stationary
- fuzzy logic controller
- neural network
- temporal logic
- fuzzy logic
- finite state machines
- fuzzy inference system
- nonlinear systems
- nonlinear functions
- deontic logic
- database