Compositional assume-guarantee reasoning for input/output component theories.
Chris ChiltonBengt JonssonMarta Z. KwiatkowskaPublished in: Sci. Comput. Program. (2014)
Keyphrases
- input output
- causal reasoning
- reasoning and decision making
- noise cancellation
- fuzzy model
- reasoning mechanisms
- formal models
- state transition
- internal states
- knowledge base
- data envelopment analysis
- fuzzy inference system
- knowledge representation
- fuzzy neural network
- fuzzy controller
- fuzzy modeling
- learning algorithm