---

Negli ultimi anni, un numero crescente di applicazioni ha evidenziato il problema del controllo dell´evoluzione di impianti fisici attraverso livelli astratti di decisione, pianificazione e supervisione. Alcuni esempi particolari possono essere ritrovati nella robotica, dove i simboli di ingresso possono rappresentare comandi complessi. La capacità di un linguaggio di codificare la più ampia varietà di azioni, attraverso sequenze di lunghezza minima, è un aspetto cruciale quando si considera uno scenario reale. E´ sufficiente considerare un agente che riceve la pianificazione di riferimento da un centro di controllo remoto attraverso un canale di comunicazione con capacità limitata. In tempo finito, un numero limitato di dati può essere utilizzato per far evolvere l´agente nello stato finale desiderato. Uno degli aspetti principali è la determinazione di pianificazioni, descritte da sequenze limitate di simboli, per l´evoluzione di sistemi dinamici complessi attraverso stati di equilibrio. L´efficienza è quindi rappresentata dalla possibilità di rappresentare in modo compatto l´insieme degli stati di equilibrio, e di determinare rapidamente le pianificazioni per muoversi tra essi.

---