{"id":"https://openalex.org/W3147601882","doi":"https://doi.org/10.1109/date.2012.6176462","title":"Playing games with scenario- and resource-aware SDF graphs through policy iteration","display_name":"Playing games with scenario- and resource-aware SDF graphs through policy iteration","publication_year":2012,"publication_date":"2012-03-01","ids":{"openalex":"https://openalex.org/W3147601882","doi":"https://doi.org/10.1109/date.2012.6176462","mag":"3147601882"},"language":"en","primary_location":{"id":"doi:10.1109/date.2012.6176462","is_oa":false,"landing_page_url":"https://doi.org/10.1109/date.2012.6176462","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"2012 Design, Automation & Test in Europe Conference & Exhibition (DATE)","raw_type":"proceedings-article"},"type":"article","indexed_in":["crossref"],"open_access":{"is_oa":false,"oa_status":"closed","oa_url":null,"any_repository_has_fulltext":false},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5100397835","display_name":"Yang Yang","orcid":"https://orcid.org/0009-0004-2934-6870"},"institutions":[{"id":"https://openalex.org/I83019370","display_name":"Eindhoven University of Technology","ror":"https://ror.org/02c2kyt77","country_code":"NL","type":"education","lineage":["https://openalex.org/I83019370"]}],"countries":["NL"],"is_corresponding":true,"raw_author_name":"Yang Yang","raw_affiliation_strings":["Department of Electrical Engineering, Eindhoven University of Technology, Netherlands"],"affiliations":[{"raw_affiliation_string":"Department of Electrical Engineering, Eindhoven University of Technology, Netherlands","institution_ids":["https://openalex.org/I83019370"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5063550119","display_name":"Marc Geilen","orcid":"https://orcid.org/0000-0002-2629-3249"},"institutions":[{"id":"https://openalex.org/I83019370","display_name":"Eindhoven University of Technology","ror":"https://ror.org/02c2kyt77","country_code":"NL","type":"education","lineage":["https://openalex.org/I83019370"]}],"countries":["NL"],"is_corresponding":false,"raw_author_name":"M. Geilen","raw_affiliation_strings":["Department of Electrical Engineering, Eindhoven University of Technology, Netherlands"],"affiliations":[{"raw_affiliation_string":"Department of Electrical Engineering, Eindhoven University of Technology, Netherlands","institution_ids":["https://openalex.org/I83019370"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5026760188","display_name":"Twan Basten","orcid":"https://orcid.org/0000-0002-2274-7274"},"institutions":[{"id":"https://openalex.org/I83019370","display_name":"Eindhoven University of Technology","ror":"https://ror.org/02c2kyt77","country_code":"NL","type":"education","lineage":["https://openalex.org/I83019370"]}],"countries":["NL"],"is_corresponding":false,"raw_author_name":"T. Basten","raw_affiliation_strings":["Department of Electrical Engineering, Eindhoven University of Technology, Netherlands","Embedded Systems Institute, Eindhoven, Netherlands"],"affiliations":[{"raw_affiliation_string":"Department of Electrical Engineering, Eindhoven University of Technology, Netherlands","institution_ids":["https://openalex.org/I83019370"]},{"raw_affiliation_string":"Embedded Systems Institute, Eindhoven, Netherlands","institution_ids":[]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5032436846","display_name":"Sander Stuijk","orcid":"https://orcid.org/0000-0002-2518-6847"},"institutions":[{"id":"https://openalex.org/I83019370","display_name":"Eindhoven University of Technology","ror":"https://ror.org/02c2kyt77","country_code":"NL","type":"education","lineage":["https://openalex.org/I83019370"]}],"countries":["NL"],"is_corresponding":false,"raw_author_name":"S. Stuijk","raw_affiliation_strings":["Department of Electrical Engineering, Eindhoven University of Technology, Netherlands"],"affiliations":[{"raw_affiliation_string":"Department of Electrical Engineering, Eindhoven University of Technology, Netherlands","institution_ids":["https://openalex.org/I83019370"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5081768631","display_name":"Henk Corporaal","orcid":"https://orcid.org/0000-0003-4506-5732"},"institutions":[{"id":"https://openalex.org/I83019370","display_name":"Eindhoven University of Technology","ror":"https://ror.org/02c2kyt77","country_code":"NL","type":"education","lineage":["https://openalex.org/I83019370"]}],"countries":["NL"],"is_corresponding":false,"raw_author_name":"H. Corporaal","raw_affiliation_strings":["Department of Electrical Engineering, Eindhoven University of Technology, Netherlands"],"affiliations":[{"raw_affiliation_string":"Department of Electrical Engineering, Eindhoven University of Technology, Netherlands","institution_ids":["https://openalex.org/I83019370"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":5,"corresponding_author_ids":["https://openalex.org/A5100397835"],"corresponding_institution_ids":["https://openalex.org/I83019370"],"apc_list":null,"apc_paid":null,"fwci":0.5801,"has_fulltext":false,"cited_by_count":5,"citation_normalized_percentile":{"value":0.70966835,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":90,"max":96},"biblio":{"volume":null,"issue":null,"first_page":"194","last_page":"199"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10904","display_name":"Embedded Systems Design Techniques","score":0.9998999834060669,"subfield":{"id":"https://openalex.org/subfields/1708","display_name":"Hardware and Architecture"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},"topics":[{"id":"https://openalex.org/T10904","display_name":"Embedded Systems Design Techniques","score":0.9998999834060669,"subfield":{"id":"https://openalex.org/subfields/1708","display_name":"Hardware and Architecture"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T10933","display_name":"Real-Time Systems Scheduling","score":0.9994000196456909,"subfield":{"id":"https://openalex.org/subfields/1708","display_name":"Hardware and Architecture"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T10054","display_name":"Parallel Computing and Optimization Techniques","score":0.9993000030517578,"subfield":{"id":"https://openalex.org/subfields/1708","display_name":"Hardware and Architecture"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}}],"keywords":[{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.8172597885131836},{"id":"https://openalex.org/keywords/stochastic-game","display_name":"Stochastic game","score":0.6668981313705444},{"id":"https://openalex.org/keywords/dataflow","display_name":"Dataflow","score":0.6305067539215088},{"id":"https://openalex.org/keywords/controller","display_name":"Controller (irrigation)","score":0.607528567314148},{"id":"https://openalex.org/keywords/scheduling","display_name":"Scheduling (production processes)","score":0.5884630680084229},{"id":"https://openalex.org/keywords/game-theory","display_name":"Game theory","score":0.5653762817382812},{"id":"https://openalex.org/keywords/distributed-computing","display_name":"Distributed computing","score":0.5465266108512878},{"id":"https://openalex.org/keywords/sequential-game","display_name":"Sequential game","score":0.47392019629478455},{"id":"https://openalex.org/keywords/strategy","display_name":"Strategy","score":0.41094905138015747},{"id":"https://openalex.org/keywords/task","display_name":"Task (project management)","score":0.4103069603443146},{"id":"https://openalex.org/keywords/mathematical-optimization","display_name":"Mathematical optimization","score":0.3235239088535309},{"id":"https://openalex.org/keywords/parallel-computing","display_name":"Parallel computing","score":0.08857235312461853}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.8172597885131836},{"id":"https://openalex.org/C22171661","wikidata":"https://www.wikidata.org/wiki/Q1074380","display_name":"Stochastic game","level":2,"score":0.6668981313705444},{"id":"https://openalex.org/C96324660","wikidata":"https://www.wikidata.org/wiki/Q205446","display_name":"Dataflow","level":2,"score":0.6305067539215088},{"id":"https://openalex.org/C203479927","wikidata":"https://www.wikidata.org/wiki/Q5165939","display_name":"Controller (irrigation)","level":2,"score":0.607528567314148},{"id":"https://openalex.org/C206729178","wikidata":"https://www.wikidata.org/wiki/Q2271896","display_name":"Scheduling (production processes)","level":2,"score":0.5884630680084229},{"id":"https://openalex.org/C177142836","wikidata":"https://www.wikidata.org/wiki/Q44455","display_name":"Game theory","level":2,"score":0.5653762817382812},{"id":"https://openalex.org/C120314980","wikidata":"https://www.wikidata.org/wiki/Q180634","display_name":"Distributed computing","level":1,"score":0.5465266108512878},{"id":"https://openalex.org/C73795354","wikidata":"https://www.wikidata.org/wiki/Q287618","display_name":"Sequential game","level":3,"score":0.47392019629478455},{"id":"https://openalex.org/C88959737","wikidata":"https://www.wikidata.org/wiki/Q1546627","display_name":"Strategy","level":3,"score":0.41094905138015747},{"id":"https://openalex.org/C2780451532","wikidata":"https://www.wikidata.org/wiki/Q759676","display_name":"Task (project management)","level":2,"score":0.4103069603443146},{"id":"https://openalex.org/C126255220","wikidata":"https://www.wikidata.org/wiki/Q141495","display_name":"Mathematical optimization","level":1,"score":0.3235239088535309},{"id":"https://openalex.org/C173608175","wikidata":"https://www.wikidata.org/wiki/Q232661","display_name":"Parallel computing","level":1,"score":0.08857235312461853},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.0},{"id":"https://openalex.org/C6557445","wikidata":"https://www.wikidata.org/wiki/Q173113","display_name":"Agronomy","level":1,"score":0.0},{"id":"https://openalex.org/C144237770","wikidata":"https://www.wikidata.org/wiki/Q747534","display_name":"Mathematical economics","level":1,"score":0.0},{"id":"https://openalex.org/C86803240","wikidata":"https://www.wikidata.org/wiki/Q420","display_name":"Biology","level":0,"score":0.0},{"id":"https://openalex.org/C187736073","wikidata":"https://www.wikidata.org/wiki/Q2920921","display_name":"Management","level":1,"score":0.0},{"id":"https://openalex.org/C175444787","wikidata":"https://www.wikidata.org/wiki/Q39072","display_name":"Microeconomics","level":1,"score":0.0},{"id":"https://openalex.org/C162324750","wikidata":"https://www.wikidata.org/wiki/Q8134","display_name":"Economics","level":0,"score":0.0}],"mesh":[],"locations_count":3,"locations":[{"id":"doi:10.1109/date.2012.6176462","is_oa":false,"landing_page_url":"https://doi.org/10.1109/date.2012.6176462","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"2012 Design, Automation & Test in Europe Conference & Exhibition (DATE)","raw_type":"proceedings-article"},{"id":"pmh:oai:pure.tue.nl:openaire_cris_publications/7f47ec5d-ecfa-499d-8673-3b8d4a304b0e","is_oa":false,"landing_page_url":"https://research.tue.nl/en/publications/7f47ec5d-ecfa-499d-8673-3b8d4a304b0e","pdf_url":null,"source":{"id":"https://openalex.org/S4406922641","display_name":"TU/e Research Portal","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":null,"host_organization_name":null,"host_organization_lineage":[],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Yang, Y, Geilen, M C W, Basten, T, Stuijk, S & Corporaal, H 2012, Playing games with scenario- and resource-aware SDF graphs through policy iteration. in Proceedings of the Design, Automation & Test in Europe Conference & Exhibition (DATE), 12-16 March 2012, Dresden, Germany. IEEE Computer Society, Brussels, pp. 194-199, 15th Design, Automation and Test in Europe Conference and Exhibition, DATE 2012, Dresden, Germany, 12/03/12. https://doi.org/10.1109/DATE.2012.6176462","raw_type":"info:eu-repo/semantics/publishedVersion"},{"id":"pmh:tue:oai:pure.tue.nl:publications/7f47ec5d-ecfa-499d-8673-3b8d4a304b0e","is_oa":false,"landing_page_url":"https://research.tue.nl/nl/publications/7f47ec5d-ecfa-499d-8673-3b8d4a304b0e","pdf_url":null,"source":{"id":"https://openalex.org/S4306401843","display_name":"Data Archiving and Networked Services (DANS)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I1322597698","host_organization_name":"Royal Netherlands Academy of Arts and Sciences","host_organization_lineage":["https://openalex.org/I1322597698"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"Proceedings of the Design, Automation & Test in Europe Conference & Exhibition (DATE), 12-16 March 2012, Dresden, Germany, 194 - 199","raw_type":"info:eu-repo/semantics/conferencepaper"}],"best_oa_location":null,"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":39,"referenced_works":["https://openalex.org/W1489067204","https://openalex.org/W1494664245","https://openalex.org/W1710659396","https://openalex.org/W1971499713","https://openalex.org/W1991466857","https://openalex.org/W2028145673","https://openalex.org/W2036648930","https://openalex.org/W2067705833","https://openalex.org/W2069445541","https://openalex.org/W2076177204","https://openalex.org/W2076337359","https://openalex.org/W2076347141","https://openalex.org/W2087150194","https://openalex.org/W2093582532","https://openalex.org/W2104150063","https://openalex.org/W2106636610","https://openalex.org/W2115294662","https://openalex.org/W2120431055","https://openalex.org/W2126013065","https://openalex.org/W2140227114","https://openalex.org/W2141470955","https://openalex.org/W2142614666","https://openalex.org/W2151894309","https://openalex.org/W2153066698","https://openalex.org/W2153911262","https://openalex.org/W2156268532","https://openalex.org/W2160168402","https://openalex.org/W2164731247","https://openalex.org/W2166515154","https://openalex.org/W2171397018","https://openalex.org/W2569616450","https://openalex.org/W4230398107","https://openalex.org/W4231624530","https://openalex.org/W4234761190","https://openalex.org/W4236351856","https://openalex.org/W4252503408","https://openalex.org/W6637535114","https://openalex.org/W6675809095","https://openalex.org/W6679075602"],"related_works":["https://openalex.org/W1525051514","https://openalex.org/W2391693198","https://openalex.org/W2071306797","https://openalex.org/W169467377","https://openalex.org/W3122286720","https://openalex.org/W2018789977","https://openalex.org/W4214945368","https://openalex.org/W2405803446","https://openalex.org/W2117323550","https://openalex.org/W2374666693"],"abstract_inverted_index":{"The":[0],"two-player":[1,149],"mean-payoff":[2],"game":[3,7],"is":[4,11,26,36,85],"a":[5,24,29,49,55,144,148],"well-known":[6],"theoretic":[8],"model":[9,118,135],"that":[10,47,117],"widely":[12],"used,":[13],"for":[14,58,69,96,111],"instance":[15],"in":[16,122,147],"economics":[17],"and":[18,76,113,136],"control":[19],"theory.":[20],"For":[21],"controller":[22,25,46,60,77,139],"synthesis,":[23],"modeled":[27,37],"as":[28,38],"player":[30,41],"while":[31,99],"the":[32,39,59,82,138],"environment,":[33],"or":[34,88],"plant,":[35],"opponent":[40],"(adversary).":[42],"Synthesizing":[43],"an":[44],"optimal":[45],"satisfies":[48],"given":[50],"criterion":[51],"corresponds":[52],"to":[53,93,134],"finding":[54],"winning":[56,145],"strategy":[57,146],"player.":[61],"Emerging":[62],"streaming":[63,119],"applications":[64],"(audio,":[65],"video,":[66],"communication,":[67],"etc.)":[68],"embedded":[70],"systems":[71],"exhibit":[72],"both":[73],"input":[74],"sensitive":[75,78],"runtime":[79,86],"behavior,":[80],"where":[81],"controller's":[83],"role":[84],"management":[87],"scheduling.":[89],"Embedded":[90],"controllers":[91],"need":[92],"be":[94],"optimized":[95],"dynamic":[97,128],"inputs,":[98],"guaranteeing":[100],"throughput":[101,152],"constraints.":[102],"In":[103],"this":[104,108],"paper,":[105],"we":[106],"consider":[107],"design":[109],"task":[110],"scenario-":[112],"resource-aware":[114],"dataflow":[115],"graphs":[116],"applications.":[120],"Scenarios":[121],"these":[123],"models":[124],"capture":[125],"classes":[126],"of":[127],"environment":[129],"behavior.":[130],"We":[131],"demonstrate":[132],"how":[133],"solve":[137],"synthesis":[140],"problem":[141],"by":[142],"constructing":[143],"mean":[150],"payoff":[151],"game.":[153]},"counts_by_year":[{"year":2019,"cited_by_count":1},{"year":2016,"cited_by_count":2},{"year":2013,"cited_by_count":2}],"updated_date":"2025-11-06T03:46:38.306776","created_date":"2025-10-10T00:00:00"}