Abstract:
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.
Registro:
Documento: |
Conferencia
|
Título: | Directed Controller Synthesis of discrete event systems: Taming composition with heuristics |
Autor: | Ciolek, D.; Braberman, V.; D'Ippolito, N.; Uchitel, S. |
Filiación: | Departamento de Computación, Universidad de Buenos Aires, Argentina Department of Computing, Imperial College, London, United Kingdom CONICET, United Kingdom
|
Año: | 2016
|
Página de inicio: | 4764
|
Página de fin: | 4769
|
DOI: |
http://dx.doi.org/10.1109/CDC.2016.7798996 |
Título revista: | 55th IEEE Conference on Decision and Control, CDC 2016
|
Título revista abreviado: | IEEE Conf. Decis. Control, CDC 2016
|
Registro: | https://bibliotecadigital.exactas.uba.ar/collection/paper/document/paper_97815090_v_n_p4764_Ciolek |
Referencias:
- Ramadge, P.J., Wonham, W.M., Supervisory control of a class of discrete event processes (1987) SIAM Journal on Control and Optimization, 25
- Goldman, R.P., Musliner, D.J., Pelican, M.J.S., Exploiting implicit representations in timed automaton verification for controller synthesis (2002) Proc. 5th Int. Workshop of Hybrid Systems: Computation and Control, HSCC
- Gromyko, A., Pistore, M., Traverso, P., A tool for controller synthesis via symbolic model checking (2006) Proceeding of the 8th Int. Workshop on Discrete Event Systems
- D'Ippolito, N., Fischbein, D., Chechik, M., Uchitel, S., MTSA: The modal transition system analyser (2008) Proc. 23rd IEEE/ACM Int. Conf. on Automated Software Engineering, ASE
- Mohajerani, S., Malik, R., Ware, S., Fabian, M., Compositional synthesis of discrete event systems using synthesis abstraction (2011) Control and Decision Conf., CCDC
- Akers, S.B., Binary decision diagrams (1978) IEEE Transactions in Computers, 27
- Wonham, M.W., Ramadge, P.J., On the supremal controllable sublanguage of a given language (1987) SIAM Journal on Control and Optimization, 25 (3)
- Bonet, B., Geffner, H., Planning as heuristic search (2001) Artificial Intelligence, 129
- Hart, P.E., Nilsson, N.J., Raphael, B., A formal basis for the heuristic determination of minimum cost paths (1972) SIGART Bulletin, (37)
- Edelkamp, S., Lluch-Lafuente, A., Leue, S., Directed explicit model checking with hsf-spin (2001) SPin 2057 of Lecture Notes in Comp. Sci.
- Kupferschmid, S., Hoffmann, J., Dierks, H., Behrmann, G., Adapting an ai planning heuristic for directed model checking (2006) Model Checking Software Vol. 3925 of Lecture Notes in Comp. Sci.
- Alimguzhin, V., Mari, F., Melatti, I., Salvo, I., Tronci, E., On-the-Fly Control Software Synthesis (2013) Model Checking Software,vol. 7976 of Lecture Notes in Comp. Sci.
- Simon, R., Lee, R.C.T., On the optimal solutions to and/or series-parallel graphs (1971) Journal of the ACM, 18
- Huang, J., Kumar, R., Directed control of discrete event systems for safety and nonblocking (2008) IEEE Trans. Automation Science & Engineering, 5
- Wonham, W., Notes on control of discrete-event systems (1999) Dep. of Electrical and Comp. Engineering, University of TorontoA4 -
Citas:
---------- APA ----------
Ciolek, D., Braberman, V., D'Ippolito, N. & Uchitel, S.
(2016)
. Directed Controller Synthesis of discrete event systems: Taming composition with heuristics. 55th IEEE Conference on Decision and Control, CDC 2016, 4764-4769.
http://dx.doi.org/10.1109/CDC.2016.7798996---------- CHICAGO ----------
Ciolek, D., Braberman, V., D'Ippolito, N., Uchitel, S.
"Directed Controller Synthesis of discrete event systems: Taming composition with heuristics"
. 55th IEEE Conference on Decision and Control, CDC 2016
(2016) : 4764-4769.
http://dx.doi.org/10.1109/CDC.2016.7798996---------- MLA ----------
Ciolek, D., Braberman, V., D'Ippolito, N., Uchitel, S.
"Directed Controller Synthesis of discrete event systems: Taming composition with heuristics"
. 55th IEEE Conference on Decision and Control, CDC 2016, 2016, pp. 4764-4769.
http://dx.doi.org/10.1109/CDC.2016.7798996---------- VANCOUVER ----------
Ciolek, D., Braberman, V., D'Ippolito, N., Uchitel, S. Directed Controller Synthesis of discrete event systems: Taming composition with heuristics. IEEE Conf. Decis. Control, CDC 2016. 2016:4764-4769.
http://dx.doi.org/10.1109/CDC.2016.7798996