Integration of deterministic inference with formal synthesis for control under uncertainty

Kevin J. Leahy; Prasanna Kannappan; Adam Jardine; Herbert Tanner; Jeffrey Heinz; Calin Belta

doi:10.1109/ACC.2016.7526117

Integration of deterministic inference with formal synthesis for control under uncertainty

Kevin J. Leahy
, Prasanna Kannappan
, Adam Jardine
, Herbert Tanner
, Jeffrey Heinz
, Calin Belta

Linguistics

Boston University
University of Delaware

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

2 Scopus citations

Abstract

In this work, we consider an agent playing a turn-based game in a known environment against an adversary with unknown dynamics. The model of the adversary is assumed to belong to a subclass of regular languages that can be learned in the limit. We use tools from formal methods to synthesize a control strategy for the agent to win the game as it learns the model of its adversary, if a winning strategy exists. The strategy is updated as new information about the adversary is learned. The proposed framework is tested in simulation.

Original language	English
Title of host publication	2016 American Control Conference, ACC 2016
Publisher	Institute of Electrical and Electronics Engineers Inc.
Pages	4829-4834
Number of pages	6
ISBN (Electronic)	9781467386821
DOIs	https://doi.org/10.1109/ACC.2016.7526117
State	Published - Jul 28 2016
Event	2016 American Control Conference, ACC 2016 - Boston, United States Duration: Jul 6 2016 → Jul 8 2016

Publication series

Name	Proceedings of the American Control Conference
Volume	2016-July
ISSN (Print)	0743-1619

Conference

Conference	2016 American Control Conference, ACC 2016
Country/Territory	United States
City	Boston
Period	07/6/16 → 07/8/16

Access to Document

10.1109/ACC.2016.7526117

Cite this

Leahy, K. J., Kannappan, P., Jardine, A., Tanner, H., Heinz, J., & Belta, C. (2016). Integration of deterministic inference with formal synthesis for control under uncertainty. In 2016 American Control Conference, ACC 2016 (pp. 4829-4834). Article 7526117 (Proceedings of the American Control Conference; Vol. 2016-July). Institute of Electrical and Electronics Engineers Inc.. https://doi.org/10.1109/ACC.2016.7526117

@inproceedings{6d9a7cb3394b490aab8c0b1522129cae,

title = "Integration of deterministic inference with formal synthesis for control under uncertainty",

abstract = "In this work, we consider an agent playing a turn-based game in a known environment against an adversary with unknown dynamics. The model of the adversary is assumed to belong to a subclass of regular languages that can be learned in the limit. We use tools from formal methods to synthesize a control strategy for the agent to win the game as it learns the model of its adversary, if a winning strategy exists. The strategy is updated as new information about the adversary is learned. The proposed framework is tested in simulation.",

author = "Leahy, \{Kevin J.\} and Prasanna Kannappan and Adam Jardine and Herbert Tanner and Jeffrey Heinz and Calin Belta",

note = "Publisher Copyright: {\textcopyright} 2016 American Automatic Control Council (AACC).; 2016 American Control Conference, ACC 2016 ; Conference date: 06-07-2016 Through 08-07-2016",

year = "2016",

month = jul,

day = "28",

doi = "10.1109/ACC.2016.7526117",

language = "English",

series = "Proceedings of the American Control Conference",

publisher = "Institute of Electrical and Electronics Engineers Inc.",

pages = "4829--4834",

booktitle = "2016 American Control Conference, ACC 2016",

}

Leahy, KJ, Kannappan, P, Jardine, A, Tanner, H, Heinz, J & Belta, C 2016, Integration of deterministic inference with formal synthesis for control under uncertainty. in 2016 American Control Conference, ACC 2016., 7526117, Proceedings of the American Control Conference, vol. 2016-July, Institute of Electrical and Electronics Engineers Inc., pp. 4829-4834, 2016 American Control Conference, ACC 2016, Boston, United States, 07/6/16. https://doi.org/10.1109/ACC.2016.7526117

Integration of deterministic inference with formal synthesis for control under uncertainty. / Leahy, Kevin J.; Kannappan, Prasanna; Jardine, Adam et al.
2016 American Control Conference, ACC 2016. Institute of Electrical and Electronics Engineers Inc., 2016. p. 4829-4834 7526117 (Proceedings of the American Control Conference; Vol. 2016-July).

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

TY - GEN

T1 - Integration of deterministic inference with formal synthesis for control under uncertainty

AU - Leahy, Kevin J.

AU - Kannappan, Prasanna

AU - Jardine, Adam

AU - Tanner, Herbert

AU - Heinz, Jeffrey

AU - Belta, Calin

PY - 2016/7/28

Y1 - 2016/7/28

N2 - In this work, we consider an agent playing a turn-based game in a known environment against an adversary with unknown dynamics. The model of the adversary is assumed to belong to a subclass of regular languages that can be learned in the limit. We use tools from formal methods to synthesize a control strategy for the agent to win the game as it learns the model of its adversary, if a winning strategy exists. The strategy is updated as new information about the adversary is learned. The proposed framework is tested in simulation.

AB - In this work, we consider an agent playing a turn-based game in a known environment against an adversary with unknown dynamics. The model of the adversary is assumed to belong to a subclass of regular languages that can be learned in the limit. We use tools from formal methods to synthesize a control strategy for the agent to win the game as it learns the model of its adversary, if a winning strategy exists. The strategy is updated as new information about the adversary is learned. The proposed framework is tested in simulation.

UR - https://www.scopus.com/pages/publications/84992090947

U2 - 10.1109/ACC.2016.7526117

DO - 10.1109/ACC.2016.7526117

M3 - Conference contribution

AN - SCOPUS:84992090947

T3 - Proceedings of the American Control Conference

SP - 4829

EP - 4834

BT - 2016 American Control Conference, ACC 2016

PB - Institute of Electrical and Electronics Engineers Inc.

T2 - 2016 American Control Conference, ACC 2016

Y2 - 6 July 2016 through 8 July 2016

ER -

Integration of deterministic inference with formal synthesis for control under uncertainty

Abstract

Publication series

Conference

Access to Document

Other files and links

Fingerprint

Cite this