{"id":"https://openalex.org/W3029899381","doi":"https://doi.org/10.1145/3380625.3380659","title":"LRx","display_name":"LRx","publication_year":2020,"publication_date":"2020-01-17","ids":{"openalex":"https://openalex.org/W3029899381","doi":"https://doi.org/10.1145/3380625.3380659","mag":"3029899381"},"language":"en","primary_location":{"id":"doi:10.1145/3380625.3380659","is_oa":false,"landing_page_url":"https://doi.org/10.1145/3380625.3380659","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 2020 4th International Conference on Management Engineering, Software Engineering and Service Sciences","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/A5091187344","display_name":"Mingguang Hu","orcid":null},"institutions":[{"id":"https://openalex.org/I890469752","display_name":"Ministry of Industry and Information Technology","ror":"https://ror.org/0385nmy68","country_code":"CN","type":"government","lineage":["https://openalex.org/I890469752"]},{"id":"https://openalex.org/I9842412","display_name":"Nanjing University of Aeronautics and Astronautics","ror":"https://ror.org/01scyh794","country_code":"CN","type":"education","lineage":["https://openalex.org/I9842412"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Mingguang Hu","raw_affiliation_strings":["College of Computer Science and Technology, Nanjing University of Aeronautics and Astronautics, Key Laboratory of Safety-Critical Software, Ministry of Industry and Information Technology, MIIT Key Laboratory of Pattern Analysis and Machine Intelligence, Nanjing University of Aeronautics and Astronautics, Nanjing, China and Science and Technology on Electro-optic Control Laboratory, Luoyang, China"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"College of Computer Science and Technology, Nanjing University of Aeronautics and Astronautics, Key Laboratory of Safety-Critical Software, Ministry of Industry and Information Technology, MIIT Key Laboratory of Pattern Analysis and Machine Intelligence, Nanjing University of Aeronautics and Astronautics, Nanjing, China and Science and Technology on Electro-optic Control Laboratory, Luoyang, China","institution_ids":["https://openalex.org/I890469752","https://openalex.org/I9842412"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5017248361","display_name":"Zining Cao","orcid":"https://orcid.org/0000-0002-4673-200X"},"institutions":[{"id":"https://openalex.org/I890469752","display_name":"Ministry of Industry and Information Technology","ror":"https://ror.org/0385nmy68","country_code":"CN","type":"government","lineage":["https://openalex.org/I890469752"]},{"id":"https://openalex.org/I9842412","display_name":"Nanjing University of Aeronautics and Astronautics","ror":"https://ror.org/01scyh794","country_code":"CN","type":"education","lineage":["https://openalex.org/I9842412"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Zining Cao","raw_affiliation_strings":["College of Computer Science and Technology, Nanjing University of Aeronautics and Astronautics, Key Laboratory of Safety-Critical Software, Ministry of Industry and Information Technology, MIIT Key Laboratory of Pattern Analysis and Machine Intelligence, Nanjing University of Aeronautics and Astronautics, Nanjing, China and Science and Technology on Electro-optic Control Laboratory, Luoyang, China"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"College of Computer Science and Technology, Nanjing University of Aeronautics and Astronautics, Key Laboratory of Safety-Critical Software, Ministry of Industry and Information Technology, MIIT Key Laboratory of Pattern Analysis and Machine Intelligence, Nanjing University of Aeronautics and Astronautics, Nanjing, China and Science and Technology on Electro-optic Control Laboratory, Luoyang, China","institution_ids":["https://openalex.org/I890469752","https://openalex.org/I9842412"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":2,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":0.3371,"has_fulltext":false,"cited_by_count":1,"citation_normalized_percentile":{"value":0.43729904,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":89,"max":94},"biblio":{"volume":null,"issue":null,"first_page":"68","last_page":"72"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10142","display_name":"Formal Methods in Verification","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/T10142","display_name":"Formal Methods in Verification","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/T10743","display_name":"Software Testing and Debugging Techniques","score":0.9914000034332275,"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/T11450","display_name":"Model-Driven Software Engineering Techniques","score":0.9883999824523926,"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"}}],"keywords":[{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.7067303657531738},{"id":"https://openalex.org/keywords/metric","display_name":"Metric (unit)","score":0.6049000024795532},{"id":"https://openalex.org/keywords/set","display_name":"Set (abstract data type)","score":0.5811923742294312},{"id":"https://openalex.org/keywords/signal","display_name":"SIGNAL (programming language)","score":0.5579344630241394},{"id":"https://openalex.org/keywords/parametric-statistics","display_name":"Parametric statistics","score":0.5512356758117676},{"id":"https://openalex.org/keywords/discriminant","display_name":"Discriminant","score":0.4821726679801941},{"id":"https://openalex.org/keywords/artificial-intelligence","display_name":"Artificial intelligence","score":0.46651116013526917},{"id":"https://openalex.org/keywords/controller","display_name":"Controller (irrigation)","score":0.4332640767097473},{"id":"https://openalex.org/keywords/machine-learning","display_name":"Machine learning","score":0.3499797582626343},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.15054884552955627},{"id":"https://openalex.org/keywords/engineering","display_name":"Engineering","score":0.1304418444633484},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.12052440643310547}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.7067303657531738},{"id":"https://openalex.org/C176217482","wikidata":"https://www.wikidata.org/wiki/Q860554","display_name":"Metric (unit)","level":2,"score":0.6049000024795532},{"id":"https://openalex.org/C177264268","wikidata":"https://www.wikidata.org/wiki/Q1514741","display_name":"Set (abstract data type)","level":2,"score":0.5811923742294312},{"id":"https://openalex.org/C2779843651","wikidata":"https://www.wikidata.org/wiki/Q7390335","display_name":"SIGNAL (programming language)","level":2,"score":0.5579344630241394},{"id":"https://openalex.org/C117251300","wikidata":"https://www.wikidata.org/wiki/Q1849855","display_name":"Parametric statistics","level":2,"score":0.5512356758117676},{"id":"https://openalex.org/C78397625","wikidata":"https://www.wikidata.org/wiki/Q192487","display_name":"Discriminant","level":2,"score":0.4821726679801941},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.46651116013526917},{"id":"https://openalex.org/C203479927","wikidata":"https://www.wikidata.org/wiki/Q5165939","display_name":"Controller (irrigation)","level":2,"score":0.4332640767097473},{"id":"https://openalex.org/C119857082","wikidata":"https://www.wikidata.org/wiki/Q2539","display_name":"Machine learning","level":1,"score":0.3499797582626343},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.15054884552955627},{"id":"https://openalex.org/C127413603","wikidata":"https://www.wikidata.org/wiki/Q11023","display_name":"Engineering","level":0,"score":0.1304418444633484},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.12052440643310547},{"id":"https://openalex.org/C105795698","wikidata":"https://www.wikidata.org/wiki/Q12483","display_name":"Statistics","level":1,"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/C21547014","wikidata":"https://www.wikidata.org/wiki/Q1423657","display_name":"Operations management","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}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1145/3380625.3380659","is_oa":false,"landing_page_url":"https://doi.org/10.1145/3380625.3380659","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 2020 4th International Conference on Management Engineering, Software Engineering and Service Sciences","raw_type":"proceedings-article"}],"best_oa_location":null,"sustainable_development_goals":[{"id":"https://metadata.un.org/sdg/10","score":0.6600000262260437,"display_name":"Reduced inequalities"}],"awards":[],"funders":[],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":15,"referenced_works":["https://openalex.org/W181236562","https://openalex.org/W1533557569","https://openalex.org/W2004147962","https://openalex.org/W2068619069","https://openalex.org/W2172184261","https://openalex.org/W2312067050","https://openalex.org/W2474788619","https://openalex.org/W2752563773","https://openalex.org/W2773814846","https://openalex.org/W2785700716","https://openalex.org/W2944759097","https://openalex.org/W2956034981","https://openalex.org/W2963516601","https://openalex.org/W2978342210","https://openalex.org/W3100743289"],"related_works":["https://openalex.org/W4241330371","https://openalex.org/W1988723200","https://openalex.org/W3203470546","https://openalex.org/W3038086597","https://openalex.org/W4287208209","https://openalex.org/W4389363760","https://openalex.org/W3113817483","https://openalex.org/W2134399022","https://openalex.org/W3154013382","https://openalex.org/W2015071795"],"abstract_inverted_index":{"As":[0],"the":[1,32,52,55,62,118,123],"complexity":[2],"of":[3,34,54,61,71,117,125],"Cyber-Physical":[4],"Systems":[5],"(CPSs)":[6],"increases,":[7],"designers":[8],"can":[9,112],"understand":[10],"it":[11],"hardly":[12],"and":[13,74,93,101],"manual":[14],"analysis":[15],"is":[16],"not":[17],"feasible.":[18],"In":[19],"recent":[20],"years,":[21],"specification":[22],"mining":[23],"has":[24],"emerged":[25],"as":[26],"an":[27],"effective":[28],"approach":[29,65],"to":[30,44],"describe":[31],"behaviors":[33,53],"complex":[35],"systems.":[36],"We":[37,82],"propose":[38],"a":[39,69,75,84],"novel":[40],"learning":[41],"approach,":[42],"LRx,":[43],"synthesize":[45],"signal":[46,59],"temporal":[47],"logic":[48],"formulas":[49],"that":[50],"characterize":[51],"CPS":[56],"using":[57],"observed":[58,72],"traces":[60,73,92,100],"system.":[63],"The":[64],"requires":[66],"two":[67,96,129],"inputs:":[68],"set":[70],"parametric":[76],"Signal":[77],"Temporal":[78],"Logic":[79],"(PSTL)":[80],"formula.":[81],"define":[83],"new":[85],"Metric":[86],"Discriminant":[87],"Model":[88],"for":[89],"identifying":[90],"all":[91],"focusing":[94],"on":[95,128],"situations:":[97],"positive":[98,106],"label":[99,103,107],"negative":[102],"traces;":[104],"only":[105,113],"traces.":[108],"However,":[109],"most":[110],"studies":[111],"deal":[114],"with":[115],"one":[116],"situations.":[119],"Finally,":[120],"we":[121],"demonstrate":[122],"effectiveness":[124],"our":[126],"technique":[127],"case":[130],"studies:":[131],"Autonomous-Car":[132],"Driving,":[133],"Automatic":[134],"Transmission":[135],"Controller.":[136]},"counts_by_year":[{"year":2020,"cited_by_count":1}],"updated_date":"2026-07-29T14:22:42.915294","created_date":"2020-06-05T00:00:00"}