Playing games with scenario- and resource-aware SDF graphs through policy iteration

The two-player mean-payoff game is a well-known game theoretic model that is widely used, for instance in economics and control theory. For controller synthesis, a controller is modeled as a player while the environment, or plant, is modeled as the opponent player (adversary). Synthesizing an optima...

Ausführliche Beschreibung

Gespeichert in:
Bibliographische Detailangaben
Veröffentlicht in:Proceedings of the Conference on Design, Automation and Test in Europe S. 194 - 199
Hauptverfasser: Yang, Yang, Geilen, Marc, Basten, Twan, Stuijk, Sander, Corporaal, Henk
Format: Tagungsbericht
Sprache:Englisch
Veröffentlicht: San Jose, CA, USA EDA Consortium 12.03.2012
Schriftenreihe:ACM Conferences
Schlagworte:
Computing methodologies > Artificial intelligence > Control methods
Computing methodologies > Artificial intelligence > Control methods > Computational control theory
Hardware > Electronic design automation > Physical design (EDA)
Hardware > Hardware validation
synchronous dataflow
maxplus algebra
policy iteration
game theory
ISBN:3981080181, 9783981080186
Online-Zugang:Volltext
Tags: Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
Abstract The two-player mean-payoff game is a well-known game theoretic model that is widely used, for instance in economics and control theory. For controller synthesis, a controller is modeled as a player while the environment, or plant, is modeled as the opponent player (adversary). Synthesizing an optimal controller that satisfies a given criterion corresponds to finding a winning strategy for the controller player. Emerging streaming applications (audio, video, communication, etc.) for embedded systems exhibit both input sensitive and controller sensitive runtime behavior, where the controller's role is run-time management or scheduling. Embedded controllers need to be optimized for dynamic inputs, while guaranteeing throughput constraints. In this paper, we consider this design task for scenario- and resource-aware dataflow graphs that model streaming applications. Scenarios in these models capture classes of dynamic environment behavior. We demonstrate how to model and solve the controller synthesis problem by constructing a winning strategy in a two-player mean payoff throughput game.
AbstractList The two-player mean-payoff game is a well-known game theoretic model that is widely used, for instance in economics and control theory. For controller synthesis, a controller is modeled as a player while the environment, or plant, is modeled as the opponent player (adversary). Synthesizing an optimal controller that satisfies a given criterion corresponds to finding a winning strategy for the controller player. Emerging streaming applications (audio, video, communication, etc.) for embedded systems exhibit both input sensitive and controller sensitive runtime behavior, where the controller's role is run-time management or scheduling. Embedded controllers need to be optimized for dynamic inputs, while guaranteeing throughput constraints. In this paper, we consider this design task for scenario- and resource-aware dataflow graphs that model streaming applications. Scenarios in these models capture classes of dynamic environment behavior. We demonstrate how to model and solve the controller synthesis problem by constructing a winning strategy in a two-player mean payoff throughput game.
Author Stuijk, Sander
Corporaal, Henk
Basten, Twan
Yang, Yang
Geilen, Marc
Author_xml – sequence: 1
  givenname: Yang
  surname: Yang
  fullname: Yang, Yang
  email: y.yang@tue.nl
  organization: Eindhoven University of Technology, Netherlands
– sequence: 2
  givenname: Marc
  surname: Geilen
  fullname: Geilen, Marc
  email: m.c.w.geilen@tue.nl
  organization: Eindhoven University of Technology, Netherlands
– sequence: 3
  givenname: Twan
  surname: Basten
  fullname: Basten, Twan
  email: a.a.basten@tue.nl
  organization: Eindhoven University of Technology, Netherlands and Embedded Systems Institute, Eindhoven, Netherlands
– sequence: 4
  givenname: Sander
  surname: Stuijk
  fullname: Stuijk, Sander
  email: s.stuijk@tue.nl
  organization: Eindhoven University of Technology, Netherlands
– sequence: 5
  givenname: Henk
  surname: Corporaal
  fullname: Corporaal, Henk
  email: h.corporaal@tue.nl
  organization: Eindhoven University of Technology, Netherlands
BookMark eNqNkD1PwzAYhC0BErR0ZvXIkmAnTm2PqFBAqgRSYbZefyQxpHFlp6r67wmQH8Atp5Pubnhm6LwPvUPohpK8GnVXMFlwIvJfr8QZmpVSUCIIFfQSLVL6JIRQypmQ4gpt3zo4-b7BDexcwkc_tDgZ10P0IcPQWxxdCodoXAZHiA5vH9a4ibBvEx7aGA5Ni_eh8-aE_eAiDD701-iihi65xeRz9LF-fF89Z5vXp5fV_SaDouBD5sASqA0vLZVSmsJKA3xZM26W0jItnJBOM1JxycemZZWWfExEa2NFUdpyjvK_XzA7pUP4SooS9QNBTRDUBEHp6F09Dm7_OSi_AUdXYJQ
ContentType Conference Proceeding
DOI 10.5555/2492708.2492758
DatabaseTitleList
DeliveryMethod fulltext_linktorsrc
Discipline Engineering
EndPage 199
GroupedDBID 6IE
6IF
6IK
6IL
6IN
AAJGR
ALMA_UNASSIGNED_HOLDINGS
BEFXN
BFFAM
BGNUA
BKEBE
BPEOZ
CBEJK
IEGSK
IERZE
OCL
RIB
RIC
RIE
RIL
ID FETCH-LOGICAL-a227t-ead0afc73d1999c2d9ca76f47c69d4b8e89eb405797ad0d45b970570bbcd823d3
ISBN 3981080181
9783981080186
ISICitedReferencesCount 2
ISICitedReferencesURI http://www.webofscience.com/api/gateway?GWVersion=2&SrcApp=Summon&SrcAuth=ProQuest&DestLinkType=CitingArticles&DestApp=WOS_CPL&KeyUT=000415126300039&url=https%3A%2F%2Fcvtisr.summon.serialssolutions.com%2F%23%21%2Fsearch%3Fho%3Df%26include.ft.matches%3Dt%26l%3Dnull%26q%3D
IngestDate Wed Jan 31 06:46:20 EST 2024
Wed Jan 31 06:46:19 EST 2024
IsPeerReviewed false
IsScholarly true
Keywords synchronous dataflow
maxplus algebra
policy iteration
game theory
Language English
LinkModel OpenURL
MeetingName DATE '12: Design, Automation and Test in Europe
MergedId FETCHMERGED-LOGICAL-a227t-ead0afc73d1999c2d9ca76f47c69d4b8e89eb405797ad0d45b970570bbcd823d3
PageCount 6
ParticipantIDs acm_books_10_5555_2492708_2492758_brief
acm_books_10_5555_2492708_2492758
PublicationCentury 2000
PublicationDate 20120312
PublicationDateYYYYMMDD 2012-03-12
PublicationDate_xml – month: 03
  year: 2012
  text: 20120312
  day: 12
PublicationDecade 2010
PublicationPlace San Jose, CA, USA
PublicationPlace_xml – name: San Jose, CA, USA
PublicationSeriesTitle ACM Conferences
PublicationTitle Proceedings of the Conference on Design, Automation and Test in Europe
PublicationYear 2012
Publisher EDA Consortium
Publisher_xml – name: EDA Consortium
SSID ssj0001174898
ssj0001967614
Score 1.8332207
Snippet The two-player mean-payoff game is a well-known game theoretic model that is widely used, for instance in economics and control theory. For controller...
SourceID acm
SourceType Publisher
StartPage 194
SubjectTerms Computing methodologies -- Artificial intelligence -- Control methods
Computing methodologies -- Artificial intelligence -- Control methods -- Computational control theory
Hardware -- Electronic design automation -- Physical design (EDA)
Hardware -- Hardware validation
Title Playing games with scenario- and resource-aware SDF graphs through policy iteration
WOSCitedRecordID wos000415126300039&url=https%3A%2F%2Fcvtisr.summon.serialssolutions.com%2F%23%21%2Fsearch%3Fho%3Df%26include.ft.matches%3Dt%26l%3Dnull%26q%3D
hasFullText 1
inHoldings 1
isFullTextHit
isPrint
link http://cvtisr.summon.serialssolutions.com/2.0.0/link/0/eLvHCXMwtV3Nb9MwFLe6iQOc-BhiMJCRkDhMgSR2Y_uI6CYuTJVapHGKHMdBhZFOS7rtvL-c92wvziok4EAOSW0lsfp-L7bfNyFvOJNSNQ1LilyrhKP1UFphE1ZrZgrMEK4aV2xCnJzI01M1n0xubmNhLs9E28rra3X-X6GGPgAbQ2f_Ae7hpdABvwF0OAPscN7aEf928ZkPnd2t_T9G9aFpYOZ8NtycsOnXPnLRmRCWsECg-sMr6Me8ND_TLhrqG7rUBq92Y1sQs9eJd1APRoBEX6En2WJ2fOgyYXdDHaBzl3_40CdxHtn-vwZ9NV4HXyALU1UbIolM1LUCQ_payleRpRf9ZvX9h9dtY5yOnyUxe3MHbPZ59N_vKDjQU4QlWRSHj2YfXPFSkEZWITuFE3-ZkugfmfmKL2H-zXzF5LCUZ7720vYqMYUDA2G4ykUq37nrVO6QHSFSHwEYtXQZZueRsa0KUbhaYXF4n8ZpaBc-gRQO8n5rCNwBmZ-j_cvyIdmLdKCRQx6RiW0fkwejpJRPyCKgTR3aFNGmA9oUiEzvok0BberRpgFt6tGmA9p75Mvx0fLjpySU3kh0nos-gfkl1Y0RrMY0FSavldGiaLgwhap5Ja1UtsK9vhJwZ82nlRLQSqvK1DJnNXtKdtt1a58R2jSK6azW8BznumJVoSvecJAb0kKnlu-T10CUEr-grgSRFAlXBsKVgXD75O0f7ykrYK3m-V-87QW5H_nsgOz2Fxv7ktwzl_2qu3jlGOAXMuB1PQ
linkProvider IEEE
openUrl ctx_ver=Z39.88-2004&ctx_enc=info%3Aofi%2Fenc%3AUTF-8&rfr_id=info%3Asid%2Fsummon.serialssolutions.com&rft_val_fmt=info%3Aofi%2Ffmt%3Akev%3Amtx%3Abook&rft.genre=proceeding&rft.title=Proceedings+of+the+Conference+on+Design%2C+Automation+and+Test+in+Europe&rft.atitle=Playing+games+with+scenario-+and+resource-aware+SDF+graphs+through+policy+iteration&rft.au=Yang%2C+Yang&rft.au=Geilen%2C+Marc&rft.au=Basten%2C+Twan&rft.au=Stuijk%2C+Sander&rft.series=ACM+Conferences&rft.date=2012-03-12&rft.pub=EDA+Consortium&rft.isbn=3981080181&rft.spage=194&rft.epage=199&rft_id=info:doi/10.5555%2F2492708.2492758
thumbnail_l http://covers-cdn.summon.serialssolutions.com/index.aspx?isbn=9783981080186/lc.gif&client=summon&freeimage=true
thumbnail_m http://covers-cdn.summon.serialssolutions.com/index.aspx?isbn=9783981080186/mc.gif&client=summon&freeimage=true
thumbnail_s http://covers-cdn.summon.serialssolutions.com/index.aspx?isbn=9783981080186/sc.gif&client=summon&freeimage=true