Formally Verified Architecture Patterns of Hybrid Systems Using Proof and Refinement with Event-B.
Guillaume DupontYamine Aït AmeurMarc PantelNeeraj Kumar SinghPublished in: ABZ (2020)
Keyphrases
- fuzzy logic
- hybrid systems
- soft computing
- computational intelligence
- neural network
- artificial intelligence
- fuzzy sets
- intelligent systems
- expert systems
- black box
- meta learning
- discrete event
- real time
- multi agent systems
- knowledge acquisition
- model selection
- orders of magnitude
- software architecture
- dynamic systems
- temporal reasoning