{"id":"https://openalex.org/W2594116362","doi":"https://doi.org/10.13016/m2x849","title":"Semantic-driven modeling and reasoning for enhanced safety of cyber-physical systems","display_name":"Semantic-driven modeling and reasoning for enhanced safety of cyber-physical systems","publication_year":2016,"publication_date":"2016-01-01","ids":{"openalex":"https://openalex.org/W2594116362","doi":"https://doi.org/10.13016/m2x849","mag":"2594116362"},"language":"en","primary_location":{"id":"pmh:oai:drum.lib.umd.edu:1903/19076","is_oa":true,"landing_page_url":"https://doi.org/10.13016/M2X849","pdf_url":"http://hdl.handle.net/1903/19076","source":{"id":"https://openalex.org/S4306402644","display_name":"Digital Repository at the University of Maryland (University of Maryland College Park)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I66946132","host_organization_name":"University of Maryland, College Park","host_organization_lineage":["https://openalex.org/I66946132"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"Dissertation"},"type":"dissertation","indexed_in":["datacite"],"open_access":{"is_oa":true,"oa_status":"green","oa_url":"http://hdl.handle.net/1903/19076","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5014766444","display_name":"Leonard Petnga","orcid":null},"institutions":[],"countries":[],"is_corresponding":true,"raw_author_name":"Petnga, Leonard","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]}],"institutions":[],"countries_distinct_count":0,"institutions_distinct_count":0,"corresponding_author_ids":["https://openalex.org/A5014766444"],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":null,"has_fulltext":false,"cited_by_count":0,"citation_normalized_percentile":null,"cited_by_percentile_year":null,"biblio":{"volume":null,"issue":null,"first_page":null,"last_page":null},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T13295","display_name":"Safety Systems Engineering in Autonomy","score":0.984499990940094,"subfield":{"id":"https://openalex.org/subfields/2213","display_name":"Safety, Risk, Reliability and Quality"},"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/T13295","display_name":"Safety Systems Engineering in Autonomy","score":0.984499990940094,"subfield":{"id":"https://openalex.org/subfields/2213","display_name":"Safety, Risk, Reliability and Quality"},"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/T10734","display_name":"Information and Cyber Security","score":0.9789999723434448,"subfield":{"id":"https://openalex.org/subfields/1710","display_name":"Information Systems"},"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/T10917","display_name":"Smart Grid Security and Resilience","score":0.9696000218391418,"subfield":{"id":"https://openalex.org/subfields/2207","display_name":"Control and Systems 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.7735232710838318},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.470624715089798},{"id":"https://openalex.org/keywords/human\u2013computer-interaction","display_name":"Human\u2013computer interaction","score":0.4046021103858948},{"id":"https://openalex.org/keywords/systems-engineering","display_name":"Systems engineering","score":0.36438077688217163},{"id":"https://openalex.org/keywords/data-science","display_name":"Data science","score":0.36003559827804565},{"id":"https://openalex.org/keywords/software-engineering","display_name":"Software engineering","score":0.33750757575035095},{"id":"https://openalex.org/keywords/engineering","display_name":"Engineering","score":0.28570544719696045}],"concepts":[{"id":"https://openalex.org/C179768478","wikidata":"https://www.wikidata.org/wiki/Q1120057","display_name":"Cyber-physical system","level":2,"score":0.7735232710838318},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.470624715089798},{"id":"https://openalex.org/C107457646","wikidata":"https://www.wikidata.org/wiki/Q207434","display_name":"Human\u2013computer interaction","level":1,"score":0.4046021103858948},{"id":"https://openalex.org/C201995342","wikidata":"https://www.wikidata.org/wiki/Q682496","display_name":"Systems engineering","level":1,"score":0.36438077688217163},{"id":"https://openalex.org/C2522767166","wikidata":"https://www.wikidata.org/wiki/Q2374463","display_name":"Data science","level":1,"score":0.36003559827804565},{"id":"https://openalex.org/C115903868","wikidata":"https://www.wikidata.org/wiki/Q80993","display_name":"Software engineering","level":1,"score":0.33750757575035095},{"id":"https://openalex.org/C127413603","wikidata":"https://www.wikidata.org/wiki/Q11023","display_name":"Engineering","level":0,"score":0.28570544719696045},{"id":"https://openalex.org/C111919701","wikidata":"https://www.wikidata.org/wiki/Q9135","display_name":"Operating system","level":1,"score":0.0}],"mesh":[],"locations_count":3,"locations":[{"id":"pmh:oai:drum.lib.umd.edu:1903/19076","is_oa":true,"landing_page_url":"https://doi.org/10.13016/M2X849","pdf_url":"http://hdl.handle.net/1903/19076","source":{"id":"https://openalex.org/S4306402644","display_name":"Digital Repository at the University of Maryland (University of Maryland College Park)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I66946132","host_organization_name":"University of Maryland, College Park","host_organization_lineage":["https://openalex.org/I66946132"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"Dissertation"},{"id":"mag:2594116362","is_oa":false,"landing_page_url":"https://drum.lib.umd.edu/handle/1903/19076","pdf_url":null,"source":null,"license":null,"license_id":null,"version":null,"is_accepted":false,"is_published":null,"raw_source_name":null,"raw_type":null},{"id":"doi:10.13016/m2x849","is_oa":true,"landing_page_url":"https://doi.org/10.13016/m2x849","pdf_url":null,"source":{"id":"https://openalex.org/S4306402644","display_name":"Digital Repository at the University of Maryland (University of Maryland College Park)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I66946132","host_organization_name":"University of Maryland, College Park","host_organization_lineage":["https://openalex.org/I66946132"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":null,"is_accepted":false,"is_published":null,"raw_source_name":null,"raw_type":"Collection"}],"best_oa_location":{"id":"pmh:oai:drum.lib.umd.edu:1903/19076","is_oa":true,"landing_page_url":"https://doi.org/10.13016/M2X849","pdf_url":"http://hdl.handle.net/1903/19076","source":{"id":"https://openalex.org/S4306402644","display_name":"Digital Repository at the University of Maryland (University of Maryland College Park)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I66946132","host_organization_name":"University of Maryland, College Park","host_organization_lineage":["https://openalex.org/I66946132"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"Dissertation"},"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"grobid_xml":false,"pdf":true},"content_urls":{"pdf":"https://content.openalex.org/works/W2594116362.pdf"},"referenced_works_count":0,"referenced_works":[],"related_works":["https://openalex.org/W1846590636","https://openalex.org/W3013828918","https://openalex.org/W3130548931","https://openalex.org/W3208407755","https://openalex.org/W1999602437","https://openalex.org/W1479916186","https://openalex.org/W1580558463","https://openalex.org/W2552585484","https://openalex.org/W2046993293","https://openalex.org/W2028257562","https://openalex.org/W2614351134","https://openalex.org/W2379404875","https://openalex.org/W2156773115","https://openalex.org/W1970732091","https://openalex.org/W2379864844","https://openalex.org/W2778815576","https://openalex.org/W2494777255","https://openalex.org/W2969282568","https://openalex.org/W2335271005","https://openalex.org/W2170494265"],"abstract_inverted_index":{"This":[0,44],"dissertation":[1],"is":[2,29,48,182,241],"concerned":[3],"with":[4,101,317],"the":[5,19,59,74,89,96,142,169,192,221,282,299,339],"development":[6,283],"of":[7,22,46,54,76,91,111,120,126,151,198,223,250,269,284,301,344],"new":[8],"methodologies":[9],"and":[10,56,68,84,99,105,115,133,138,141,156,163,188,200,210,217,230,239,243,254,257,271,305,333,342,350,354],"semantics":[11,155],"for":[12,18,41,73,88,159,172,235,308,347],"model-based":[13],"systems":[14,24,47,304],"engineering":[15],"(MBSE)":[16],"procedures":[17,40],"behavior":[20],"modeling":[21,83,238],"cyber-physical":[23,302],"(CPS).":[25],"Our":[26,79],"main":[27,124],"interest":[28],"to":[30,61,108,117,167,220,276,287,326],"enhance":[31],"system-level":[32],"safety":[33,67,127,295,345],"through":[34],"effective":[35],"reasoning":[36,85,160],"capabilities":[37,222],"embedded":[38],"in":[39,129,146,161,175,281,298],"CPS":[42,113,162,176,237],"design.":[43],"class":[45],"defined":[49],"by":[50,184,204],"a":[51,69,278,319],"tight":[52],"integration":[53],"software":[55],"physical":[57,97,102,331],"processes,":[58],"need":[60],"satisfy":[62],"stringent":[63],"constraints":[64],"on":[65,71,293],"performance,":[66],"reliance":[70],"automation":[72],"management":[75],"system":[77,121,289],"functionality.":[78],"approach":[80,166],"employs":[81,247],"semantic\u2013driven":[82],":":[86],"(1)":[87],"design":[90,187],"cyber":[92],"that":[93],"can":[94],"understand":[95,134],"world":[98],"reason":[100],"quantities,":[103],"time":[104,199],"space,":[106],"(2)":[107],"improve":[109],"synthesis":[110],"component-based":[112],"architectures,":[114],"(3)":[116],"prevent":[118],"under-specification":[119],"requirements":[122],"(the":[123],"cause":[125],"failures":[128],"software).":[130],"We":[131],"investigate":[132],"metadomains,":[135],"especially":[136,191],"temporal":[137,270],"spatial":[139,272],"theories,":[140],"role":[143,280],"ontologies":[144,158],"play":[145,277],"deriving":[147],"formal,":[148],"precise":[149],"models":[150,197],"CPS.":[152],"Description":[153],"logic-based":[154],"metadomain":[157],"an":[164],"integrated":[165,315],"unify":[168],"semantic":[170],"foundations":[171],"decision":[173],"making":[174],"are":[177,215,274,314],"covered.":[178],"The":[179,245,311,335],"research":[180],"agenda":[181],"driven":[183],"Civil":[185],"Systems":[186],"operation":[189],"applications,":[190],"dilemma":[193],"zone":[194],"problem.":[195],"Semantic":[196,224],"space":[201],"supported":[202],"respectively":[203],"Allen\u2019s":[205],"Temporal":[206],"Interval":[207],"Calculus":[208,213],"(ATIC)":[209],"Region":[211],"Connectedness":[212],"(RCC-8)":[214],"developed":[216,242,297],"demonstrated":[218],"thanks":[219],"Web":[225],"technologies.":[226],"A":[227],"modular,":[228],"flexible,":[229],"reusable":[231],"reasoning-enabled":[232],"semantic-based":[233],"platform":[234,246,312],"safety-critical":[236],"analysis":[240,343],"demonstrated.":[244],"formal":[248],"representations":[249],"domains":[251],"(cyber,":[252],"physical)":[253],"metadomains":[255],"(temporal":[256],"spatial)":[258],"entities":[259],"using":[260],"decidable":[261],"web":[262],"ontology":[263],"language":[264,322,336],"(OWL)":[265],"formalisms.":[266],"Decidable":[267],"fragments":[268],"calculus":[273],"found":[275],"central":[279],"spatio-temporal":[285],"algorithms":[286],"assure":[288],"safety.":[290],"They":[291],"rely":[292],"formalized":[294],"metrics":[296],"context":[300],"transportation":[303],"collision":[306,348],"avoidance":[307],"autonomous":[309],"systems.":[310],"components":[313],"together":[316],"Whistle,":[318],"small":[320],"scripting":[321],"(under":[323],"development)":[324],"able":[325],"process":[327],"complex":[328],"datatypes":[329],"including":[330],"quantities":[332],"units.":[334],"also":[337],"enables":[338],"simulation,":[340],"visualization":[341],"tubes":[346],"prediction":[349],"prevention":[351],"at":[352],"signalized":[353],"non-signalized":[355],"traffic":[356],"intersections.":[357]},"counts_by_year":[],"updated_date":"2026-07-01T08:55:40.977307","created_date":"2025-10-10T00:00:00"}