Control synthesis through deep learning

Doron Peled; Simon Iosti; Saddek Bensalem

doi:10.1007/978-3-030-31514-6_14

Control synthesis through deep learning

Doron Peled, Simon Iosti, Saddek Bensalem

Department of Computer Science

Bar-Ilan University

Research output: Chapter in Book/Report/Conference proceeding › Chapter › peer-review

Abstract

Deep learning has gained unprecedented rapid popularity in computer science in recent years. It is used in tasks that were previously considered highly challenging for computers, such as speech and image recognition and natural language processing. While deep learning is often associated with complicated tasks, we look at the much more mundane task of refining a system behavior through control that is constructed with the use of learning techniques. We compare the use of deep learning for this task with other techniques such as automata learning and genetic programming.

Original language	English
Title of host publication	Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Publisher	Springer Verlag
Pages	242-255
Number of pages	14
DOIs	https://doi.org/10.1007/978-3-030-31514-6_14
State	Published - 2019

Publication series

Name	Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Volume	11500 LNCS

All Science Journal Classification (ASJC) codes

Theoretical Computer Science
General Computer Science

Access to Document

10.1007/978-3-030-31514-6_14

Cite this

Peled, D., Iosti, S., & Bensalem, S. (2019). Control synthesis through deep learning. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (pp. 242-255). (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 11500 LNCS). Springer Verlag. https://doi.org/10.1007/978-3-030-31514-6_14

Peled, Doron ; Iosti, Simon ; Bensalem, Saddek. / Control synthesis through deep learning. Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). Springer Verlag, 2019. pp. 242-255 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)).

@inbook{c77618d896ed4263aa4c34e8c233a085,

title = "Control synthesis through deep learning",

abstract = "Deep learning has gained unprecedented rapid popularity in computer science in recent years. It is used in tasks that were previously considered highly challenging for computers, such as speech and image recognition and natural language processing. While deep learning is often associated with complicated tasks, we look at the much more mundane task of refining a system behavior through control that is constructed with the use of learning techniques. We compare the use of deep learning for this task with other techniques such as automata learning and genetic programming.",

author = "Doron Peled and Simon Iosti and Saddek Bensalem",

note = "Publisher Copyright: {\textcopyright} Springer Nature Switzerland AG 2019.",

year = "2019",

doi = "10.1007/978-3-030-31514-6_14",

language = "الإنجليزيّة",

series = "Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)",

publisher = "Springer Verlag",

pages = "242--255",

booktitle = "Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)",

address = "ألمانيا",

}

Peled, D, Iosti, S & Bensalem, S 2019, Control synthesis through deep learning. in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), vol. 11500 LNCS, Springer Verlag, pp. 242-255. https://doi.org/10.1007/978-3-030-31514-6_14

Control synthesis through deep learning. / Peled, Doron; Iosti, Simon; Bensalem, Saddek.
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). Springer Verlag, 2019. p. 242-255 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 11500 LNCS).

Research output: Chapter in Book/Report/Conference proceeding › Chapter › peer-review

TY - CHAP

T1 - Control synthesis through deep learning

AU - Peled, Doron

AU - Iosti, Simon

AU - Bensalem, Saddek

PY - 2019

Y1 - 2019

N2 - Deep learning has gained unprecedented rapid popularity in computer science in recent years. It is used in tasks that were previously considered highly challenging for computers, such as speech and image recognition and natural language processing. While deep learning is often associated with complicated tasks, we look at the much more mundane task of refining a system behavior through control that is constructed with the use of learning techniques. We compare the use of deep learning for this task with other techniques such as automata learning and genetic programming.

AB - Deep learning has gained unprecedented rapid popularity in computer science in recent years. It is used in tasks that were previously considered highly challenging for computers, such as speech and image recognition and natural language processing. While deep learning is often associated with complicated tasks, we look at the much more mundane task of refining a system behavior through control that is constructed with the use of learning techniques. We compare the use of deep learning for this task with other techniques such as automata learning and genetic programming.

UR - http://www.scopus.com/inward/record.url?scp=85073143808&partnerID=8YFLogxK

U2 - 10.1007/978-3-030-31514-6_14

DO - 10.1007/978-3-030-31514-6_14

M3 - فصل

T3 - Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

SP - 242

EP - 255

BT - Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

PB - Springer Verlag

ER -

Peled D, Iosti S, Bensalem S. Control synthesis through deep learning. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). Springer Verlag. 2019. p. 242-255. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)). doi: 10.1007/978-3-030-31514-6_14

Control synthesis through deep learning

Abstract

Publication series

All Science Journal Classification (ASJC) codes

Access to Document

Other files and links

Fingerprint

Cite this