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

Université Grenoble Alpes

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

1 Scopus citations

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
ISSN (Print)	0302-9743
ISSN (Electronic)	1611-3349

Bibliographical note

Publisher Copyright:
© Springer Nature Switzerland AG 2019.

Funding

D. Peled–The research performed by this author was partially funded by Israeli Science Foundation grant 1464/18: “Efficient Runtime Verification for Systems with Lots of Data and its Applications”.. Acknowledgement. The authors would like to thank Yoav Goldberg, for useful discussions on deep learning and comments on an early draft of the paper.

Funders	Funder number
Israel Science Foundation	1464/18

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{7b7aacffcbbf4e2bb9b6dfaf1b7fd31c,

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 - ???researchoutput.researchoutputtypes.contributiontobookanthology.chapter???

AN - SCOPUS:85073143808

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

Bibliographical note

Funding

Access to Document

Other files and links

Fingerprint

Cite this