Trace-Enabled Timing Model Synthesis for ROS2-based Autonomous Applications.
Hazem AbazaDebayan RoyShiqing FanSelma SaidiAntonios MotakisPublished in: DATE (2024)
Keyphrases
- formal model
- probabilistic model
- computational model
- mathematical model
- closed form
- probability distribution
- statistical model
- theoretical analysis
- linear model
- data mining
- object model
- parameter values
- prediction model
- sensitivity analysis
- experimental data
- theoretical framework
- management system
- expert systems
- objective function
- bayesian networks
- image sequences
- high level
- knowledge base
- artificial intelligence
- genetic algorithm