{"id":"https://openalex.org/W3145181782","doi":"https://doi.org/10.23919/acc50511.2021.9482651","title":"Control Synthesis using Signal Temporal Logic Specifications with Integral and Derivative Predicates","display_name":"Control Synthesis using Signal Temporal Logic Specifications with Integral and Derivative Predicates","publication_year":2021,"publication_date":"2021-05-25","ids":{"openalex":"https://openalex.org/W3145181782","doi":"https://doi.org/10.23919/acc50511.2021.9482651","mag":"3145181782"},"language":"en","primary_location":{"id":"doi:10.23919/acc50511.2021.9482651","is_oa":false,"landing_page_url":"https://doi.org/10.23919/acc50511.2021.9482651","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"2021 American Control Conference (ACC)","raw_type":"proceedings-article"},"type":"preprint","indexed_in":["arxiv","crossref","datacite"],"open_access":{"is_oa":true,"oa_status":"green","oa_url":"https://arxiv.org/pdf/2103.14193","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5004491348","display_name":"Ali Tevfik B\u00fcy\u00fckko\u00e7ak","orcid":"https://orcid.org/0000-0002-2332-2761"},"institutions":[{"id":"https://openalex.org/I130238516","display_name":"University of Minnesota","ror":"https://ror.org/017zqws13","country_code":"US","type":"education","lineage":["https://openalex.org/I130238516"]},{"id":"https://openalex.org/I2800403580","display_name":"University of Minnesota System","ror":"https://ror.org/03grvy078","country_code":"US","type":"education","lineage":["https://openalex.org/I2800403580"]}],"countries":["US"],"is_corresponding":true,"raw_author_name":"Ali Tevfik Buyukkocak","raw_affiliation_strings":["Department of Aerospace Engineering and Mechanics, University of Minnesota, Minneapolis, MN","university of minnesota;"],"affiliations":[{"raw_affiliation_string":"Department of Aerospace Engineering and Mechanics, University of Minnesota, Minneapolis, MN","institution_ids":["https://openalex.org/I130238516"]},{"raw_affiliation_string":"university of minnesota;","institution_ids":["https://openalex.org/I2800403580"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5053550436","display_name":"Derya Aksaray","orcid":"https://orcid.org/0000-0003-4236-9116"},"institutions":[{"id":"https://openalex.org/I2800403580","display_name":"University of Minnesota System","ror":"https://ror.org/03grvy078","country_code":"US","type":"education","lineage":["https://openalex.org/I2800403580"]},{"id":"https://openalex.org/I130238516","display_name":"University of Minnesota","ror":"https://ror.org/017zqws13","country_code":"US","type":"education","lineage":["https://openalex.org/I130238516"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Derya Aksaray","raw_affiliation_strings":["Department of Aerospace Engineering and Mechanics, University of Minnesota, Minneapolis, MN","university of minnesota;"],"affiliations":[{"raw_affiliation_string":"Department of Aerospace Engineering and Mechanics, University of Minnesota, Minneapolis, MN","institution_ids":["https://openalex.org/I130238516"]},{"raw_affiliation_string":"university of minnesota;","institution_ids":["https://openalex.org/I2800403580"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5041762786","display_name":"Yasin Yaz\u0131c\u0131o\u011flu","orcid":"https://orcid.org/0000-0001-6957-6831"},"institutions":[{"id":"https://openalex.org/I2800403580","display_name":"University of Minnesota System","ror":"https://ror.org/03grvy078","country_code":"US","type":"education","lineage":["https://openalex.org/I2800403580"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Yasin Yazicioglu","raw_affiliation_strings":["university of minnesota;"],"affiliations":[{"raw_affiliation_string":"university of minnesota;","institution_ids":["https://openalex.org/I2800403580"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":3,"corresponding_author_ids":["https://openalex.org/A5004491348"],"corresponding_institution_ids":["https://openalex.org/I130238516","https://openalex.org/I2800403580"],"apc_list":null,"apc_paid":null,"fwci":0.0,"has_fulltext":true,"cited_by_count":0,"citation_normalized_percentile":{"value":0.07069647,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":null,"biblio":{"volume":null,"issue":null,"first_page":"4873","last_page":"4878"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10142","display_name":"Formal Methods in Verification","score":1.0,"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":1.0,"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.9980999827384949,"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/T10126","display_name":"Logic, programming, and type systems","score":0.9965999722480774,"subfield":{"id":"https://openalex.org/subfields/1702","display_name":"Artificial Intelligence"},"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/signal","display_name":"SIGNAL (programming language)","score":0.6408151984214783},{"id":"https://openalex.org/keywords/integer","display_name":"Integer (computer science)","score":0.6389949917793274},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.5804862976074219},{"id":"https://openalex.org/keywords/linear-temporal-logic","display_name":"Linear temporal logic","score":0.5606437921524048},{"id":"https://openalex.org/keywords/temporal-logic","display_name":"Temporal logic","score":0.5272827744483948},{"id":"https://openalex.org/keywords/trajectory","display_name":"Trajectory","score":0.5245847105979919},{"id":"https://openalex.org/keywords/derivative","display_name":"Derivative (finance)","score":0.48661813139915466},{"id":"https://openalex.org/keywords/window","display_name":"Window (computing)","score":0.44767841696739197},{"id":"https://openalex.org/keywords/control","display_name":"Control (management)","score":0.4191470444202423},{"id":"https://openalex.org/keywords/algorithm","display_name":"Algorithm","score":0.41709989309310913},{"id":"https://openalex.org/keywords/sliding-window-protocol","display_name":"Sliding window protocol","score":0.41001808643341064},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.34932073950767517},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.34438639879226685},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.3302342891693115},{"id":"https://openalex.org/keywords/artificial-intelligence","display_name":"Artificial intelligence","score":0.18242183327674866}],"concepts":[{"id":"https://openalex.org/C2779843651","wikidata":"https://www.wikidata.org/wiki/Q7390335","display_name":"SIGNAL (programming language)","level":2,"score":0.6408151984214783},{"id":"https://openalex.org/C97137487","wikidata":"https://www.wikidata.org/wiki/Q729138","display_name":"Integer (computer science)","level":2,"score":0.6389949917793274},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.5804862976074219},{"id":"https://openalex.org/C4777664","wikidata":"https://www.wikidata.org/wiki/Q1536492","display_name":"Linear temporal logic","level":2,"score":0.5606437921524048},{"id":"https://openalex.org/C25016198","wikidata":"https://www.wikidata.org/wiki/Q781833","display_name":"Temporal logic","level":2,"score":0.5272827744483948},{"id":"https://openalex.org/C13662910","wikidata":"https://www.wikidata.org/wiki/Q193139","display_name":"Trajectory","level":2,"score":0.5245847105979919},{"id":"https://openalex.org/C111771559","wikidata":"https://www.wikidata.org/wiki/Q66295","display_name":"Derivative (finance)","level":2,"score":0.48661813139915466},{"id":"https://openalex.org/C2778751112","wikidata":"https://www.wikidata.org/wiki/Q835016","display_name":"Window (computing)","level":2,"score":0.44767841696739197},{"id":"https://openalex.org/C2775924081","wikidata":"https://www.wikidata.org/wiki/Q55608371","display_name":"Control (management)","level":2,"score":0.4191470444202423},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.41709989309310913},{"id":"https://openalex.org/C102392041","wikidata":"https://www.wikidata.org/wiki/Q592860","display_name":"Sliding window protocol","level":3,"score":0.41001808643341064},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.34932073950767517},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.34438639879226685},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.3302342891693115},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.18242183327674866},{"id":"https://openalex.org/C1276947","wikidata":"https://www.wikidata.org/wiki/Q333","display_name":"Astronomy","level":1,"score":0.0},{"id":"https://openalex.org/C121332964","wikidata":"https://www.wikidata.org/wiki/Q413","display_name":"Physics","level":0,"score":0.0},{"id":"https://openalex.org/C162324750","wikidata":"https://www.wikidata.org/wiki/Q8134","display_name":"Economics","level":0,"score":0.0},{"id":"https://openalex.org/C106159729","wikidata":"https://www.wikidata.org/wiki/Q2294553","display_name":"Financial economics","level":1,"score":0.0},{"id":"https://openalex.org/C111919701","wikidata":"https://www.wikidata.org/wiki/Q9135","display_name":"Operating system","level":1,"score":0.0}],"mesh":[],"locations_count":4,"locations":[{"id":"doi:10.23919/acc50511.2021.9482651","is_oa":false,"landing_page_url":"https://doi.org/10.23919/acc50511.2021.9482651","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"2021 American Control Conference (ACC)","raw_type":"proceedings-article"},{"id":"pmh:oai:arXiv.org:2103.14193","is_oa":true,"landing_page_url":"http://arxiv.org/abs/2103.14193","pdf_url":"https://arxiv.org/pdf/2103.14193","source":{"id":"https://openalex.org/S4306400194","display_name":"arXiv (Cornell University)","issn_l":null,"issn":null,"is_oa":true,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I205783295","host_organization_name":"Cornell University","host_organization_lineage":["https://openalex.org/I205783295"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"text"},{"id":"mag:3145181782","is_oa":true,"landing_page_url":"https://arxiv.org/pdf/2103.14193.pdf","pdf_url":null,"source":{"id":"https://openalex.org/S4306400194","display_name":"arXiv (Cornell University)","issn_l":null,"issn":null,"is_oa":true,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I205783295","host_organization_name":"Cornell University","host_organization_lineage":["https://openalex.org/I205783295"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"arXiv (Cornell University)","raw_type":null},{"id":"doi:10.48550/arxiv.2103.14193","is_oa":true,"landing_page_url":"https://doi.org/10.48550/arxiv.2103.14193","pdf_url":null,"source":{"id":"https://openalex.org/S4306400194","display_name":"arXiv (Cornell University)","issn_l":null,"issn":null,"is_oa":true,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I205783295","host_organization_name":"Cornell University","host_organization_lineage":["https://openalex.org/I205783295"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":null,"is_accepted":false,"is_published":null,"raw_source_name":null,"raw_type":"article"}],"best_oa_location":{"id":"pmh:oai:arXiv.org:2103.14193","is_oa":true,"landing_page_url":"http://arxiv.org/abs/2103.14193","pdf_url":"https://arxiv.org/pdf/2103.14193","source":{"id":"https://openalex.org/S4306400194","display_name":"arXiv (Cornell University)","issn_l":null,"issn":null,"is_oa":true,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I205783295","host_organization_name":"Cornell University","host_organization_lineage":["https://openalex.org/I205783295"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"text"},"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"pdf":true,"grobid_xml":true},"content_urls":{"pdf":"https://content.openalex.org/works/W3145181782.pdf","grobid_xml":"https://content.openalex.org/works/W3145181782.grobid-xml"},"referenced_works_count":30,"referenced_works":["https://openalex.org/W189973795","https://openalex.org/W1498432697","https://openalex.org/W1509254601","https://openalex.org/W1533557569","https://openalex.org/W1547304883","https://openalex.org/W2023808162","https://openalex.org/W2026629052","https://openalex.org/W2034837094","https://openalex.org/W2077578897","https://openalex.org/W2092884371","https://openalex.org/W2095901198","https://openalex.org/W2167799541","https://openalex.org/W2255983427","https://openalex.org/W2468777797","https://openalex.org/W2470448410","https://openalex.org/W2531762107","https://openalex.org/W2536620281","https://openalex.org/W2621540998","https://openalex.org/W2806088716","https://openalex.org/W2963199590","https://openalex.org/W2972486407","https://openalex.org/W2997105835","https://openalex.org/W3010924044","https://openalex.org/W3118289085","https://openalex.org/W3127898694","https://openalex.org/W3131957051","https://openalex.org/W6607730479","https://openalex.org/W6632722279","https://openalex.org/W6781453025","https://openalex.org/W6787981550"],"related_works":["https://openalex.org/W3186182596","https://openalex.org/W2426537415","https://openalex.org/W2900411537","https://openalex.org/W37473834","https://openalex.org/W2918184689","https://openalex.org/W2902726917","https://openalex.org/W2901054789","https://openalex.org/W2899424233","https://openalex.org/W1507479492","https://openalex.org/W1509545351","https://openalex.org/W2146079376","https://openalex.org/W1872003434","https://openalex.org/W2512033590","https://openalex.org/W2987958996","https://openalex.org/W1518436864","https://openalex.org/W1965765860","https://openalex.org/W1981889059","https://openalex.org/W2951717602","https://openalex.org/W1556018967","https://openalex.org/W2119610731"],"abstract_inverted_index":{"In":[0,30],"many":[1],"applications,":[2],"the":[3,19,24,27,35,52,62,75,93,97,108,111,115],"integrals":[4],"and":[5,54,71,100],"derivatives":[6],"of":[7,21,26,37,56,77,95,110,117],"signals":[8],"carry":[9],"valuable":[10],"information":[11],"(e.g.,":[12],"cumulative":[13],"success":[14],"over":[15],"a":[16,57,78,84,104],"time":[17],"window,":[18],"rate":[20],"change)":[22],"regarding":[23],"behavior":[25],"underlying":[28],"system.":[29],"this":[31],"paper,":[32],"we":[33],"extend":[34],"expressiveness":[36],"Signal":[38],"Temporal":[39],"Logic":[40],"(STL)":[41],"by":[42],"introducing":[43],"predicates":[44,64,99,113],"that":[45,86],"can":[46],"define":[47],"rich":[48],"properties":[49],"related":[50],"to":[51,82],"integral":[53],"derivative":[55],"signal.":[58],"For":[59],"control":[60],"synthesis,":[61],"new":[63,98,112],"are":[65,72],"encoded":[66],"into":[67],"mixed-integer":[68,79],"linear":[69,80],"inequalities":[70],"used":[73],"in":[74,103],"formulation":[76],"program":[81],"find":[83],"trajectory":[85],"satisfies":[87],"an":[88,118],"STL":[89],"specification.":[90],"We":[91],"discuss":[92],"benefits":[94],"using":[96],"illustrate":[101],"them":[102],"case":[105],"study":[106],"showing":[107],"influence":[109],"on":[114],"trajectories":[116],"autonomous":[119],"robot.":[120]},"counts_by_year":[],"updated_date":"2026-03-20T23:20:44.827607","created_date":"2025-10-10T00:00:00"}