{"id":"https://openalex.org/W4294658743","doi":"https://doi.org/10.18293/seke2022-010","title":"Analyzing Cyber-Physical Systems with Learning Enabled Components using Hybrid Predicate Transition Nets","display_name":"Analyzing Cyber-Physical Systems with Learning Enabled Components using Hybrid Predicate Transition Nets","publication_year":2022,"publication_date":"2022-07-01","ids":{"openalex":"https://openalex.org/W4294658743","doi":"https://doi.org/10.18293/seke2022-010"},"language":"en","primary_location":{"id":"doi:10.18293/seke2022-010","is_oa":true,"landing_page_url":"http://doi.org/10.18293/seke2022-010","pdf_url":"https://doi.org/10.18293/seke2022-010","source":{"id":"https://openalex.org/S4220650826","display_name":"Proceedings/Proceedings of the ... International Conference on Software Engineering and Knowledge Engineering","issn_l":"2325-9000","issn":["2325-9000","2325-9086"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":null,"host_organization_name":null,"host_organization_lineage":[],"host_organization_lineage_names":[],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"International Conferences on Software Engineering and Knowledge Engineering","raw_type":"proceedings-article"},"type":"article","indexed_in":["crossref"],"open_access":{"is_oa":true,"oa_status":"bronze","oa_url":"https://doi.org/10.18293/seke2022-010","any_repository_has_fulltext":false},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5009723525","display_name":"Xudong He","orcid":"https://orcid.org/0000-0003-1253-4248"},"institutions":[{"id":"https://openalex.org/I19700959","display_name":"Florida International University","ror":"https://ror.org/02gz6gg07","country_code":"US","type":"education","lineage":["https://openalex.org/I19700959"]}],"countries":["US"],"is_corresponding":true,"raw_author_name":"Xudong He","raw_affiliation_strings":["Knight Foundation School of Computing and Information Sciences Florida International University Miami, USA"],"affiliations":[{"raw_affiliation_string":"Knight Foundation School of Computing and Information Sciences Florida International University Miami, USA","institution_ids":["https://openalex.org/I19700959"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":1,"corresponding_author_ids":["https://openalex.org/A5009723525"],"corresponding_institution_ids":["https://openalex.org/I19700959"],"apc_list":null,"apc_paid":null,"fwci":0.0,"has_fulltext":true,"cited_by_count":0,"citation_normalized_percentile":{"value":0.13592056,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":null,"biblio":{"volume":"2022","issue":null,"first_page":"559","last_page":"563"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10142","display_name":"Formal Methods in Verification","score":0.9998000264167786,"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.9998000264167786,"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.9980000257492065,"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.9933000206947327,"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/predicate","display_name":"Predicate (mathematical logic)","score":0.7852836847305298},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.769420862197876},{"id":"https://openalex.org/keywords/cyber-physical-system","display_name":"Cyber-physical system","score":0.6338083148002625},{"id":"https://openalex.org/keywords/distributed-computing","display_name":"Distributed computing","score":0.5353453755378723},{"id":"https://openalex.org/keywords/certificate","display_name":"Certificate","score":0.4796065092086792},{"id":"https://openalex.org/keywords/model-checking","display_name":"Model checking","score":0.4707152247428894},{"id":"https://openalex.org/keywords/artificial-intelligence","display_name":"Artificial intelligence","score":0.39159291982650757},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.3368174433708191},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.18724209070205688}],"concepts":[{"id":"https://openalex.org/C140146324","wikidata":"https://www.wikidata.org/wiki/Q1144319","display_name":"Predicate (mathematical logic)","level":2,"score":0.7852836847305298},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.769420862197876},{"id":"https://openalex.org/C179768478","wikidata":"https://www.wikidata.org/wiki/Q1120057","display_name":"Cyber-physical system","level":2,"score":0.6338083148002625},{"id":"https://openalex.org/C120314980","wikidata":"https://www.wikidata.org/wiki/Q180634","display_name":"Distributed computing","level":1,"score":0.5353453755378723},{"id":"https://openalex.org/C96865113","wikidata":"https://www.wikidata.org/wiki/Q2946816","display_name":"Certificate","level":2,"score":0.4796065092086792},{"id":"https://openalex.org/C110251889","wikidata":"https://www.wikidata.org/wiki/Q1569697","display_name":"Model checking","level":2,"score":0.4707152247428894},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.39159291982650757},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.3368174433708191},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.18724209070205688},{"id":"https://openalex.org/C111919701","wikidata":"https://www.wikidata.org/wiki/Q9135","display_name":"Operating system","level":1,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.18293/seke2022-010","is_oa":true,"landing_page_url":"http://doi.org/10.18293/seke2022-010","pdf_url":"https://doi.org/10.18293/seke2022-010","source":{"id":"https://openalex.org/S4220650826","display_name":"Proceedings/Proceedings of the ... International Conference on Software Engineering and Knowledge Engineering","issn_l":"2325-9000","issn":["2325-9000","2325-9086"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":null,"host_organization_name":null,"host_organization_lineage":[],"host_organization_lineage_names":[],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"International Conferences on Software Engineering and Knowledge Engineering","raw_type":"proceedings-article"}],"best_oa_location":{"id":"doi:10.18293/seke2022-010","is_oa":true,"landing_page_url":"http://doi.org/10.18293/seke2022-010","pdf_url":"https://doi.org/10.18293/seke2022-010","source":{"id":"https://openalex.org/S4220650826","display_name":"Proceedings/Proceedings of the ... International Conference on Software Engineering and Knowledge Engineering","issn_l":"2325-9000","issn":["2325-9000","2325-9086"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":null,"host_organization_name":null,"host_organization_lineage":[],"host_organization_lineage_names":[],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"International Conferences on Software Engineering and Knowledge Engineering","raw_type":"proceedings-article"},"sustainable_development_goals":[],"awards":[{"id":"https://openalex.org/G5423789209","display_name":null,"funder_award_id":"FA9550-15-0001","funder_id":"https://openalex.org/F4320338294","funder_display_name":"Air Force Research Laboratory"},{"id":"https://openalex.org/G651143060","display_name":null,"funder_award_id":"FA8750-15-2-0106","funder_id":"https://openalex.org/F4320338294","funder_display_name":"Air Force Research Laboratory"},{"id":"https://openalex.org/G8289759875","display_name":null,"funder_award_id":"FA9550","funder_id":"https://openalex.org/F4320338294","funder_display_name":"Air Force Research Laboratory"}],"funders":[{"id":"https://openalex.org/F4320338294","display_name":"Air Force Research Laboratory","ror":"https://ror.org/02e2egq70"}],"has_content":{"pdf":true,"grobid_xml":true},"content_urls":{"pdf":"https://content.openalex.org/works/W4294658743.pdf","grobid_xml":"https://content.openalex.org/works/W4294658743.grobid-xml"},"referenced_works_count":22,"referenced_works":["https://openalex.org/W1607353007","https://openalex.org/W2121863487","https://openalex.org/W2165073069","https://openalex.org/W2166280160","https://openalex.org/W2187041056","https://openalex.org/W2210642749","https://openalex.org/W2402582853","https://openalex.org/W2543296129","https://openalex.org/W2594877703","https://openalex.org/W2767591044","https://openalex.org/W2796576875","https://openalex.org/W2899168325","https://openalex.org/W2963186766","https://openalex.org/W2978321375","https://openalex.org/W4293177929","https://openalex.org/W6677916085","https://openalex.org/W6684109919","https://openalex.org/W6688422123","https://openalex.org/W6713298008","https://openalex.org/W6729243212","https://openalex.org/W6842074573","https://openalex.org/W6941226251"],"related_works":["https://openalex.org/W3004173571","https://openalex.org/W2546638913","https://openalex.org/W2209816623","https://openalex.org/W2968885840","https://openalex.org/W2008822734","https://openalex.org/W3135700974","https://openalex.org/W4289687320","https://openalex.org/W2116366046","https://openalex.org/W925418074","https://openalex.org/W2119610731"],"abstract_inverted_index":{"Cyber-physical":[0],"systems":[1],"(CPSs)":[2],"are":[3,6,35,54,78],"ubiquitous":[4],"and":[5,20,48,68,90,130,149],"becoming":[7],"increasingly":[8,36],"important":[9],"in":[10,38],"the":[11,81],"functioning":[12],"of":[13,111],"our":[14,102],"society.":[15],"CPSs":[16,39,51,70,87,107],"have":[17,61],"complex":[18],"discrete":[19],"continuous":[21],"behaviors.":[22],"In":[23,97],"recent":[24],"years,":[25],"learning":[26,33],"enabled":[27],"components":[28],"(LECs)":[29],"built":[30],"using":[31],"machine":[32],"approaches":[34],"used":[37,79],"to":[40,44,58,85],"perform":[41],"autonomous":[42],"tasks":[43],"deal":[45],"with":[46,52,71,88,108],"uncertain":[47],"unfamiliar":[49],"environments.":[50],"LECs":[53,89,109],"even":[55],"more":[56],"difficult":[57],"develop.":[59],"We":[60],"developed":[62],"a":[63,116,124,131,146],"methodology":[64,105,141],"for":[65,106],"formally":[66],"modeling":[67],"analyzing":[69],"LECs.":[72],"Hybrid":[73],"predicate":[74],"transition":[75],"nets":[76],"(HPrTNs)":[77],"as":[80],"underlying":[82],"formal":[83],"method":[84],"model":[86,135],"their":[91,94],"training":[92],"through":[93,152],"simulation":[95,122,125],"capability.":[96],"this":[98],"paper,":[99],"we":[100],"present":[101],"new":[103],"analysis":[104,140],"consisting":[110],"three":[112],"complementary":[113],"techniques,":[114],"including":[115],"testing":[117],"technique":[118],"based":[119,133],"on":[120],"HPrTN":[121],"capability,":[123],"guided":[126],"barrier":[127],"certificate":[128],"technique,":[129],"SMT":[132],"bounded":[134],"checking":[136],"technique.":[137],"The":[138],"above":[139],"is":[142,150],"partially":[143],"supported":[144],"by":[145],"tool":[147],"chain":[148],"demonstrated":[151],"an":[153],"example.":[154]},"counts_by_year":[],"updated_date":"2026-04-10T15:06:20.359241","created_date":"2025-10-10T00:00:00"}