{"id":"https://openalex.org/W6939788784","doi":"https://doi.org/10.6094/unifr/10646","title":"Verification of behavior-based control systems in their physical environment","display_name":"Verification of behavior-based control systems in their physical environment","publication_year":2016,"publication_date":"2016-01-01","ids":{"openalex":"https://openalex.org/W6939788784","doi":"https://doi.org/10.6094/unifr/10646"},"language":"en","primary_location":{"id":"doi:10.6094/unifr/10646","is_oa":true,"landing_page_url":"https://doi.org/10.6094/unifr/10646","pdf_url":null,"source":{"id":"https://openalex.org/S4306401057","display_name":"FreiDok plus (Universit\u00e4tsbibliothek Freiburg)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I161046081","host_organization_name":"University of Freiburg","host_organization_lineage":["https://openalex.org/I161046081"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":null,"is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"article"},"type":"other","indexed_in":["datacite"],"open_access":{"is_oa":true,"oa_status":"green","oa_url":"https://doi.org/10.6094/unifr/10646","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":null,"display_name":"Schneider, Klaus","orcid":null},"institutions":[],"countries":[],"is_corresponding":true,"raw_author_name":"Schneider, Klaus","raw_affiliation_strings":[],"affiliations":[]},{"author_position":"middle","author":{"id":null,"display_name":"Ropertz, Thorsten","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Ropertz, Thorsten","raw_affiliation_strings":[],"affiliations":[]},{"author_position":"middle","author":{"id":null,"display_name":"Berns, Karsten","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Berns, Karsten","raw_affiliation_strings":[],"affiliations":[]},{"author_position":"last","author":{"id":null,"display_name":"Li, Xian","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Li, Xian","raw_affiliation_strings":[],"affiliations":[]}],"institutions":[],"countries_distinct_count":0,"institutions_distinct_count":4,"corresponding_author_ids":[],"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":true,"primary_topic":null,"topics":[],"keywords":[{"id":"https://openalex.org/keywords/modularity","display_name":"Modularity (biology)","score":0.5476999878883362},{"id":"https://openalex.org/keywords/formal-verification","display_name":"Formal verification","score":0.4878999888896942},{"id":"https://openalex.org/keywords/hybrid-system","display_name":"Hybrid system","score":0.4494999945163727},{"id":"https://openalex.org/keywords/relation","display_name":"Relation (database)","score":0.4415000081062317},{"id":"https://openalex.org/keywords/control-system","display_name":"Control system","score":0.424699991941452},{"id":"https://openalex.org/keywords/cyber-physical-system","display_name":"Cyber-physical system","score":0.42179998755455017},{"id":"https://openalex.org/keywords/physical-system","display_name":"Physical system","score":0.3865000009536743},{"id":"https://openalex.org/keywords/software","display_name":"Software","score":0.38280001282691956},{"id":"https://openalex.org/keywords/control","display_name":"Control (management)","score":0.38029998540878296},{"id":"https://openalex.org/keywords/model-checking","display_name":"Model checking","score":0.37860000133514404},{"id":"https://openalex.org/keywords/software-verification","display_name":"Software verification","score":0.35929998755455017}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.6908000111579895},{"id":"https://openalex.org/C2779478453","wikidata":"https://www.wikidata.org/wiki/Q6889748","display_name":"Modularity (biology)","level":2,"score":0.5476999878883362},{"id":"https://openalex.org/C111498074","wikidata":"https://www.wikidata.org/wiki/Q173326","display_name":"Formal verification","level":2,"score":0.4878999888896942},{"id":"https://openalex.org/C50897621","wikidata":"https://www.wikidata.org/wiki/Q2665508","display_name":"Hybrid system","level":2,"score":0.4494999945163727},{"id":"https://openalex.org/C25343380","wikidata":"https://www.wikidata.org/wiki/Q277521","display_name":"Relation (database)","level":2,"score":0.4415000081062317},{"id":"https://openalex.org/C120314980","wikidata":"https://www.wikidata.org/wiki/Q180634","display_name":"Distributed computing","level":1,"score":0.42590001225471497},{"id":"https://openalex.org/C17500928","wikidata":"https://www.wikidata.org/wiki/Q959968","display_name":"Control system","level":2,"score":0.424699991941452},{"id":"https://openalex.org/C179768478","wikidata":"https://www.wikidata.org/wiki/Q1120057","display_name":"Cyber-physical system","level":2,"score":0.42179998755455017},{"id":"https://openalex.org/C133731056","wikidata":"https://www.wikidata.org/wiki/Q4917288","display_name":"Control engineering","level":1,"score":0.39480000734329224},{"id":"https://openalex.org/C116672817","wikidata":"https://www.wikidata.org/wiki/Q1454986","display_name":"Physical system","level":2,"score":0.3865000009536743},{"id":"https://openalex.org/C2777904410","wikidata":"https://www.wikidata.org/wiki/Q7397","display_name":"Software","level":2,"score":0.38280001282691956},{"id":"https://openalex.org/C2775924081","wikidata":"https://www.wikidata.org/wiki/Q55608371","display_name":"Control (management)","level":2,"score":0.38029998540878296},{"id":"https://openalex.org/C110251889","wikidata":"https://www.wikidata.org/wiki/Q1569697","display_name":"Model checking","level":2,"score":0.37860000133514404},{"id":"https://openalex.org/C33054407","wikidata":"https://www.wikidata.org/wiki/Q6504747","display_name":"Software verification","level":5,"score":0.35929998755455017},{"id":"https://openalex.org/C112505250","wikidata":"https://www.wikidata.org/wiki/Q787116","display_name":"Automaton","level":2,"score":0.32989999651908875},{"id":"https://openalex.org/C168167062","wikidata":"https://www.wikidata.org/wiki/Q1117970","display_name":"Component (thermodynamics)","level":2,"score":0.32170000672340393},{"id":"https://openalex.org/C149635348","wikidata":"https://www.wikidata.org/wiki/Q193040","display_name":"Embedded system","level":1,"score":0.320499986410141},{"id":"https://openalex.org/C3406870","wikidata":"https://www.wikidata.org/wiki/Q6044160","display_name":"Intelligent verification","level":5,"score":0.31690001487731934},{"id":"https://openalex.org/C112972136","wikidata":"https://www.wikidata.org/wiki/Q7595718","display_name":"Stability (learning theory)","level":2,"score":0.3018999993801117},{"id":"https://openalex.org/C75606506","wikidata":"https://www.wikidata.org/wiki/Q1049183","display_name":"Formal methods","level":2,"score":0.2989000082015991},{"id":"https://openalex.org/C149091818","wikidata":"https://www.wikidata.org/wiki/Q2429814","display_name":"Software system","level":3,"score":0.2989000082015991},{"id":"https://openalex.org/C187250869","wikidata":"https://www.wikidata.org/wiki/Q5754573","display_name":"High-level verification","level":5,"score":0.2948000133037567},{"id":"https://openalex.org/C89611455","wikidata":"https://www.wikidata.org/wiki/Q6804646","display_name":"Mechanism (biology)","level":2,"score":0.28200000524520874},{"id":"https://openalex.org/C116253237","wikidata":"https://www.wikidata.org/wiki/Q1437424","display_name":"Formal specification","level":2,"score":0.2759999930858612},{"id":"https://openalex.org/C202973057","wikidata":"https://www.wikidata.org/wiki/Q7380130","display_name":"Runtime verification","level":3,"score":0.2754000127315521},{"id":"https://openalex.org/C200601418","wikidata":"https://www.wikidata.org/wiki/Q2193887","display_name":"Reliability engineering","level":1,"score":0.2703000009059906},{"id":"https://openalex.org/C142284323","wikidata":"https://www.wikidata.org/wiki/Q7921323","display_name":"Verification","level":5,"score":0.2660999894142151},{"id":"https://openalex.org/C62460635","wikidata":"https://www.wikidata.org/wiki/Q5508853","display_name":"Functional verification","level":3,"score":0.26510000228881836},{"id":"https://openalex.org/C47822265","wikidata":"https://www.wikidata.org/wiki/Q854457","display_name":"Complex system","level":2,"score":0.26190000772476196},{"id":"https://openalex.org/C145644426","wikidata":"https://www.wikidata.org/wiki/Q169411","display_name":"Unified Modeling Language","level":3,"score":0.25760000944137573},{"id":"https://openalex.org/C48002344","wikidata":"https://www.wikidata.org/wiki/Q2919644","display_name":"Verification and validation","level":2,"score":0.25},{"id":"https://openalex.org/C58328972","wikidata":"https://www.wikidata.org/wiki/Q184609","display_name":"Expert system","level":2,"score":0.23999999463558197},{"id":"https://openalex.org/C201995342","wikidata":"https://www.wikidata.org/wiki/Q682496","display_name":"Systems engineering","level":1,"score":0.23690000176429749},{"id":"https://openalex.org/C44154836","wikidata":"https://www.wikidata.org/wiki/Q45045","display_name":"Simulation","level":1,"score":0.23409999907016754},{"id":"https://openalex.org/C155386361","wikidata":"https://www.wikidata.org/wiki/Q1649571","display_name":"Process control","level":3,"score":0.2320999950170517},{"id":"https://openalex.org/C203479927","wikidata":"https://www.wikidata.org/wiki/Q5165939","display_name":"Controller (irrigation)","level":2,"score":0.22939999401569366},{"id":"https://openalex.org/C79403827","wikidata":"https://www.wikidata.org/wiki/Q3988","display_name":"Real-time computing","level":1,"score":0.2281000018119812},{"id":"https://openalex.org/C154488198","wikidata":"https://www.wikidata.org/wiki/Q1335007","display_name":"Embedded software","level":3,"score":0.2273000031709671},{"id":"https://openalex.org/C2988765172","wikidata":"https://www.wikidata.org/wiki/Q22349898","display_name":"Control software","level":3,"score":0.22679999470710754},{"id":"https://openalex.org/C2780385302","wikidata":"https://www.wikidata.org/wiki/Q367158","display_name":"Protocol (science)","level":3,"score":0.22660000622272491}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.6094/unifr/10646","is_oa":true,"landing_page_url":"https://doi.org/10.6094/unifr/10646","pdf_url":null,"source":{"id":"https://openalex.org/S4306401057","display_name":"FreiDok plus (Universit\u00e4tsbibliothek Freiburg)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I161046081","host_organization_name":"University of Freiburg","host_organization_lineage":["https://openalex.org/I161046081"],"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":"article"}],"best_oa_location":{"id":"doi:10.6094/unifr/10646","is_oa":true,"landing_page_url":"https://doi.org/10.6094/unifr/10646","pdf_url":null,"source":{"id":"https://openalex.org/S4306401057","display_name":"FreiDok plus (Universit\u00e4tsbibliothek Freiburg)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I161046081","host_organization_name":"University of Freiburg","host_organization_lineage":["https://openalex.org/I161046081"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":null,"is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"article"},"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":0,"referenced_works":[],"related_works":[],"abstract_inverted_index":{"Verifying":[0],"complete":[1],"behavior-based":[2,27],"control":[3,28,147],"systems":[4],"in":[5,109],"their":[6,15],"physical":[7,111],"environments":[8],"is":[9,138],"currently":[10],"not":[11],"possible":[12],"due":[13],"to":[14,55,78],"immense":[16],"complexities.":[17],"However,":[18],"by":[19,42,83,140],"exploiting":[20],"the":[21,30,56,80,85,91,105,117,136,146],"modularity":[22],"and":[23,40,87],"network":[24,81,108],"structure":[25],"of":[26,59,62,135,145,149],"systems,":[29,39],"relevant":[31],"behaviors":[32,93],"can":[33],"be":[34],"isolated,":[35],"modeled":[36],"as":[37,113],"hybrid":[38,63,115,131],"analyzed":[41],"suitable":[43],"formal":[44,57],"verification":[45,58,125],"techniques.":[46],"In":[47],"this":[48,69],"paper,":[49],"we":[50],"present":[51],"a":[52,95,114,124,141],"two-step":[53],"approach":[54,137],"safety":[60,118],"properties":[61,119],"system":[64],"models":[65],"that":[66],"were":[67],"obtained":[68],"way.":[70],"The":[71,133],"underlying":[72],"behavior":[73,107],"arbitration":[74],"mechanism":[75],"allows":[76],"us":[77],"reduce":[79],"complexity":[82],"examining":[84],"stimulation":[86],"inhibition":[88],"relation":[89],"between":[90],"different":[92],"using":[94,123],"high-level":[96],"model":[97],"while":[98],"abstracting":[99],"from":[100],"internal":[101],"computations.":[102],"By":[103],"modeling":[104],"remaining":[106],"its":[110],"environment":[112],"system,":[116],"are":[120],"formally":[121],"verified":[122],"condition":[126],"generation":[127],"(VCG)":[128],"procedure":[129],"for":[130],"programs.":[132],"feasibility":[134],"proven":[139],"successful":[142],"experimental":[143],"evaluation":[144],"software":[148],"an":[150],"autonomous":[151],"mobile":[152],"robot.":[153]},"counts_by_year":[],"updated_date":"2025-11-06T03:46:38.306776","created_date":"2025-10-10T00:00:00"}