{"id":"https://openalex.org/W3132837158","doi":"https://doi.org/10.1109/tcst.2021.3054800","title":"Model Predictive Control of Priced Timed Automata Encoded With First-Order Logic","display_name":"Model Predictive Control of Priced Timed Automata Encoded With First-Order Logic","publication_year":2021,"publication_date":"2021-02-15","ids":{"openalex":"https://openalex.org/W3132837158","doi":"https://doi.org/10.1109/tcst.2021.3054800","mag":"3132837158"},"language":"en","primary_location":{"id":"doi:10.1109/tcst.2021.3054800","is_oa":true,"landing_page_url":"https://doi.org/10.1109/tcst.2021.3054800","pdf_url":"https://ieeexplore.ieee.org/ielx7/87/9652013/09354443.pdf","source":{"id":"https://openalex.org/S133363738","display_name":"IEEE Transactions on Control Systems Technology","issn_l":"1063-6536","issn":["1063-6536","1558-0865","2374-0159"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319808","host_organization_name":"Institute of Electrical and Electronics Engineers","host_organization_lineage":["https://openalex.org/P4310319808"],"host_organization_lineage_names":["Institute of Electrical and Electronics Engineers"],"type":"journal"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"IEEE Transactions on Control Systems Technology","raw_type":"journal-article"},"type":"article","indexed_in":["crossref"],"open_access":{"is_oa":true,"oa_status":"hybrid","oa_url":"https://ieeexplore.ieee.org/ielx7/87/9652013/09354443.pdf","any_repository_has_fulltext":false},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5021120581","display_name":"Efe C. Balta","orcid":"https://orcid.org/0000-0001-8596-8739"},"institutions":[{"id":"https://openalex.org/I27837315","display_name":"University of Michigan","ror":"https://ror.org/00jmfr291","country_code":"US","type":"education","lineage":["https://openalex.org/I27837315"]}],"countries":["US"],"is_corresponding":true,"raw_author_name":"Efe C. Balta","raw_affiliation_strings":["Department of Mechanical Engineering, University of Michigan, Ann Arbor, MI, USA"],"affiliations":[{"raw_affiliation_string":"Department of Mechanical Engineering, University of Michigan, Ann Arbor, MI, USA","institution_ids":["https://openalex.org/I27837315"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5065261986","display_name":"Ilya Kovalenko","orcid":"https://orcid.org/0000-0003-4764-9117"},"institutions":[{"id":"https://openalex.org/I27837315","display_name":"University of Michigan","ror":"https://ror.org/00jmfr291","country_code":"US","type":"education","lineage":["https://openalex.org/I27837315"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Ilya Kovalenko","raw_affiliation_strings":["Department of Mechanical Engineering, University of Michigan, Ann Arbor, MI, USA"],"affiliations":[{"raw_affiliation_string":"Department of Mechanical Engineering, University of Michigan, Ann Arbor, MI, USA","institution_ids":["https://openalex.org/I27837315"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5054996453","display_name":"Isaac A. Spiegel","orcid":"https://orcid.org/0000-0002-4415-9190"},"institutions":[{"id":"https://openalex.org/I27837315","display_name":"University of Michigan","ror":"https://ror.org/00jmfr291","country_code":"US","type":"education","lineage":["https://openalex.org/I27837315"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Isaac A. Spiegel","raw_affiliation_strings":["Department of Mechanical Engineering, University of Michigan, Ann Arbor, MI, USA"],"affiliations":[{"raw_affiliation_string":"Department of Mechanical Engineering, University of Michigan, Ann Arbor, MI, USA","institution_ids":["https://openalex.org/I27837315"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5025730901","display_name":"Dawn M. Tilbury","orcid":"https://orcid.org/0000-0002-2510-0556"},"institutions":[{"id":"https://openalex.org/I27837315","display_name":"University of Michigan","ror":"https://ror.org/00jmfr291","country_code":"US","type":"education","lineage":["https://openalex.org/I27837315"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Dawn M. Tilbury","raw_affiliation_strings":["Department of Mechanical Engineering, University of Michigan, Ann Arbor, MI, USA"],"affiliations":[{"raw_affiliation_string":"Department of Mechanical Engineering, University of Michigan, Ann Arbor, MI, USA","institution_ids":["https://openalex.org/I27837315"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5084847741","display_name":"Kira Barton","orcid":null},"institutions":[{"id":"https://openalex.org/I27837315","display_name":"University of Michigan","ror":"https://ror.org/00jmfr291","country_code":"US","type":"education","lineage":["https://openalex.org/I27837315"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Kira Barton","raw_affiliation_strings":["Department of Mechanical Engineering, University of Michigan, Ann Arbor, MI, USA"],"affiliations":[{"raw_affiliation_string":"Department of Mechanical Engineering, University of Michigan, Ann Arbor, MI, USA","institution_ids":["https://openalex.org/I27837315"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":5,"corresponding_author_ids":["https://openalex.org/A5021120581"],"corresponding_institution_ids":["https://openalex.org/I27837315"],"apc_list":null,"apc_paid":null,"fwci":1.8176,"has_fulltext":true,"cited_by_count":16,"citation_normalized_percentile":{"value":0.86869214,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":90,"max":98},"biblio":{"volume":"30","issue":"1","first_page":"352","last_page":"359"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T11125","display_name":"Petri Nets in System Modeling","score":0.9995999932289124,"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/T11125","display_name":"Petri Nets in System Modeling","score":0.9995999932289124,"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/T10791","display_name":"Advanced Control Systems Optimization","score":0.9979000091552734,"subfield":{"id":"https://openalex.org/subfields/2207","display_name":"Control and Systems Engineering"},"field":{"id":"https://openalex.org/fields/22","display_name":"Engineering"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T10142","display_name":"Formal Methods in Verification","score":0.9962000250816345,"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/model-predictive-control","display_name":"Model predictive control","score":0.7266935110092163},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.6819483637809753},{"id":"https://openalex.org/keywords/automaton","display_name":"Automaton","score":0.6425864696502686},{"id":"https://openalex.org/keywords/scheduling","display_name":"Scheduling (production processes)","score":0.5848561525344849},{"id":"https://openalex.org/keywords/mathematical-optimization","display_name":"Mathematical optimization","score":0.4225204586982727},{"id":"https://openalex.org/keywords/distributed-computing","display_name":"Distributed computing","score":0.3790912330150604},{"id":"https://openalex.org/keywords/control","display_name":"Control (management)","score":0.3090174198150635},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.23659393191337585},{"id":"https://openalex.org/keywords/artificial-intelligence","display_name":"Artificial intelligence","score":0.17235121130943298},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.1581149399280548}],"concepts":[{"id":"https://openalex.org/C172205157","wikidata":"https://www.wikidata.org/wiki/Q1782962","display_name":"Model predictive control","level":3,"score":0.7266935110092163},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.6819483637809753},{"id":"https://openalex.org/C112505250","wikidata":"https://www.wikidata.org/wiki/Q787116","display_name":"Automaton","level":2,"score":0.6425864696502686},{"id":"https://openalex.org/C206729178","wikidata":"https://www.wikidata.org/wiki/Q2271896","display_name":"Scheduling (production processes)","level":2,"score":0.5848561525344849},{"id":"https://openalex.org/C126255220","wikidata":"https://www.wikidata.org/wiki/Q141495","display_name":"Mathematical optimization","level":1,"score":0.4225204586982727},{"id":"https://openalex.org/C120314980","wikidata":"https://www.wikidata.org/wiki/Q180634","display_name":"Distributed computing","level":1,"score":0.3790912330150604},{"id":"https://openalex.org/C2775924081","wikidata":"https://www.wikidata.org/wiki/Q55608371","display_name":"Control (management)","level":2,"score":0.3090174198150635},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.23659393191337585},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.17235121130943298},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.1581149399280548}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1109/tcst.2021.3054800","is_oa":true,"landing_page_url":"https://doi.org/10.1109/tcst.2021.3054800","pdf_url":"https://ieeexplore.ieee.org/ielx7/87/9652013/09354443.pdf","source":{"id":"https://openalex.org/S133363738","display_name":"IEEE Transactions on Control Systems Technology","issn_l":"1063-6536","issn":["1063-6536","1558-0865","2374-0159"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319808","host_organization_name":"Institute of Electrical and Electronics Engineers","host_organization_lineage":["https://openalex.org/P4310319808"],"host_organization_lineage_names":["Institute of Electrical and Electronics Engineers"],"type":"journal"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"IEEE Transactions on Control Systems Technology","raw_type":"journal-article"}],"best_oa_location":{"id":"doi:10.1109/tcst.2021.3054800","is_oa":true,"landing_page_url":"https://doi.org/10.1109/tcst.2021.3054800","pdf_url":"https://ieeexplore.ieee.org/ielx7/87/9652013/09354443.pdf","source":{"id":"https://openalex.org/S133363738","display_name":"IEEE Transactions on Control Systems Technology","issn_l":"1063-6536","issn":["1063-6536","1558-0865","2374-0159"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319808","host_organization_name":"Institute of Electrical and Electronics Engineers","host_organization_lineage":["https://openalex.org/P4310319808"],"host_organization_lineage_names":["Institute of Electrical and Electronics Engineers"],"type":"journal"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"IEEE Transactions on Control Systems Technology","raw_type":"journal-article"},"sustainable_development_goals":[{"score":0.6499999761581421,"display_name":"Peace, Justice and strong institutions","id":"https://metadata.un.org/sdg/16"}],"awards":[{"id":"https://openalex.org/G3133049119","display_name":null,"funder_award_id":"70NANB19H090","funder_id":"https://openalex.org/F4320332178","funder_display_name":"National Institute of Standards and Technology"},{"id":"https://openalex.org/G4948557816","display_name":null,"funder_award_id":"1544678","funder_id":"https://openalex.org/F4320306076","funder_display_name":"National Science Foundation"},{"id":"https://openalex.org/G6671297155","display_name":null,"funder_award_id":"CAREER","funder_id":"https://openalex.org/F4320306076","funder_display_name":"National Science Foundation"},{"id":"https://openalex.org/G6894402473","display_name":null,"funder_award_id":"Fellowship","funder_id":"https://openalex.org/F4320306076","funder_display_name":"National Science Foundation"},{"id":"https://openalex.org/G848032724","display_name":null,"funder_award_id":"Science","funder_id":"https://openalex.org/F4320306076","funder_display_name":"National Science Foundation"},{"id":"https://openalex.org/G8500840381","display_name":null,"funder_award_id":"1351469","funder_id":"https://openalex.org/F4320306076","funder_display_name":"National Science Foundation"}],"funders":[{"id":"https://openalex.org/F4320306076","display_name":"National Science Foundation","ror":"https://ror.org/021nxhr62"},{"id":"https://openalex.org/F4320332178","display_name":"National Institute of Standards and Technology","ror":"https://ror.org/05xpvk416"}],"has_content":{"pdf":true,"grobid_xml":true},"content_urls":{"pdf":"https://content.openalex.org/works/W3132837158.pdf","grobid_xml":"https://content.openalex.org/works/W3132837158.grobid-xml"},"referenced_works_count":22,"referenced_works":["https://openalex.org/W1571054242","https://openalex.org/W1587691136","https://openalex.org/W1966432224","https://openalex.org/W1977985274","https://openalex.org/W2039784168","https://openalex.org/W2065323166","https://openalex.org/W2083580665","https://openalex.org/W2101508170","https://openalex.org/W2102098378","https://openalex.org/W2105708535","https://openalex.org/W2114543491","https://openalex.org/W2130664212","https://openalex.org/W2148121961","https://openalex.org/W2162327103","https://openalex.org/W2295061292","https://openalex.org/W2566153859","https://openalex.org/W2740090334","https://openalex.org/W2933496093","https://openalex.org/W2973903621","https://openalex.org/W2974327281","https://openalex.org/W3143130757","https://openalex.org/W3162505946"],"related_works":["https://openalex.org/W1596201972","https://openalex.org/W2368796975","https://openalex.org/W1485627940","https://openalex.org/W2152433827","https://openalex.org/W153904579","https://openalex.org/W1986253068","https://openalex.org/W2160425906","https://openalex.org/W1882733036","https://openalex.org/W2546696010","https://openalex.org/W1992741870"],"abstract_inverted_index":{"Priced":[0],"timed":[1],"automata":[2],"(PTA)":[3],"are":[4,16,157],"discrete-event":[5],"system":[6],"models":[7,134],"with":[8,118],"temporal":[9],"constraints":[10,55],"and":[11,15,22,35,135,155],"a":[12,67,160,168,171],"cost":[13],"function":[14],"used":[17],"to":[18,28,45,95,114],"pose":[19],"optimal":[20],"scheduling":[21,54],"routing":[23],"problems.":[24],"To":[25,58,83],"date,":[26],"solutions":[27],"these":[29],"problems":[30],"have":[31],"been":[32],"found":[33],"offline":[34],"executed":[36],"open":[37],"loop.This":[38],"open-loop":[39],"control":[40,71,120,136,153],"strategy":[41],"makes":[42],"it":[43,91],"impossible":[44],"account":[46],"for":[47,74],"disturbances,":[48],"i.e.,":[49],"changes":[50],"in":[51,159],"costs":[52],"or":[53],"over":[56],"time.":[57],"address":[59],"this":[60,62,109],"shortcoming,":[61],"work\u2019s":[63,110],"first":[64],"contribution":[65,112],"is":[66,92,113],"closed-loop":[68],"model":[69,81],"predictive":[70],"(MPC)":[72],"framework":[73,154],"PTA,":[75],"enabling":[76],"decision-making":[77],"based":[78,146],"on":[79,147,164],"real-time":[80],"updates.":[82],"ensure":[84],"the":[85,99,123,130,133,151,165],"feasibility":[86],"of":[87,125,132,167],"an":[88],"MPC":[89],"problem,":[90],"often":[93],"desirable":[94],"soften":[96],"constraints.":[97,107],"However,":[98],"contemporary":[100],"PTA":[101,119],"theory":[102],"does":[103],"not":[104],"consider":[105],"soft":[106],"Thus,":[108],"second":[111],"integrate":[115],"constraint":[116],"softening":[117],"by":[121,129,141],"harnessing":[122],"capabilities":[124],"new":[126],"solvers":[127],"enabled":[128],"recasting":[131],"problem":[137],"into":[138],"first-order":[139],"logic":[140],"employing":[142],"modified":[143],"encoding":[144],"schemes":[145],"existing":[148],"works.":[149],"Finally,":[150],"proposed":[152],"implementation":[156],"demonstrated":[158],"simulation":[161],"case":[162],"study":[163],"guidance":[166],"product":[169],"through":[170],"manufacturing":[172],"system.":[173]},"counts_by_year":[{"year":2026,"cited_by_count":1},{"year":2025,"cited_by_count":3},{"year":2024,"cited_by_count":1},{"year":2023,"cited_by_count":5},{"year":2022,"cited_by_count":3},{"year":2021,"cited_by_count":3}],"updated_date":"2026-04-10T15:06:20.359241","created_date":"2025-10-10T00:00:00"}