RBML: A Refined Behavior Modeling Language for Safety-Critical Hybrid Systems.
Zhangtao ChenJing LiuXi DingMiaomiao ZhangPublished in: APSEC (2019)
Keyphrases
- modeling language
- hybrid systems
- safety critical
- formal methods
- metamodel
- black box
- meta learning
- intelligent systems
- artificial intelligence
- agent architecture
- neural network
- soft computing
- fault tolerant
- computational intelligence
- embedded systems
- support systems
- specification language
- learning tasks
- test set
- data model
- user interface
- expert systems
- learning environment
- reinforcement learning
- database systems
- machine learning
- data mining