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...
Guardado en:
| Autores principales: | , , , |
|---|---|
| Formato: | CONF |
| Acceso en línea: | http://hdl.handle.net/20.500.12110/paper_97815090_v_n_p4764_Ciolek |
| Aporte de: |
| id |
todo:paper_97815090_v_n_p4764_Ciolek |
|---|---|
| record_format |
dspace |
| spelling |
todo:paper_97815090_v_n_p4764_Ciolek2023-10-03T16:43:47Z Directed Controller Synthesis of discrete event systems: Taming composition with heuristics Ciolek, D. Braberman, V. D'Ippolito, N. Uchitel, S. 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. CONF info:eu-repo/semantics/openAccess http://creativecommons.org/licenses/by/2.5/ar 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. |
| format |
CONF |
| author |
Ciolek, D. Braberman, V. D'Ippolito, N. Uchitel, S. |
| spellingShingle |
Ciolek, D. Braberman, V. D'Ippolito, N. Uchitel, S. Directed Controller Synthesis of discrete event systems: Taming composition with heuristics |
| author_facet |
Ciolek, D. Braberman, V. D'Ippolito, N. Uchitel, S. |
| author_sort |
Ciolek, D. |
| title |
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 |
| url |
http://hdl.handle.net/20.500.12110/paper_97815090_v_n_p4764_Ciolek |
| work_keys_str_mv |
AT ciolekd directedcontrollersynthesisofdiscreteeventsystemstamingcompositionwithheuristics AT brabermanv directedcontrollersynthesisofdiscreteeventsystemstamingcompositionwithheuristics AT dippoliton directedcontrollersynthesisofdiscreteeventsystemstamingcompositionwithheuristics AT uchitels directedcontrollersynthesisofdiscreteeventsystemstamingcompositionwithheuristics |
| _version_ |
1807314855171981312 |