{"id":"https://openalex.org/W4406611684","doi":"https://doi.org/10.1109/smc54092.2024.10830974","title":"SELus: Towards Spatio-Temporal Modeling and Quantitative Evaluation for Cyber-Physical Systems","display_name":"SELus: Towards Spatio-Temporal Modeling and Quantitative Evaluation for Cyber-Physical Systems","publication_year":2024,"publication_date":"2024-10-06","ids":{"openalex":"https://openalex.org/W4406611684","doi":"https://doi.org/10.1109/smc54092.2024.10830974"},"language":"en","primary_location":{"id":"doi:10.1109/smc54092.2024.10830974","doi":"https://doi.org/10.1109/smc54092.2024.10830974","is_oa":false,"landing_page_url":"https://doi.org/10.1109/smc54092.2024.10830974","pdf_url":null,"source":{"id":"https://openalex.org/S4210195764","display_name":"Conference proceedings/Conference proceedings - IEEE International Conference on Systems, Man, and Cybernetics","issn_l":"1062-922X","issn":["1062-922X","2577-1655"],"is_oa":false,"is_in_doaj":false,"is_core":false,"listed_in":[],"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":"conference"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"2024 IEEE International Conference on Systems, Man, and Cybernetics (SMC)","raw_type":"proceedings-article"},"volume":null,"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":null,"display_name":"Quanguo Zhang","orcid":null,"observed_orcids":[]},"institutions":[{"id":"https://openalex.org/I4210139618","display_name":"Shanghai Key Laboratory of Trustworthy Computing","ror":"https://ror.org/030qbr085","country_code":"CN","type":"facility","lineage":["https://openalex.org/I4210139618"]},{"id":"https://openalex.org/I66867065","display_name":"East China Normal University","ror":"https://ror.org/02n96ep67","country_code":"CN","type":"education","lineage":["https://openalex.org/I66867065"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Quanguo Zhang","raw_affiliation_strings":["East China Normal University,Shanghai Key Laboratory of Trustworthy Computing,Shanghai,China"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"East China Normal University,Shanghai Key Laboratory of Trustworthy Computing,Shanghai,China","institution_ids":["https://openalex.org/I4210139618","https://openalex.org/I66867065"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5100375018","display_name":"Jing Liu","orcid":"https://orcid.org/0000-0002-5347-8281","observed_orcids":["https://orcid.org/0000-0002-5347-8281"]},"institutions":[{"id":"https://openalex.org/I4210139618","display_name":"Shanghai Key Laboratory of Trustworthy Computing","ror":"https://ror.org/030qbr085","country_code":"CN","type":"facility","lineage":["https://openalex.org/I4210139618"]},{"id":"https://openalex.org/I66867065","display_name":"East China Normal University","ror":"https://ror.org/02n96ep67","country_code":"CN","type":"education","lineage":["https://openalex.org/I66867065"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Jing Liu","raw_affiliation_strings":["East China Normal University,Shanghai Key Laboratory of Trustworthy Computing,Shanghai,China"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"East China Normal University,Shanghai Key Laboratory of Trustworthy Computing,Shanghai,China","institution_ids":["https://openalex.org/I4210139618","https://openalex.org/I66867065"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5100745968","display_name":"Mingxing Liu","orcid":"https://orcid.org/0000-0003-4139-0511","observed_orcids":["https://orcid.org/0000-0003-4139-0511"]},"institutions":[{"id":"https://openalex.org/I4405270881","display_name":"Nuclear Power Institute of China","ror":"https://ror.org/01fz94q82","country_code":"CN","type":"facility","lineage":["https://openalex.org/I4405270881"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Mingxing Liu","raw_affiliation_strings":["Nuclear Power Institute of China"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Nuclear Power Institute of China","institution_ids":["https://openalex.org/I4405270881"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5101882055","display_name":"Yanhong Huang","orcid":"https://orcid.org/0000-0003-2102-4303","observed_orcids":["https://orcid.org/0000-0003-2102-4303"]},"institutions":[{"id":"https://openalex.org/I4210139618","display_name":"Shanghai Key Laboratory of Trustworthy Computing","ror":"https://ror.org/030qbr085","country_code":"CN","type":"facility","lineage":["https://openalex.org/I4210139618"]},{"id":"https://openalex.org/I66867065","display_name":"East China Normal University","ror":"https://ror.org/02n96ep67","country_code":"CN","type":"education","lineage":["https://openalex.org/I66867065"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Yanhong Huang","raw_affiliation_strings":["East China Normal University,Shanghai Key Laboratory of Trustworthy Computing,Shanghai,China"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"East China Normal University,Shanghai Key Laboratory of Trustworthy Computing,Shanghai,China","institution_ids":["https://openalex.org/I4210139618","https://openalex.org/I66867065"]}]},{"author_position":"middle","author":{"id":null,"display_name":"Rongbin Hou","orcid":null,"observed_orcids":[]},"institutions":[{"id":"https://openalex.org/I4405270881","display_name":"Nuclear Power Institute of China","ror":"https://ror.org/01fz94q82","country_code":"CN","type":"facility","lineage":["https://openalex.org/I4405270881"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Rongbin Hou","raw_affiliation_strings":["Nuclear Power Institute of China"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Nuclear Power Institute of China","institution_ids":["https://openalex.org/I4405270881"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5100699193","display_name":"Jianqi Shi","orcid":"https://orcid.org/0000-0002-8993-7603","observed_orcids":["https://orcid.org/0000-0002-8993-7603"]},"institutions":[{"id":"https://openalex.org/I4210139618","display_name":"Shanghai Key Laboratory of Trustworthy Computing","ror":"https://ror.org/030qbr085","country_code":"CN","type":"facility","lineage":["https://openalex.org/I4210139618"]},{"id":"https://openalex.org/I66867065","display_name":"East China Normal University","ror":"https://ror.org/02n96ep67","country_code":"CN","type":"education","lineage":["https://openalex.org/I66867065"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Jianqi Shi","raw_affiliation_strings":["East China Normal University,Shanghai Key Laboratory of Trustworthy Computing,Shanghai,China"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"East China Normal University,Shanghai Key Laboratory of Trustworthy Computing,Shanghai,China","institution_ids":["https://openalex.org/I4210139618","https://openalex.org/I66867065"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":3,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":0.0,"has_fulltext":false,"cited_by_count":0,"citation_normalized_percentile":{"value":0.35318018,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":null,"biblio":{"volume":null,"issue":null,"first_page":"1250","last_page":"1255"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10142","display_name":"Formal Methods in Verification","score":0.7026000022888184,"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.7026000022888184,"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.15729999542236328,"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/T10904","display_name":"Embedded Systems Design Techniques","score":0.05339999869465828,"subfield":{"id":"https://openalex.org/subfields/1708","display_name":"Hardware and Architecture"},"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/selu","display_name":"SELU","score":0.8069999814033508},{"id":"https://openalex.org/keywords/synchronous-languages","display_name":"synchronous languages","score":0.9210000038146973},{"id":"https://openalex.org/keywords/cyber-physical-systems","display_name":"cyber-physical systems","score":0.8820000290870667},{"id":"https://openalex.org/keywords/spatio-temporal-modeling","display_name":"spatio-temporal modeling","score":0.9350000023841858},{"id":"https://openalex.org/keywords/lustre","display_name":"Lustre","score":0.8009999990463257},{"id":"https://openalex.org/keywords/ptolemy-ii","display_name":"Ptolemy II","score":0.9240000247955322},{"id":"https://openalex.org/keywords/quantitative-assessment","display_name":"quantitative evaluation","score":0.6079999804496765},{"id":"https://openalex.org/keywords/spatial-topological-relationships","display_name":"spatial topological relationships","score":0.890999972820282},{"id":"https://openalex.org/keywords/formal-verification","display_name":"formal verification","score":0.6449999809265137},{"id":"https://openalex.org/keywords/mapping-rules","display_name":"mapping rules","score":0.6740000247955322},{"id":"https://openalex.org/keywords/safety-critical-control-systems","display_name":"safety-critical control systems","score":0.9380000233650208}],"concepts":[{"id":"https://openalex.org/C179768478","wikidata":"https://www.wikidata.org/wiki/Q1120057","display_name":"Cyber-physical system","level":2,"score":0.6928268671035767},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.6899471879005432},{"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.1109/smc54092.2024.10830974","doi":"https://doi.org/10.1109/smc54092.2024.10830974","is_oa":false,"landing_page_url":"https://doi.org/10.1109/smc54092.2024.10830974","pdf_url":null,"source":{"id":"https://openalex.org/S4210195764","display_name":"Conference proceedings/Conference proceedings - IEEE International Conference on Systems, Man, and Cybernetics","issn_l":"1062-922X","issn":["1062-922X","2577-1655"],"is_oa":false,"is_in_doaj":false,"is_core":false,"listed_in":[],"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":"conference"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"2024 IEEE International Conference on Systems, Man, and Cybernetics (SMC)","raw_type":"proceedings-article"}],"best_oa_location":null,"sustainable_development_goals":[],"sustainable_development_goals_aurora":[],"study_designs":[],"awards":[],"funders":[],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":15,"referenced_works":["https://openalex.org/W856186776","https://openalex.org/W1526337814","https://openalex.org/W1663179985","https://openalex.org/W1999890019","https://openalex.org/W2125415493","https://openalex.org/W2127335869","https://openalex.org/W2137865376","https://openalex.org/W2169239645","https://openalex.org/W2770970259","https://openalex.org/W2773130997","https://openalex.org/W3021438699","https://openalex.org/W3123846747","https://openalex.org/W3130490339","https://openalex.org/W4200099370","https://openalex.org/W4280602063"],"related_works":["https://openalex.org/W4391375266","https://openalex.org/W2899084033","https://openalex.org/W2748952813","https://openalex.org/W3004173571","https://openalex.org/W2390279801","https://openalex.org/W3019776739","https://openalex.org/W4391913857","https://openalex.org/W2358668433","https://openalex.org/W4396701345","https://openalex.org/W2546638913"],"abstract_inverted_index":{"Synchronous":[0],"language":[1,97],"is":[2,14,31,56,154],"routinely":[3],"used":[4,155],"to":[5,18,41,101,139,159],"model":[6,143,153],"safety-critical":[7],"control":[8],"systems.":[9],"In":[10],"recent":[11],"years,":[12],"it":[13,55,64],"gradually":[15],"being":[16],"applied":[17],"cyber-physical":[19],"systems":[20],"(CPS)":[21],"which":[22],"emphasise":[23],"high":[24],"levels":[25],"of":[26,105,114,121,136,163,179],"correctness":[27],"and":[28,44,118,177],"safety.":[29],"It":[30],"based":[32,98],"on":[33,99,124,170],"the":[34,37,47,50,103,112,119,129,141,145,164,175],"assumption":[35],"that":[36],"system":[38],"reacts":[39],"instantaneously":[40],"input":[42,52],"events":[43],"can":[45],"compute":[46],"output":[48],"before":[49],"next":[51],"event,":[53],"so":[54],"well":[57],"suited":[58],"for":[59,68],"expressing":[60,69],"temporal":[61],"logic.":[62],"However,":[63],"lacks":[65],"effective":[66],"constructs":[67],"spatial":[70,115],"properties":[71,76,108],"in":[72,77,109,156],"CPS.":[73],"Moreover,":[74],"spatio-temporal":[75,107],"CPS":[78],"are":[79,168],"indispensable,":[80],"requiring":[81],"not":[82],"only":[83],"qualitative":[84],"analysis":[85,123,162],"but":[86],"also":[87],"quantitative":[88,122,161],"analysis.":[89],"Therefore,":[90],"we":[91,132],"propose":[92],"SELus,":[93],"a":[94,134],"new":[95],"synchronous":[96],"Lustre,":[100],"provide":[102],"capability":[104],"modeling":[106],"CPS,":[110],"enabling":[111],"representation":[113],"topological":[116],"relationships":[117],"performance":[120],"them.":[125],"To":[126],"formally":[127],"verify":[128],"SELus":[130,142,165],"model,":[131],"introduce":[133],"set":[135],"mapping":[137],"rules":[138],"transform":[140],"into":[144],"Ptolemy":[146,151,157],"II":[147,152,158],"model.":[148,166],"The":[149],"resulting":[150],"perform":[160],"Experiments":[167],"conducted":[169],"lane":[171],"changing":[172],"system,":[173],"showcasing":[174],"usability":[176],"effectiveness":[178],"our":[180],"language.":[181]},"counts_by_year":[],"updated_date":"2026-10-16T09:59:22.235173","created_date":"2025-10-10T00:00:00"}