Linear-time temporal logic control of discrete event models of cooperative robots
Por favor, use este identificador para citar o enlazar este ítem:
http://hdl.handle.net/10045/12594
Título: | Linear-time temporal logic control of discrete event models of cooperative robots |
---|---|
Autor/es: | Lacerda, Bruno | Lima, Pedro |
Palabras clave: | Discrete event systems | Supervisory control | Linear-time temporal logic |
Área/s de conocimiento: | Ciencia de la Computación e Inteligencia Artificial |
Fecha de publicación: | mar-2008 |
Editor: | Red de Agentes Físicos |
Cita bibliográfica: | LACERDA, Bruno; LIMA, Pedro. “Linear-time temporal logic control of discrete event models of cooperative robots”. Journal of Physical Agents. Vol. 2, No. 1 (March 2008). ISSN 1888-0258, pp. 53-61 |
Resumen: | A Discrete Event System (DES) is a discrete state space dynamic system that evolves in accordance with the instantaneous occurrence, at possibly unkown times, of physical events. Given a DES, its behavior (the sequence of displayed events) may not satisfy a set of logical performance objectives. The purpose of Supervisory Control is to restrict that behavior in order to achieve those objectives. Linear-Time Temporal Logic (LTL) is an extension of Propositional Logic which allows reasoning over an infinite sequence of states. We will use this logical formalism as a way to specify our performance objectives for a given DES and build a supervisor that restricts the DES’ behavior to those objectives by construction. Several simulated application examples illustrate the developed method. |
URI: | http://hdl.handle.net/10045/12594 | http://dx.doi.org/10.14198/JoPha.2008.2.1.05 |
ISSN: | 1888-0258 |
DOI: | 10.14198/JoPha.2008.2.1.05 |
Idioma: | eng |
Tipo: | info:eu-repo/semantics/article |
Revisión científica: | si |
Aparece en las colecciones: | Journal of Physical Agents - 2008, Vol. 2, No. 1 |
Archivos en este ítem:
Archivo | Descripción | Tamaño | Formato | |
---|---|---|---|---|
JoPha_2_1_05.pdf | 1,09 MB | Adobe PDF | Abrir Vista previa | |
Este ítem está licenciado bajo Licencia Creative Commons