{"id":"https://openalex.org/W3012060347","doi":"https://doi.org/10.1109/cdc40024.2019.9029181","title":"Graph Temporal Logic Inference for Classification and Identification","display_name":"Graph Temporal Logic Inference for Classification and Identification","publication_year":2019,"publication_date":"2019-12-01","ids":{"openalex":"https://openalex.org/W3012060347","doi":"https://doi.org/10.1109/cdc40024.2019.9029181","mag":"3012060347"},"language":"en","primary_location":{"id":"doi:10.1109/cdc40024.2019.9029181","is_oa":false,"landing_page_url":"https://doi.org/10.1109/cdc40024.2019.9029181","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"2019 IEEE 58th Conference on Decision and Control (CDC)","raw_type":"proceedings-article"},"type":"conference-paper","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/A5013789785","display_name":"Zhe Xu","orcid":"https://orcid.org/0000-0002-0440-0912"},"institutions":[{"id":"https://openalex.org/I86519309","display_name":"The University of Texas at Austin","ror":"https://ror.org/00hj54h04","country_code":"US","type":"education","lineage":["https://openalex.org/I86519309"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Zhe Xu","raw_affiliation_strings":["Institute for Computational Engineering and Sciences (ICES), University of Texas, Austin, TX"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Institute for Computational Engineering and Sciences (ICES), University of Texas, Austin, TX","institution_ids":["https://openalex.org/I86519309"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5048131346","display_name":"Alexander Nettekoven","orcid":null},"institutions":[{"id":"https://openalex.org/I4210164117","display_name":"Walker (United States)","ror":"https://ror.org/05hgh7849","country_code":"US","type":"company","lineage":["https://openalex.org/I4210164117"]},{"id":"https://openalex.org/I86519309","display_name":"The University of Texas at Austin","ror":"https://ror.org/00hj54h04","country_code":"US","type":"education","lineage":["https://openalex.org/I86519309"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Alexander J Nettekoven","raw_affiliation_strings":["Walker Department of Mechanical Engineering, the University of Texas at Austin, Austin, TX"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Walker Department of Mechanical Engineering, the University of Texas at Austin, Austin, TX","institution_ids":["https://openalex.org/I4210164117","https://openalex.org/I86519309"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5029921181","display_name":"A. Agung Julius","orcid":"https://orcid.org/0000-0002-0970-3226"},"institutions":[{"id":"https://openalex.org/I165799507","display_name":"Rensselaer Polytechnic Institute","ror":"https://ror.org/01rtyzb94","country_code":"US","type":"education","lineage":["https://openalex.org/I165799507"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"A. Agung Julius","raw_affiliation_strings":["Department of Electrical, Computer, and Systems Engineering, Rensselaer Polytechnic Institute, Troy, NY"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Department of Electrical, Computer, and Systems Engineering, Rensselaer Polytechnic Institute, Troy, NY","institution_ids":["https://openalex.org/I165799507"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5068441112","display_name":"Ufuk Topcu","orcid":"https://orcid.org/0000-0003-0819-9985"},"institutions":[{"id":"https://openalex.org/I86519309","display_name":"The University of Texas at Austin","ror":"https://ror.org/00hj54h04","country_code":"US","type":"education","lineage":["https://openalex.org/I86519309"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Ufuk Topcu","raw_affiliation_strings":["Department of Aerospace Engineering and Engineering Mechanics, University of Texas, Austin, TX"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Department of Aerospace Engineering and Engineering Mechanics, University of Texas, Austin, TX","institution_ids":["https://openalex.org/I86519309"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":3,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":9.7749,"has_fulltext":false,"cited_by_count":26,"citation_normalized_percentile":{"value":0.99037171,"is_in_top_1_percent":true,"is_in_top_10_percent":true},"cited_by_percentile_year":{"min":90,"max":99},"biblio":{"volume":null,"issue":null,"first_page":"4761","last_page":"4768"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T13362","display_name":"Slime Mold and Myxomycetes Research","score":0.9944999814033508,"subfield":{"id":"https://openalex.org/subfields/2204","display_name":"Biomedical Engineering"},"field":{"id":"https://openalex.org/fields/22","display_name":"Engineering"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},"topics":[{"id":"https://openalex.org/T13362","display_name":"Slime Mold and Myxomycetes Research","score":0.9944999814033508,"subfield":{"id":"https://openalex.org/subfields/2204","display_name":"Biomedical 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/T10621","display_name":"Gene Regulatory Network Analysis","score":0.991100013256073,"subfield":{"id":"https://openalex.org/subfields/1312","display_name":"Molecular Biology"},"field":{"id":"https://openalex.org/fields/13","display_name":"Biochemistry, Genetics and Molecular Biology"},"domain":{"id":"https://openalex.org/domains/1","display_name":"Life Sciences"}},{"id":"https://openalex.org/T10317","display_name":"Advanced Database Systems and Queries","score":0.9825000166893005,"subfield":{"id":"https://openalex.org/subfields/1705","display_name":"Computer Networks and Communications"},"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/graph","display_name":"Graph","score":0.6483944058418274},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.6307597756385803},{"id":"https://openalex.org/keywords/inference","display_name":"Inference","score":0.6015336513519287},{"id":"https://openalex.org/keywords/data-mining","display_name":"Data mining","score":0.45014411211013794},{"id":"https://openalex.org/keywords/node","display_name":"Node (physics)","score":0.42280229926109314},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.40626466274261475},{"id":"https://openalex.org/keywords/artificial-intelligence","display_name":"Artificial intelligence","score":0.3607403635978699},{"id":"https://openalex.org/keywords/pattern-recognition","display_name":"Pattern recognition (psychology)","score":0.327333927154541},{"id":"https://openalex.org/keywords/algorithm","display_name":"Algorithm","score":0.32259872555732727},{"id":"https://openalex.org/keywords/engineering","display_name":"Engineering","score":0.09020689129829407}],"concepts":[{"id":"https://openalex.org/C132525143","wikidata":"https://www.wikidata.org/wiki/Q141488","display_name":"Graph","level":2,"score":0.6483944058418274},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.6307597756385803},{"id":"https://openalex.org/C2776214188","wikidata":"https://www.wikidata.org/wiki/Q408386","display_name":"Inference","level":2,"score":0.6015336513519287},{"id":"https://openalex.org/C124101348","wikidata":"https://www.wikidata.org/wiki/Q172491","display_name":"Data mining","level":1,"score":0.45014411211013794},{"id":"https://openalex.org/C62611344","wikidata":"https://www.wikidata.org/wiki/Q1062658","display_name":"Node (physics)","level":2,"score":0.42280229926109314},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.40626466274261475},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.3607403635978699},{"id":"https://openalex.org/C153180895","wikidata":"https://www.wikidata.org/wiki/Q7148389","display_name":"Pattern recognition (psychology)","level":2,"score":0.327333927154541},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.32259872555732727},{"id":"https://openalex.org/C127413603","wikidata":"https://www.wikidata.org/wiki/Q11023","display_name":"Engineering","level":0,"score":0.09020689129829407},{"id":"https://openalex.org/C66938386","wikidata":"https://www.wikidata.org/wiki/Q633538","display_name":"Structural engineering","level":1,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1109/cdc40024.2019.9029181","is_oa":false,"landing_page_url":"https://doi.org/10.1109/cdc40024.2019.9029181","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"2019 IEEE 58th Conference on Decision and Control (CDC)","raw_type":"proceedings-article"}],"best_oa_location":null,"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":30,"referenced_works":["https://openalex.org/W1490423772","https://openalex.org/W1540883472","https://openalex.org/W1542360804","https://openalex.org/W1544797161","https://openalex.org/W1796872423","https://openalex.org/W1974775743","https://openalex.org/W2112656403","https://openalex.org/W2134871878","https://openalex.org/W2145113795","https://openalex.org/W2153024173","https://openalex.org/W2245953329","https://openalex.org/W2312067050","https://openalex.org/W2339807279","https://openalex.org/W2474788619","https://openalex.org/W2531762107","https://openalex.org/W2628831575","https://openalex.org/W2759379487","https://openalex.org/W2807161818","https://openalex.org/W2807270760","https://openalex.org/W2887933419","https://openalex.org/W2963178026","https://openalex.org/W2964138223","https://openalex.org/W2964188981","https://openalex.org/W2964890016","https://openalex.org/W2972698871","https://openalex.org/W3100743289","https://openalex.org/W4294578500","https://openalex.org/W6632466536","https://openalex.org/W6739992122","https://openalex.org/W6752384054"],"related_works":["https://openalex.org/W2055243143","https://openalex.org/W4321636575","https://openalex.org/W1986418932","https://openalex.org/W2357796999","https://openalex.org/W2045526782","https://openalex.org/W2741131631","https://openalex.org/W2156919374","https://openalex.org/W1483472507","https://openalex.org/W1984019423","https://openalex.org/W4280588203"],"abstract_inverted_index":{"Inferring":[0],"spatial-temporal":[1,208],"properties":[2,56],"from":[3,108,195,210],"data":[4,109,212,220],"is":[5,63,97,141,144,163],"important":[6],"for":[7,66,110],"many":[8],"complex":[9],"systems,":[10,15],"such":[11,42,57],"as":[12,28,43,58],"additive":[13],"manufacturing":[14],"swarm":[16,223],"robotic":[17],"systems":[18,23],"and":[19,37,45,112,143,204,218],"biological":[20],"networks.":[21],"Such":[22],"can":[24,54],"often":[25],"be":[26],"modeled":[27],"a":[29,60,98,118,137,160,177,222],"labeled":[30],"graph":[31,49,126,148,189],"where":[32,88],"labels":[33,91],"on":[34],"the":[35,67,89,147,152,166,183,188,214],"nodes":[36,79],"edges":[38],"represent":[39],"relevant":[40],"measurements":[41],"temperatures":[44],"distances.":[46],"We":[47,181],"introduce":[48],"temporal":[50,105,127,149],"logic":[51,106],"(GTL)":[52],"which":[53],"express":[55],"\"whenever":[59],"node's":[61],"label":[62,83],"above":[64,93],"10,":[65],"next":[68],"3":[69],"time":[70],"units":[71],"there":[72],"are":[73,92],"always":[74],"at":[75,85],"least":[76],"two":[77,123],"neighboring":[78],"with":[80,129,154,169,201],"an":[81],"edge":[82],"of":[84,125,159,191,213,221,224],"most":[86],"2":[87],"node":[90],"5\".":[94],"This":[95],"paper":[96],"first":[99],"attempt":[100],"to":[101,171,186,205],"infer":[102,117,136],"spatial":[103],"(graph)":[104],"formulas":[107],"classification":[111],"identification.":[113],"For":[114,133],"classification,":[115],"we":[116,135],"GTL":[119,138,161],"formula":[120,139,162],"that":[121,140],"classifies":[122],"sets":[124],"trajectories":[128,150],"minimal":[130],"misclassification":[131],"rate.":[132],"identification,":[134],"informative":[142,207],"satisfied":[145],"by":[146,165,176],"in":[151],"dataset":[153],"high":[155],"probability.":[156],"The":[157],"informativeness":[158],"measured":[164],"information":[167],"gain":[168],"respect":[170],"given":[172],"prior":[173,178],"knowledge":[174],"represented":[175],"probability":[179],"distribution.":[180],"implement":[182],"proposed":[184],"approach":[185],"classify":[187],"patterns":[190,209],"tensile":[192],"specimens":[193],"built":[194],"selective":[196],"laser":[197],"sintering":[198],"(SLS)":[199],"process":[200,217],"varying":[202],"strengths,":[203],"identify":[206],"experimental":[211],"SLS":[215],"cooldown":[216],"simulation":[219],"robots.":[225]},"counts_by_year":[{"year":2025,"cited_by_count":3},{"year":2024,"cited_by_count":2},{"year":2023,"cited_by_count":1},{"year":2022,"cited_by_count":5},{"year":2021,"cited_by_count":8},{"year":2020,"cited_by_count":7}],"updated_date":"2026-07-29T14:22:42.915294","created_date":"2025-10-10T00:00:00"}