1. |
|
|
2. |
|
|
3. |
- Cesta, Amedeo, et al.
(författare)
-
Planning with multiple-components in OMPS
- 2008
-
Ingår i: New frontiers in applied artificial intelligence. - : Springer Berlin/Heidelberg. - 9783540690450 ; , s. 435-445
-
Konferensbidrag (refereegranskat)
|
|
4. |
- Cesta, Amedeo, et al.
(författare)
-
Unifying planning and scheduling as timelines in a component-based perspective
- 2008
-
Ingår i: Archives of Control Science. - : Versita. - 1230-2384. ; 18:2, s. 231-271
-
Tidskriftsartikel (refereegranskat)abstract
- The timeline-based approach to planning represents an effective alternative to classical planning for complex domains requiring the use of both temporal reasoning and scheduling features. This paper discusses the constraint-based approach to timeline planning and scheduling introduced in OMPS. OMPS is a an architecture for problem solving which draws inspiration from both control theory and constraint-based reasoning, and which is based on the notion of components.The rationale behind the component-based approach shares with classical control theory a basic modeling perspective: the planning and scheduling problem is represented by identifying a set of relevant domain components which need to be controlled to obtain a desired temporal behavior for the entire system. Components are entities whose properties may vary in time and which model one or more physical (or logical) domain subsystems relevant to a given planning context. The planner/scheduler plays the role of the controller for these entities, and reasons in terms of constraints that bound their internal evolutions and the desired properties of the generated behaviors (goals). Our work complements this modeling assumption with a constraint-based computational framework. Admissible temporal behaviors of components are specified as a set of causal constraints within a rich temporal specification, and goals are specified as temporal constraint preferences. The OMPS software architecture presented in this paper combines both specific and generic constraint solvers in defining consistent timelines which satisfy a given set of goals.
|
|
5. |
- Kimber, Simon A. J., et al.
(författare)
-
Charge Order at the Frontier between the Molecular and Solid States in Ba3NaRu2O9
- 2012
-
Ingår i: Physical Review Letters. - 1079-7114. ; 108:21
-
Tidskriftsartikel (refereegranskat)abstract
- We show that the valence electrons of Ba3NaRu2O9, which has a quasimolecular structure, completely crystallize below 210 K. Using an extended Hubbard model, we show that the charge ordering instability results from long-range Coulomb interactions. However, orbital ordering, metal-metal bonding, and formation of a partial spin gap enforce the magnitude of the charge separation. The striped charge order and frustrated hcp lattice of Ru2O9 dimers lead to competition with a quasidegenerate charge-melted phase under photoexcitation at low temperature. Our results establish a broad class of simple metal oxides as models for emergent phenomena at the border between the molecular and solid states.
|
|