Requirements-driven Slicing of Simulink Models Using LLMs.
Dipeeka LuitelShiva NejatiMehrdad SabetzadehPublished in: CoRR (2024)
Keyphrases
- control system
- probabilistic model
- experimental data
- machine learning algorithms
- complex systems
- accurate models
- real time
- modeling framework
- model driven
- mathematical models
- control algorithm
- statistical models
- statistical model
- parameter estimation
- model selection
- image segmentation
- case study
- decision making
- computer vision
- information retrieval