{"id":"https://openalex.org/W3176360342","doi":"https://doi.org/10.1145/3457335.3461706","title":"Safety from in-the-loop reachability for cyber-physical systems","display_name":"Safety from in-the-loop reachability for cyber-physical systems","publication_year":2021,"publication_date":"2021-05-19","ids":{"openalex":"https://openalex.org/W3176360342","doi":"https://doi.org/10.1145/3457335.3461706","mag":"3176360342"},"language":"en","primary_location":{"id":"doi:10.1145/3457335.3461706","is_oa":false,"landing_page_url":"https://doi.org/10.1145/3457335.3461706","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the Workshop on Computation-Aware Algorithmic Design for Cyber-Physical Systems","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/A5001911119","display_name":"Christian Llanes","orcid":null},"institutions":[{"id":"https://openalex.org/I130701444","display_name":"Georgia Institute of Technology","ror":"https://ror.org/01zkghx44","country_code":"US","type":"education","lineage":["https://openalex.org/I130701444"]}],"countries":["US"],"is_corresponding":true,"raw_author_name":"Christian Llanes","raw_affiliation_strings":["The Georgia Institute of Technology"],"affiliations":[{"raw_affiliation_string":"The Georgia Institute of Technology","institution_ids":["https://openalex.org/I130701444"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5033268677","display_name":"Matthew Abate","orcid":"https://orcid.org/0000-0002-5999-5853"},"institutions":[{"id":"https://openalex.org/I130701444","display_name":"Georgia Institute of Technology","ror":"https://ror.org/01zkghx44","country_code":"US","type":"education","lineage":["https://openalex.org/I130701444"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Matthew Abate","raw_affiliation_strings":["The Georgia Institute of Technology"],"affiliations":[{"raw_affiliation_string":"The Georgia Institute of Technology","institution_ids":["https://openalex.org/I130701444"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5010552433","display_name":"Samuel Coogan","orcid":"https://orcid.org/0000-0003-0495-1535"},"institutions":[{"id":"https://openalex.org/I130701444","display_name":"Georgia Institute of Technology","ror":"https://ror.org/01zkghx44","country_code":"US","type":"education","lineage":["https://openalex.org/I130701444"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Samuel Coogan","raw_affiliation_strings":["The Georgia Institute of Technology"],"affiliations":[{"raw_affiliation_string":"The Georgia Institute of Technology","institution_ids":["https://openalex.org/I130701444"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":3,"corresponding_author_ids":["https://openalex.org/A5001911119"],"corresponding_institution_ids":["https://openalex.org/I130701444"],"apc_list":null,"apc_paid":null,"fwci":0.7398,"has_fulltext":false,"cited_by_count":5,"citation_normalized_percentile":{"value":0.74840161,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":89,"max":97},"biblio":{"volume":null,"issue":null,"first_page":"9","last_page":"10"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10142","display_name":"Formal Methods in Verification","score":0.9994999766349792,"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.9994999766349792,"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/T10791","display_name":"Advanced Control Systems Optimization","score":0.9958000183105469,"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"}},{"id":"https://openalex.org/T10933","display_name":"Real-Time Systems Scheduling","score":0.9957000017166138,"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/computer-science","display_name":"Computer science","score":0.7508960962295532},{"id":"https://openalex.org/keywords/reachability","display_name":"Reachability","score":0.6693471074104309},{"id":"https://openalex.org/keywords/backup","display_name":"Backup","score":0.6083393692970276},{"id":"https://openalex.org/keywords/set","display_name":"Set (abstract data type)","score":0.5673938393592834},{"id":"https://openalex.org/keywords/cyber-physical-system","display_name":"Cyber-physical system","score":0.5175973176956177},{"id":"https://openalex.org/keywords/controller","display_name":"Controller (irrigation)","score":0.4979896545410156},{"id":"https://openalex.org/keywords/distributed-computing","display_name":"Distributed computing","score":0.4654209315776825},{"id":"https://openalex.org/keywords/a-priori-and-a-posteriori","display_name":"A priori and a posteriori","score":0.4551938772201538},{"id":"https://openalex.org/keywords/control-system","display_name":"Control system","score":0.4465376138687134},{"id":"https://openalex.org/keywords/observability","display_name":"Observability","score":0.4357950687408447},{"id":"https://openalex.org/keywords/algorithm","display_name":"Algorithm","score":0.18048608303070068},{"id":"https://openalex.org/keywords/engineering","display_name":"Engineering","score":0.10212555527687073}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.7508960962295532},{"id":"https://openalex.org/C136643341","wikidata":"https://www.wikidata.org/wiki/Q1361526","display_name":"Reachability","level":2,"score":0.6693471074104309},{"id":"https://openalex.org/C2780945871","wikidata":"https://www.wikidata.org/wiki/Q194274","display_name":"Backup","level":2,"score":0.6083393692970276},{"id":"https://openalex.org/C177264268","wikidata":"https://www.wikidata.org/wiki/Q1514741","display_name":"Set (abstract data type)","level":2,"score":0.5673938393592834},{"id":"https://openalex.org/C179768478","wikidata":"https://www.wikidata.org/wiki/Q1120057","display_name":"Cyber-physical system","level":2,"score":0.5175973176956177},{"id":"https://openalex.org/C203479927","wikidata":"https://www.wikidata.org/wiki/Q5165939","display_name":"Controller (irrigation)","level":2,"score":0.4979896545410156},{"id":"https://openalex.org/C120314980","wikidata":"https://www.wikidata.org/wiki/Q180634","display_name":"Distributed computing","level":1,"score":0.4654209315776825},{"id":"https://openalex.org/C75553542","wikidata":"https://www.wikidata.org/wiki/Q178161","display_name":"A priori and a posteriori","level":2,"score":0.4551938772201538},{"id":"https://openalex.org/C17500928","wikidata":"https://www.wikidata.org/wiki/Q959968","display_name":"Control system","level":2,"score":0.4465376138687134},{"id":"https://openalex.org/C36299963","wikidata":"https://www.wikidata.org/wiki/Q1369844","display_name":"Observability","level":2,"score":0.4357950687408447},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.18048608303070068},{"id":"https://openalex.org/C127413603","wikidata":"https://www.wikidata.org/wiki/Q11023","display_name":"Engineering","level":0,"score":0.10212555527687073},{"id":"https://openalex.org/C77088390","wikidata":"https://www.wikidata.org/wiki/Q8513","display_name":"Database","level":1,"score":0.0},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.0},{"id":"https://openalex.org/C138885662","wikidata":"https://www.wikidata.org/wiki/Q5891","display_name":"Philosophy","level":0,"score":0.0},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.0},{"id":"https://openalex.org/C119599485","wikidata":"https://www.wikidata.org/wiki/Q43035","display_name":"Electrical engineering","level":1,"score":0.0},{"id":"https://openalex.org/C28826006","wikidata":"https://www.wikidata.org/wiki/Q33521","display_name":"Applied mathematics","level":1,"score":0.0},{"id":"https://openalex.org/C6557445","wikidata":"https://www.wikidata.org/wiki/Q173113","display_name":"Agronomy","level":1,"score":0.0},{"id":"https://openalex.org/C111472728","wikidata":"https://www.wikidata.org/wiki/Q9471","display_name":"Epistemology","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},{"id":"https://openalex.org/C86803240","wikidata":"https://www.wikidata.org/wiki/Q420","display_name":"Biology","level":0,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1145/3457335.3461706","is_oa":false,"landing_page_url":"https://doi.org/10.1145/3457335.3461706","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the Workshop on Computation-Aware Algorithmic Design for Cyber-Physical Systems","raw_type":"proceedings-article"}],"best_oa_location":null,"sustainable_development_goals":[{"id":"https://metadata.un.org/sdg/16","display_name":"Peace, Justice and strong institutions","score":0.8100000023841858}],"awards":[],"funders":[],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":5,"referenced_works":["https://openalex.org/W2769646558","https://openalex.org/W2968945909","https://openalex.org/W3101798601","https://openalex.org/W3120640427","https://openalex.org/W3121064143"],"related_works":["https://openalex.org/W2046459260","https://openalex.org/W2967463586","https://openalex.org/W2765830098","https://openalex.org/W1971989957","https://openalex.org/W2955195711","https://openalex.org/W2791750487","https://openalex.org/W1606997444","https://openalex.org/W2138317614","https://openalex.org/W1884874476","https://openalex.org/W2153544183"],"abstract_inverted_index":{"We":[0],"demonstrate":[1],"a":[2,17,43,55,57,129,166,180],"methodology":[3,31,140,164],"for":[4,99,117],"achieving":[5],"safe":[6,59,89],"autonomy":[7],"that":[8,79,173],"relies":[9],"on":[10,176],"computing":[11],"reachable":[12,37,71,97,110],"sets":[13,98],"at":[14,33,105],"runtime.":[15],"Given":[16],"system":[18,41,50,84,172],"subject":[19],"to":[20,47,73,112,148,165,185],"disturbances":[21,127],"controlled":[22],"by":[23],"an":[24,160],"unverified":[25],"and":[26,123,152],"potentially":[27,75],"faulty":[28],"controller,":[29],"this":[30,88,157,163],"computes":[32],"each":[34],"time":[35],"the":[36,40,49,70,83,100,109,118,124,135,142,153],"set":[38,72,111],"of":[39,54,87,108,126,132,144,156,162],"under":[42],"backup":[44],"control":[45,77,119],"law":[46],"ensure":[48],"is":[51,115,159,174],"within":[52],"reach":[53,86],"known":[56],"priori":[58],"region.":[60],"Control":[61],"barrier":[62,120],"functions":[63],"are":[64],"then":[65],"used":[66],"in":[67,134],"conjunction":[68],"with":[69,179],"adjust":[74],"unsafe":[76],"actions":[78],"would":[80],"otherwise":[81],"move":[82],"beyond":[85],"set.":[90],"This":[91],"approach":[92],"faces":[93],"several":[94],"computational":[95],"challenges:":[96],"dynamics":[101],"must":[102],"be":[103],"computed":[104],"runtime;":[106],"sensitivity":[107],"initial":[113],"conditions":[114],"required":[116],"optimization":[121],"formulation;":[122],"presence":[125],"introduces":[128],"large":[130],"number":[131],"constraints":[133],"resulting":[136],"optimization.":[137],"The":[138],"proposed":[139],"leverages":[141],"theory":[143],"mixed":[145],"monotone":[146],"systems":[147],"address":[149],"these":[150],"challenges,":[151],"main":[154],"contribution":[155],"paper":[158],"application":[161],"ten":[167],"dimensional":[168],"dual":[169],"planar":[170],"multirotor":[171],"implemented":[175],"embedded":[177],"hardware":[178],"controller":[181],"update":[182],"rate":[183],"up":[184],"100Hz.":[186]},"counts_by_year":[{"year":2024,"cited_by_count":1},{"year":2023,"cited_by_count":3},{"year":2021,"cited_by_count":1}],"updated_date":"2025-11-06T03:46:38.306776","created_date":"2025-10-10T00:00:00"}