{"id":"https://openalex.org/W3212646941","doi":"https://doi.org/10.23919/icac50006.2021.9594067","title":"Specify and Model Automotive Cyber Physical Systems Using Hybrid Relation Calculus","display_name":"Specify and Model Automotive Cyber Physical Systems Using Hybrid Relation Calculus","publication_year":2021,"publication_date":"2021-09-02","ids":{"openalex":"https://openalex.org/W3212646941","doi":"https://doi.org/10.23919/icac50006.2021.9594067","mag":"3212646941"},"language":"en","primary_location":{"id":"doi:10.23919/icac50006.2021.9594067","is_oa":false,"landing_page_url":"https://doi.org/10.23919/icac50006.2021.9594067","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"2021 26th International Conference on Automation and Computing (ICAC)","raw_type":"proceedings-article"},"type":"article","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/A5100320388","display_name":"Lichen Zhang","orcid":"https://orcid.org/0000-0002-6711-0533"},"institutions":[{"id":"https://openalex.org/I139024713","display_name":"Guangdong University of Technology","ror":"https://ror.org/04azbjn80","country_code":"CN","type":"education","lineage":["https://openalex.org/I139024713"]}],"countries":["CN"],"is_corresponding":true,"raw_author_name":"Lichen Zhang","raw_affiliation_strings":["Faculty of Computer Science and Technology Guangdong University of Technology, Guangzhou, China"],"affiliations":[{"raw_affiliation_string":"Faculty of Computer Science and Technology Guangdong University of Technology, Guangzhou, China","institution_ids":["https://openalex.org/I139024713"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5027999220","display_name":"Jingyong Liu","orcid":"https://orcid.org/0000-0002-9660-8699"},"institutions":[{"id":"https://openalex.org/I139024713","display_name":"Guangdong University of Technology","ror":"https://ror.org/04azbjn80","country_code":"CN","type":"education","lineage":["https://openalex.org/I139024713"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Jingyong Liu","raw_affiliation_strings":["Faculty of Computer Science and Technology Guangdong University of Technology, Guangzhou, China"],"affiliations":[{"raw_affiliation_string":"Faculty of Computer Science and Technology Guangdong University of Technology, Guangzhou, China","institution_ids":["https://openalex.org/I139024713"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":2,"corresponding_author_ids":["https://openalex.org/A5100320388"],"corresponding_institution_ids":["https://openalex.org/I139024713"],"apc_list":null,"apc_paid":null,"fwci":0.0,"has_fulltext":false,"cited_by_count":0,"citation_normalized_percentile":{"value":0.17064177,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":null,"biblio":{"volume":null,"issue":null,"first_page":"1","last_page":"6"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T11099","display_name":"Autonomous Vehicle Technology and Safety","score":0.9972000122070312,"subfield":{"id":"https://openalex.org/subfields/2203","display_name":"Automotive 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/T11099","display_name":"Autonomous Vehicle Technology and Safety","score":0.9972000122070312,"subfield":{"id":"https://openalex.org/subfields/2203","display_name":"Automotive 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/T10142","display_name":"Formal Methods in Verification","score":0.9958999752998352,"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/T10761","display_name":"Vehicular Ad Hoc Networks (VANETs)","score":0.9945999979972839,"subfield":{"id":"https://openalex.org/subfields/2208","display_name":"Electrical and Electronic Engineering"},"field":{"id":"https://openalex.org/fields/22","display_name":"Engineering"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}}],"keywords":[{"id":"https://openalex.org/keywords/cyber-physical-system","display_name":"Cyber-physical system","score":0.7696912288665771},{"id":"https://openalex.org/keywords/automotive-industry","display_name":"Automotive industry","score":0.6890696287155151},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.5973131656646729},{"id":"https://openalex.org/keywords/relation","display_name":"Relation (database)","score":0.5598397850990295},{"id":"https://openalex.org/keywords/physical-system","display_name":"Physical system","score":0.4612959623336792},{"id":"https://openalex.org/keywords/hybrid-system","display_name":"Hybrid system","score":0.43392783403396606},{"id":"https://openalex.org/keywords/engineering","display_name":"Engineering","score":0.2284441590309143}],"concepts":[{"id":"https://openalex.org/C179768478","wikidata":"https://www.wikidata.org/wiki/Q1120057","display_name":"Cyber-physical system","level":2,"score":0.7696912288665771},{"id":"https://openalex.org/C526921623","wikidata":"https://www.wikidata.org/wiki/Q190117","display_name":"Automotive industry","level":2,"score":0.6890696287155151},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.5973131656646729},{"id":"https://openalex.org/C25343380","wikidata":"https://www.wikidata.org/wiki/Q277521","display_name":"Relation (database)","level":2,"score":0.5598397850990295},{"id":"https://openalex.org/C116672817","wikidata":"https://www.wikidata.org/wiki/Q1454986","display_name":"Physical system","level":2,"score":0.4612959623336792},{"id":"https://openalex.org/C50897621","wikidata":"https://www.wikidata.org/wiki/Q2665508","display_name":"Hybrid system","level":2,"score":0.43392783403396606},{"id":"https://openalex.org/C127413603","wikidata":"https://www.wikidata.org/wiki/Q11023","display_name":"Engineering","level":0,"score":0.2284441590309143},{"id":"https://openalex.org/C119857082","wikidata":"https://www.wikidata.org/wiki/Q2539","display_name":"Machine learning","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/C146978453","wikidata":"https://www.wikidata.org/wiki/Q3798668","display_name":"Aerospace engineering","level":1,"score":0.0},{"id":"https://openalex.org/C62520636","wikidata":"https://www.wikidata.org/wiki/Q944","display_name":"Quantum mechanics","level":1,"score":0.0},{"id":"https://openalex.org/C77088390","wikidata":"https://www.wikidata.org/wiki/Q8513","display_name":"Database","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":1,"locations":[{"id":"doi:10.23919/icac50006.2021.9594067","is_oa":false,"landing_page_url":"https://doi.org/10.23919/icac50006.2021.9594067","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"2021 26th International Conference on Automation and Computing (ICAC)","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":9,"referenced_works":["https://openalex.org/W117087077","https://openalex.org/W2168842447","https://openalex.org/W2905254981","https://openalex.org/W2997090070","https://openalex.org/W3137440960","https://openalex.org/W3163852089","https://openalex.org/W3178618862","https://openalex.org/W3193953441","https://openalex.org/W3196334783"],"related_works":["https://openalex.org/W2994120531","https://openalex.org/W2108326965","https://openalex.org/W2086962923","https://openalex.org/W2756692340","https://openalex.org/W3099113830","https://openalex.org/W4229048927","https://openalex.org/W190251865","https://openalex.org/W3017360834","https://openalex.org/W2133522624","https://openalex.org/W3094048663"],"abstract_inverted_index":{"The":[0,91,140],"automobile":[1],"is":[2,62,176],"no":[3],"longer":[4],"purely":[5],"physical":[6,18,68,100,138,145],"system":[7,19,80,87,118,146,161],"and":[8,14,25,32,45,102,123,133,169],"has":[9],"evolved":[10],"into":[11],"more":[12,167],"complex":[13],"technologically":[15],"advanced":[16],"Cyber":[17],"(CPS),":[20],"which":[21,61],"embeds":[22],"control":[23,27],"software":[24],"electronic":[26],"units":[28],"to":[29,64,131,156,164,178],"improve":[30],"safety":[31,114],"performance.":[33],"Formal":[34],"specification":[35,59,73,154],"technologies":[36],"are":[37],"essential":[38],"for":[39],"the":[40,52,111,120,125,135,151,171,180,185],"rapid":[41],"development":[42],"of":[43,94,142,184],"reliable":[44],"safe":[46],"transportation":[47,117],"system.":[48,139],"In":[49],"this":[50],"study,":[51],"Hybrid":[53],"Relation":[54],"Calculus,":[55],"a":[56],"new":[57,71,152],"formal":[58,72,92,153],"formwork,":[60],"used":[63],"develop":[65],"automotive":[66,136,143,158,186],"cyber":[67,137,144,159,187],"systems.":[69,189],"This":[70,108],"framework":[74,155],"can":[75,98,162],"handle":[76],"not":[77],"only":[78],"continuous":[79,181],"about":[81],"differential":[82,89],"equation,":[83],"but":[84],"also":[85],"discrete":[86],"without":[88],"equation.":[90],"method":[93],"hybrid":[95,126],"relation":[96],"calculus":[97,128],"model":[99,134],"elements":[101],"their":[103],"communication":[104],"with":[105],"intelligent":[106,116],"units.":[107],"study":[109,141],"takes":[110],"distributed":[112],"vehicle":[113],"cruise":[115],"as":[119],"application":[121],"goal,":[122],"uses":[124],"relational":[127],"programming":[129],"language":[130],"describe":[132,157],"case":[147],"shows":[148],"that":[149,174],"applying":[150],"physics":[160,188],"lead":[163],"each":[165],"subpart":[166],"detailed":[168],"reduce":[170],"complexity,":[172],"so":[173],"it":[175],"convenient":[177],"understand":[179],"motion":[182],"state":[183]},"counts_by_year":[],"updated_date":"2025-11-06T03:46:38.306776","created_date":"2025-10-10T00:00:00"}