1
|
Peyrard N, Cros M, Givry S, Franc A, Robin S, Sabbadin R, Schiex T, Vignes M. Exact or approximate inference in graphical models: why the choice is dictated by the treewidth, and how variable elimination can be exploited. AUST NZ J STAT 2019. [DOI: 10.1111/anzs.12257] [Citation(s) in RCA: 0] [Impact Index Per Article: 0] [Reference Citation Analysis] [Track Full Text] [Journal Information] [Subscribe] [Scholar Register] [Indexed: 11/28/2022]
Affiliation(s)
- N. Peyrard
- INRA UR 875 MIAT Chemin de Borde Rouge 31326Castanet‐Tolosan France
| | - M.‐J. Cros
- INRA UR 875 MIAT Chemin de Borde Rouge 31326Castanet‐Tolosan France
| | - S. Givry
- INRA UR 875 MIAT Chemin de Borde Rouge 31326Castanet‐Tolosan France
| | - A. Franc
- INRA UMR 1202 Biodiversité, Gènes et Communautés 69, route d'Arcachon, Pierroton 33612Cestas Cedex France
| | - S. Robin
- AgroParisTech UMR 518 MIA 16 rue Claude Bernard Paris 5e France
- INRA, UMR 518 MIA 16 rue Claude Bernard Paris 5e France
| | - R. Sabbadin
- INRA UR 875 MIAT Chemin de Borde Rouge 31326Castanet‐Tolosan France
| | - T. Schiex
- INRA UR 875 MIAT Chemin de Borde Rouge 31326Castanet‐Tolosan France
| | - M. Vignes
- Institute of Fundamental Sciences Massey University Palmerston North New Zealand
| |
Collapse
|
2
|
Abstract
AbstractThe CNT framework (Constraint Network on Timelines) has been designed to model discrete event dynamic systems and the properties one knows, one wants to verify, or one wants to enforce on them. In this article, after a reminder about the CNT framework, we show its modeling power and its ability to support various modeling styles, coming from the planning, scheduling, and constraint programming communities. We do that by producing and comparing various models of two mission management problems in the aerospace domain: management of a team of unmanned air vehicles and of an Earth observing satellite.
Collapse
|