Directed Controller Synthesis of discrete event systems: Taming composition with heuristics

This paper presents a Directed Controller Synthesis (DCS) technique for discrete event systems. This DCS method explores the solution space for reactive controllers guided by a domain-independent heuristic. The heuristic is derived from an efficient abstraction of the environment based on the compon...

Descripción completa

Detalles Bibliográficos
Publicado: 2016
Acceso en línea:https://bibliotecadigital.exactas.uba.ar/collection/paper/document/paper_97815090_v_n_p4764_Ciolek
http://hdl.handle.net/20.500.12110/paper_97815090_v_n_p4764_Ciolek
Aporte de:
id paper:paper_97815090_v_n_p4764_Ciolek
record_format dspace
spelling paper:paper_97815090_v_n_p4764_Ciolek2023-06-08T16:37:53Z Directed Controller Synthesis of discrete event systems: Taming composition with heuristics This paper presents a Directed Controller Synthesis (DCS) technique for discrete event systems. This DCS method explores the solution space for reactive controllers guided by a domain-independent heuristic. The heuristic is derived from an efficient abstraction of the environment based on the componentized way in which complex environments are described. Then by building the composition of the components on-the-fly DCS obtains a solution by exploring a reduced portion of the state space. This work focuses on untimed discrete event systems with safety and co-safety (i.e. reachability) goals. An evaluation for the technique is presented comparing it to other well-known approaches to controller synthesis (based on symbolic representation and compositional analyses). © 2016 IEEE. 2016 https://bibliotecadigital.exactas.uba.ar/collection/paper/document/paper_97815090_v_n_p4764_Ciolek http://hdl.handle.net/20.500.12110/paper_97815090_v_n_p4764_Ciolek
institution Universidad de Buenos Aires
institution_str I-28
repository_str R-134
collection Biblioteca Digital - Facultad de Ciencias Exactas y Naturales (UBA)
description This paper presents a Directed Controller Synthesis (DCS) technique for discrete event systems. This DCS method explores the solution space for reactive controllers guided by a domain-independent heuristic. The heuristic is derived from an efficient abstraction of the environment based on the componentized way in which complex environments are described. Then by building the composition of the components on-the-fly DCS obtains a solution by exploring a reduced portion of the state space. This work focuses on untimed discrete event systems with safety and co-safety (i.e. reachability) goals. An evaluation for the technique is presented comparing it to other well-known approaches to controller synthesis (based on symbolic representation and compositional analyses). © 2016 IEEE.
title Directed Controller Synthesis of discrete event systems: Taming composition with heuristics
spellingShingle Directed Controller Synthesis of discrete event systems: Taming composition with heuristics
title_short Directed Controller Synthesis of discrete event systems: Taming composition with heuristics
title_full Directed Controller Synthesis of discrete event systems: Taming composition with heuristics
title_fullStr Directed Controller Synthesis of discrete event systems: Taming composition with heuristics
title_full_unstemmed Directed Controller Synthesis of discrete event systems: Taming composition with heuristics
title_sort directed controller synthesis of discrete event systems: taming composition with heuristics
publishDate 2016
url https://bibliotecadigital.exactas.uba.ar/collection/paper/document/paper_97815090_v_n_p4764_Ciolek
http://hdl.handle.net/20.500.12110/paper_97815090_v_n_p4764_Ciolek
_version_ 1768544844246941696