Modeling Train Systems: From High-Level Architecture Graphical Models to Formal Specifications.
Racem BougachaRégine LaleauPhilippe BonSimon Collart DutilleulRahma Ben AyedPublished in: CRiSIS (2022)
Keyphrases
- graphical models
- high level
- formal specification
- probabilistic model
- belief propagation
- probabilistic graphical models
- probabilistic inference
- bayesian networks
- markov networks
- structure learning
- conditional independence
- random variables
- approximate inference
- exact inference
- maximum likelihood
- belief networks
- programming language
- software components
- conditional random fields
- software systems
- formal methods
- statistical inference
- expert systems
- loopy belief propagation
- map inference
- building blocks