{"id":"https://openalex.org/W4283274723","doi":"https://doi.org/10.1109/meco55406.2022.9797191","title":"Balancing Flexible Production and Consumption of Energy using Resource Timed Automata","display_name":"Balancing Flexible Production and Consumption of Energy using Resource Timed Automata","publication_year":2022,"publication_date":"2022-06-07","ids":{"openalex":"https://openalex.org/W4283274723","doi":"https://doi.org/10.1109/meco55406.2022.9797191"},"language":"en","primary_location":{"id":"doi:10.1109/meco55406.2022.9797191","is_oa":false,"landing_page_url":"https://doi.org/10.1109/meco55406.2022.9797191","pdf_url":null,"source":{"id":"https://openalex.org/S4363608204","display_name":"2022 11th Mediterranean Conference on Embedded Computing (MECO)","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":"conference"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"2022 11th Mediterranean Conference on Embedded Computing (MECO)","raw_type":"proceedings-article"},"type":"article","indexed_in":["crossref"],"open_access":{"is_oa":true,"oa_status":"green","oa_url":"https://research.tue.nl/en/publications/ddaa5043-d743-4662-8951-1119d85e2f0e","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5058714574","display_name":"Jonas Hansen","orcid":"https://orcid.org/0000-0003-3612-4139"},"institutions":[{"id":"https://openalex.org/I891191580","display_name":"Aalborg University","ror":"https://ror.org/04m5j1k67","country_code":"DK","type":"education","lineage":["https://openalex.org/I891191580"]}],"countries":["DK"],"is_corresponding":true,"raw_author_name":"Jonas Hansen","raw_affiliation_strings":["DEIS - Aalborg University,Aalborg,Denmark","DEIS - Aalborg University, Aalborg, Denmark"],"affiliations":[{"raw_affiliation_string":"DEIS - Aalborg University,Aalborg,Denmark","institution_ids":["https://openalex.org/I891191580"]},{"raw_affiliation_string":"DEIS - Aalborg University, Aalborg, Denmark","institution_ids":["https://openalex.org/I891191580"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5069362159","display_name":"Kim G. Larsen","orcid":"https://orcid.org/0000-0002-5953-3384"},"institutions":[{"id":"https://openalex.org/I891191580","display_name":"Aalborg University","ror":"https://ror.org/04m5j1k67","country_code":"DK","type":"education","lineage":["https://openalex.org/I891191580"]}],"countries":["DK"],"is_corresponding":false,"raw_author_name":"Kim Guldstr Larsen","raw_affiliation_strings":["DEIS - Aalborg University,Aalborg,Denmark","DEIS - Aalborg University, Aalborg, Denmark"],"affiliations":[{"raw_affiliation_string":"DEIS - Aalborg University,Aalborg,Denmark","institution_ids":["https://openalex.org/I891191580"]},{"raw_affiliation_string":"DEIS - Aalborg University, Aalborg, Denmark","institution_ids":["https://openalex.org/I891191580"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5033505407","display_name":"Pjl Pieter Cuijpers","orcid":"https://orcid.org/0000-0002-5487-4972"},"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"]},{"id":"https://openalex.org/I891191580","display_name":"Aalborg University","ror":"https://ror.org/04m5j1k67","country_code":"DK","type":"education","lineage":["https://openalex.org/I891191580"]}],"countries":["DK","NL"],"is_corresponding":false,"raw_author_name":"Pieter J.L. Cuijpers","raw_affiliation_strings":["DEIS - Aalborg University,Aalborg,Denmark","DEIS - Aalborg University, Aalborg, Denmark","IRIS - Technische Universiteit Eindhoven, Eindhoven, The Netherlands"],"affiliations":[{"raw_affiliation_string":"DEIS - Aalborg University,Aalborg,Denmark","institution_ids":["https://openalex.org/I891191580"]},{"raw_affiliation_string":"DEIS - Aalborg University, Aalborg, Denmark","institution_ids":["https://openalex.org/I891191580"]},{"raw_affiliation_string":"IRIS - Technische Universiteit Eindhoven, Eindhoven, The Netherlands","institution_ids":["https://openalex.org/I83019370"]}]}],"institutions":[],"countries_distinct_count":2,"institutions_distinct_count":3,"corresponding_author_ids":["https://openalex.org/A5058714574"],"corresponding_institution_ids":["https://openalex.org/I891191580"],"apc_list":null,"apc_paid":null,"fwci":1.0436,"has_fulltext":true,"cited_by_count":4,"citation_normalized_percentile":{"value":0.71859706,"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":"1","last_page":"6"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10142","display_name":"Formal Methods in Verification","score":0.9983000159263611,"subfield":{"id":"https://openalex.org/subfields/1703","display_name":"Computational Theory and Mathematics"},"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/T10142","display_name":"Formal Methods in Verification","score":0.9983000159263611,"subfield":{"id":"https://openalex.org/subfields/1703","display_name":"Computational Theory and Mathematics"},"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/T11450","display_name":"Model-Driven Software Engineering Techniques","score":0.9668999910354614,"subfield":{"id":"https://openalex.org/subfields/1712","display_name":"Software"},"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/T11125","display_name":"Petri Nets in System Modeling","score":0.9563000202178955,"subfield":{"id":"https://openalex.org/subfields/1703","display_name":"Computational Theory and Mathematics"},"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.8210045099258423},{"id":"https://openalex.org/keywords/reachability","display_name":"Reachability","score":0.7649422287940979},{"id":"https://openalex.org/keywords/automaton","display_name":"Automaton","score":0.7253903150558472},{"id":"https://openalex.org/keywords/distributed-computing","display_name":"Distributed computing","score":0.579352080821991},{"id":"https://openalex.org/keywords/prosumer","display_name":"Prosumer","score":0.5418376326560974},{"id":"https://openalex.org/keywords/grid","display_name":"Grid","score":0.45652878284454346},{"id":"https://openalex.org/keywords/smart-grid","display_name":"Smart grid","score":0.4333624243736267},{"id":"https://openalex.org/keywords/resource","display_name":"Resource (disambiguation)","score":0.42808303236961365},{"id":"https://openalex.org/keywords/energy-consumption","display_name":"Energy consumption","score":0.42546629905700684},{"id":"https://openalex.org/keywords/scalability","display_name":"Scalability","score":0.4169740080833435},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.36889714002609253},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.10356375575065613},{"id":"https://openalex.org/keywords/renewable-energy","display_name":"Renewable energy","score":0.09247362613677979}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.8210045099258423},{"id":"https://openalex.org/C136643341","wikidata":"https://www.wikidata.org/wiki/Q1361526","display_name":"Reachability","level":2,"score":0.7649422287940979},{"id":"https://openalex.org/C112505250","wikidata":"https://www.wikidata.org/wiki/Q787116","display_name":"Automaton","level":2,"score":0.7253903150558472},{"id":"https://openalex.org/C120314980","wikidata":"https://www.wikidata.org/wiki/Q180634","display_name":"Distributed computing","level":1,"score":0.579352080821991},{"id":"https://openalex.org/C2779939747","wikidata":"https://www.wikidata.org/wiki/Q1145220","display_name":"Prosumer","level":3,"score":0.5418376326560974},{"id":"https://openalex.org/C187691185","wikidata":"https://www.wikidata.org/wiki/Q2020720","display_name":"Grid","level":2,"score":0.45652878284454346},{"id":"https://openalex.org/C10558101","wikidata":"https://www.wikidata.org/wiki/Q689855","display_name":"Smart grid","level":2,"score":0.4333624243736267},{"id":"https://openalex.org/C206345919","wikidata":"https://www.wikidata.org/wiki/Q20380951","display_name":"Resource (disambiguation)","level":2,"score":0.42808303236961365},{"id":"https://openalex.org/C2780165032","wikidata":"https://www.wikidata.org/wiki/Q16869822","display_name":"Energy consumption","level":2,"score":0.42546629905700684},{"id":"https://openalex.org/C48044578","wikidata":"https://www.wikidata.org/wiki/Q727490","display_name":"Scalability","level":2,"score":0.4169740080833435},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.36889714002609253},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.10356375575065613},{"id":"https://openalex.org/C188573790","wikidata":"https://www.wikidata.org/wiki/Q12705","display_name":"Renewable energy","level":2,"score":0.09247362613677979},{"id":"https://openalex.org/C77088390","wikidata":"https://www.wikidata.org/wiki/Q8513","display_name":"Database","level":1,"score":0.0},{"id":"https://openalex.org/C119599485","wikidata":"https://www.wikidata.org/wiki/Q43035","display_name":"Electrical engineering","level":1,"score":0.0},{"id":"https://openalex.org/C18903297","wikidata":"https://www.wikidata.org/wiki/Q7150","display_name":"Ecology","level":1,"score":0.0},{"id":"https://openalex.org/C31258907","wikidata":"https://www.wikidata.org/wiki/Q1301371","display_name":"Computer network","level":1,"score":0.0},{"id":"https://openalex.org/C127413603","wikidata":"https://www.wikidata.org/wiki/Q11023","display_name":"Engineering","level":0,"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/C2524010","wikidata":"https://www.wikidata.org/wiki/Q8087","display_name":"Geometry","level":1,"score":0.0}],"mesh":[],"locations_count":3,"locations":[{"id":"doi:10.1109/meco55406.2022.9797191","is_oa":false,"landing_page_url":"https://doi.org/10.1109/meco55406.2022.9797191","pdf_url":null,"source":{"id":"https://openalex.org/S4363608204","display_name":"2022 11th Mediterranean Conference on Embedded Computing (MECO)","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":"conference"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"2022 11th Mediterranean Conference on Embedded Computing (MECO)","raw_type":"proceedings-article"},{"id":"pmh:oai:pure.tue.nl:openaire/ddaa5043-d743-4662-8951-1119d85e2f0e","is_oa":true,"landing_page_url":"https://research.tue.nl/en/publications/ddaa5043-d743-4662-8951-1119d85e2f0e","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":"other-oa","license_id":"https://openalex.org/licenses/other-oa","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Hansen, J, Larsen, K G & Cuijpers, P J L 2022, Balancing Flexible Production and Consumption of Energy using Resource Timed Automata. in 2022 11th Mediterranean Conference on Embedded Computing, MECO 2022., 9797191, Institute of Electrical and Electronics Engineers, 11th Mediterranean Conference on Embedded Computing, MECO 2022, Budva, Montenegro, 7/06/22. https://doi.org/10.1109/MECO55406.2022.9797191","raw_type":"info:eu-repo/semantics/publishedVersion"},{"id":"pmh:oai:pure.atira.dk:publications/9eef07e5-ab86-434a-b666-2d1aca0c568c","is_oa":false,"landing_page_url":"https://vbn.aau.dk/da/publications/9eef07e5-ab86-434a-b666-2d1aca0c568c","pdf_url":null,"source":{"id":"https://openalex.org/S4306401731","display_name":"VBN Forskningsportal (Aalborg Universitet)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I891191580","host_organization_name":"Aalborg University","host_organization_lineage":["https://openalex.org/I891191580"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"Hansen , J , Larsen , K G & Cuijpers , P J L 2022 , Balancing Flexible Production and Consumption of Energy using Resource Timed Automata . in 2022 11th Mediterranean Conference on Embedded Computing, MECO 2022 . IEEE , Mediterranean Conference on Embedded Computing (MECO) - Proceedings , 2022 11th Mediterranean Conference on Embedded Computing (MECO) , Budva , Montenegro , 07/06/2022 . https://doi.org/10.1109/MECO55406.2022.9797191","raw_type":"contributionToPeriodical"}],"best_oa_location":{"id":"pmh:oai:pure.tue.nl:openaire/ddaa5043-d743-4662-8951-1119d85e2f0e","is_oa":true,"landing_page_url":"https://research.tue.nl/en/publications/ddaa5043-d743-4662-8951-1119d85e2f0e","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":"other-oa","license_id":"https://openalex.org/licenses/other-oa","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Hansen, J, Larsen, K G & Cuijpers, P J L 2022, Balancing Flexible Production and Consumption of Energy using Resource Timed Automata. in 2022 11th Mediterranean Conference on Embedded Computing, MECO 2022., 9797191, Institute of Electrical and Electronics Engineers, 11th Mediterranean Conference on Embedded Computing, MECO 2022, Budva, Montenegro, 7/06/22. https://doi.org/10.1109/MECO55406.2022.9797191","raw_type":"info:eu-repo/semantics/publishedVersion"},"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":14,"referenced_works":["https://openalex.org/W1482486776","https://openalex.org/W1883328791","https://openalex.org/W1889418052","https://openalex.org/W1970336393","https://openalex.org/W2030341478","https://openalex.org/W2120335318","https://openalex.org/W2421563164","https://openalex.org/W2525700661","https://openalex.org/W2798491932","https://openalex.org/W2803243563","https://openalex.org/W2907773120","https://openalex.org/W2912198824","https://openalex.org/W3189981105","https://openalex.org/W6757671415"],"related_works":["https://openalex.org/W3183573877","https://openalex.org/W4287990301","https://openalex.org/W3000381361","https://openalex.org/W2889743787","https://openalex.org/W4390678309","https://openalex.org/W1554767603","https://openalex.org/W2130664212","https://openalex.org/W1964693764","https://openalex.org/W2032445854","https://openalex.org/W1565729639"],"abstract_inverted_index":{"We":[0,30],"address":[1],"the":[2,8,15,32,75],"problem":[3,77],"of":[4,11,17,22,34,54,68,71,119],"modeling":[5],"and":[6,20,39,74,104],"analyzing":[7],"flexible":[9],"behavior":[10],"Prosumer":[12],"systems":[13],"for":[14,25,116],"purpose":[16],"balancing":[18,76],"production":[19],"consumption":[21],"energy":[23,28],"in,":[24],"example,":[26],"an":[27,85],"grid.":[29],"introduce":[31],"notion":[33],"Resource":[35],"Timed":[36],"Automata":[37],"(RTA)":[38],"show":[40,51],"how":[41,91],"prosumers":[42,55],"can":[43,61,78,95],"be":[44,62,79,96],"modeled":[45,63],"using":[46,98],"these":[47,92,109],"automata.":[48],"Furthermore,":[49],"we":[50,89,107],"that":[52],"aggeregation":[53],"in":[56,114],"a":[57,65],"smart":[58],"electricity":[59],"grid":[60],"as":[64,81],"special":[66],"kind":[67],"parallel":[69],"composition":[70],"such":[72],"automata,":[73],"formalized":[80],"reachability":[82,93],"problems":[83,94],"on":[84],"observer":[86],"automaton.":[87],"Finally,":[88],"illustrate":[90],"solved":[97],"established":[99],"methods":[100,110],"from":[101],"model":[102],"checking,":[103],"discuss":[105],"why":[106],"suspect":[108],"will":[111],"scale":[112],"well":[113],"practice":[115],"this":[117],"type":[118],"problem.":[120]},"counts_by_year":[{"year":2025,"cited_by_count":2},{"year":2024,"cited_by_count":1},{"year":2023,"cited_by_count":1}],"updated_date":"2026-04-04T16:13:02.066488","created_date":"2025-10-10T00:00:00"}