{"id":"https://openalex.org/W3159797226","doi":"https://doi.org/10.1109/lra.2021.3111010","title":"Control Barrier Functions for Cyber-Physical Systems and Applications to NMPC","display_name":"Control Barrier Functions for Cyber-Physical Systems and Applications to NMPC","publication_year":2021,"publication_date":"2021-09-13","ids":{"openalex":"https://openalex.org/W3159797226","doi":"https://doi.org/10.1109/lra.2021.3111010","mag":"3159797226"},"language":"en","primary_location":{"id":"doi:10.1109/lra.2021.3111010","is_oa":true,"landing_page_url":"https://doi.org/10.1109/lra.2021.3111010","pdf_url":"https://ieeexplore.ieee.org/ielx7/7083369/9475905/09536448.pdf","source":{"id":"https://openalex.org/S4210169774","display_name":"IEEE Robotics and Automation Letters","issn_l":"2377-3766","issn":["2377-3766"],"is_oa":false,"is_in_doaj":false,"is_core":true,"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":"journal"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"IEEE Robotics and Automation Letters","raw_type":"journal-article"},"type":"preprint","indexed_in":["arxiv","crossref","datacite"],"open_access":{"is_oa":true,"oa_status":"hybrid","oa_url":"https://ieeexplore.ieee.org/ielx7/7083369/9475905/09536448.pdf","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5062579177","display_name":"Jan Schilliger","orcid":"https://orcid.org/0000-0002-1431-8955"},"institutions":[{"id":"https://openalex.org/I35440088","display_name":"ETH Zurich","ror":"https://ror.org/05a28rw58","country_code":"CH","type":"education","lineage":["https://openalex.org/I2799323385","https://openalex.org/I35440088"]}],"countries":["CH"],"is_corresponding":false,"raw_author_name":"Jan Schilliger","raw_affiliation_strings":["Institute for Dynamic Systems and Control (IDSC), ETH Z\u00fcrich, Z\u00fcrich, Switzerland","Institute for Dynamic Systems and Control (IDSC), ETH Zurich, Zurich, Switzerland"],"raw_orcid":"https://orcid.org/0000-0002-1431-8955","affiliations":[{"raw_affiliation_string":"Institute for Dynamic Systems and Control (IDSC), ETH Z\u00fcrich, Z\u00fcrich, Switzerland","institution_ids":["https://openalex.org/I35440088"]},{"raw_affiliation_string":"Institute for Dynamic Systems and Control (IDSC), ETH Zurich, Zurich, Switzerland","institution_ids":["https://openalex.org/I35440088"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5085222818","display_name":"Thomas Lew","orcid":"https://orcid.org/0000-0002-8209-3604"},"institutions":[{"id":"https://openalex.org/I13805885","display_name":"Vaughn College of Aeronautics and Technology","ror":"https://ror.org/056e22e24","country_code":"US","type":"education","lineage":["https://openalex.org/I13805885"]},{"id":"https://openalex.org/I97018004","display_name":"Stanford University","ror":"https://ror.org/00f54p054","country_code":"US","type":"education","lineage":["https://openalex.org/I97018004"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Thomas Lew","raw_affiliation_strings":["Department of Aeronautics and Astronautics, Stanford University, Stanford, CA, USA","Department of Aeronautics and Astronautics Stanford University Stanford CA USA"],"raw_orcid":"https://orcid.org/0000-0002-8209-3604","affiliations":[{"raw_affiliation_string":"Department of Aeronautics and Astronautics, Stanford University, Stanford, CA, USA","institution_ids":["https://openalex.org/I13805885","https://openalex.org/I97018004"]},{"raw_affiliation_string":"Department of Aeronautics and Astronautics Stanford University Stanford CA USA","institution_ids":["https://openalex.org/I13805885","https://openalex.org/I97018004"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5066281688","display_name":"Spencer M. Richards","orcid":"https://orcid.org/0000-0001-7433-8774"},"institutions":[{"id":"https://openalex.org/I13805885","display_name":"Vaughn College of Aeronautics and Technology","ror":"https://ror.org/056e22e24","country_code":"US","type":"education","lineage":["https://openalex.org/I13805885"]},{"id":"https://openalex.org/I97018004","display_name":"Stanford University","ror":"https://ror.org/00f54p054","country_code":"US","type":"education","lineage":["https://openalex.org/I97018004"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Spencer M. Richards","raw_affiliation_strings":["Department of Aeronautics and Astronautics, Stanford University, Stanford, CA, USA","Department of Aeronautics and Astronautics Stanford University Stanford CA USA"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Department of Aeronautics and Astronautics, Stanford University, Stanford, CA, USA","institution_ids":["https://openalex.org/I13805885","https://openalex.org/I97018004"]},{"raw_affiliation_string":"Department of Aeronautics and Astronautics Stanford University Stanford CA USA","institution_ids":["https://openalex.org/I13805885","https://openalex.org/I97018004"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5061072497","display_name":"Severin H\u00e4nggi","orcid":"https://orcid.org/0000-0001-8250-4189"},"institutions":[{"id":"https://openalex.org/I35440088","display_name":"ETH Zurich","ror":"https://ror.org/05a28rw58","country_code":"CH","type":"education","lineage":["https://openalex.org/I2799323385","https://openalex.org/I35440088"]}],"countries":["CH"],"is_corresponding":false,"raw_author_name":"Severin Hanggi","raw_affiliation_strings":["Institute for Dynamic Systems and Control (IDSC), ETH Z\u00fcrich, Z\u00fcrich, Switzerland","Institute for Dynamic Systems and Control (IDSC), ETH Zurich, Zurich, Switzerland"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Institute for Dynamic Systems and Control (IDSC), ETH Z\u00fcrich, Z\u00fcrich, Switzerland","institution_ids":["https://openalex.org/I35440088"]},{"raw_affiliation_string":"Institute for Dynamic Systems and Control (IDSC), ETH Zurich, Zurich, Switzerland","institution_ids":["https://openalex.org/I35440088"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5050003000","display_name":"Marco Pavone","orcid":"https://orcid.org/0000-0002-0206-4337"},"institutions":[{"id":"https://openalex.org/I13805885","display_name":"Vaughn College of Aeronautics and Technology","ror":"https://ror.org/056e22e24","country_code":"US","type":"education","lineage":["https://openalex.org/I13805885"]},{"id":"https://openalex.org/I97018004","display_name":"Stanford University","ror":"https://ror.org/00f54p054","country_code":"US","type":"education","lineage":["https://openalex.org/I97018004"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Marco Pavone","raw_affiliation_strings":["Department of Aeronautics and Astronautics, Stanford University, Stanford, CA, USA","Department of Aeronautics and Astronautics Stanford University Stanford CA USA"],"raw_orcid":"https://orcid.org/0000-0002-0206-4337","affiliations":[{"raw_affiliation_string":"Department of Aeronautics and Astronautics, Stanford University, Stanford, CA, USA","institution_ids":["https://openalex.org/I13805885","https://openalex.org/I97018004"]},{"raw_affiliation_string":"Department of Aeronautics and Astronautics Stanford University Stanford CA USA","institution_ids":["https://openalex.org/I13805885","https://openalex.org/I97018004"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5111535263","display_name":"Christopher H. Onder","orcid":null},"institutions":[{"id":"https://openalex.org/I35440088","display_name":"ETH Zurich","ror":"https://ror.org/05a28rw58","country_code":"CH","type":"education","lineage":["https://openalex.org/I2799323385","https://openalex.org/I35440088"]}],"countries":["CH"],"is_corresponding":false,"raw_author_name":"Christopher Onder","raw_affiliation_strings":["Institute for Dynamic Systems and Control (IDSC), ETH Z\u00fcrich, Z\u00fcrich, Switzerland","Institute for Dynamic Systems and Control (IDSC), ETH Zurich, Zurich, Switzerland"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Institute for Dynamic Systems and Control (IDSC), ETH Z\u00fcrich, Z\u00fcrich, Switzerland","institution_ids":["https://openalex.org/I35440088"]},{"raw_affiliation_string":"Institute for Dynamic Systems and Control (IDSC), ETH Zurich, Zurich, Switzerland","institution_ids":["https://openalex.org/I35440088"]}]}],"institutions":[],"countries_distinct_count":2,"institutions_distinct_count":3,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":0.0,"has_fulltext":true,"cited_by_count":0,"citation_normalized_percentile":{"value":0.09046028,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":null,"biblio":{"volume":"6","issue":"4","first_page":"8623","last_page":"8630"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10142","display_name":"Formal Methods in Verification","score":0.9987999796867371,"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.9987999796867371,"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/T10917","display_name":"Smart Grid Security and Resilience","score":0.995199978351593,"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/T11125","display_name":"Petri Nets in System Modeling","score":0.9943000078201294,"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"}}],"keywords":[{"id":"https://openalex.org/keywords/cyber-physical-system","display_name":"Cyber-physical system","score":0.6915373802185059},{"id":"https://openalex.org/keywords/lipschitz-continuity","display_name":"Lipschitz continuity","score":0.6403096914291382},{"id":"https://openalex.org/keywords/affine-transformation","display_name":"Affine transformation","score":0.5957672595977783},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.5952494740486145},{"id":"https://openalex.org/keywords/model-predictive-control","display_name":"Model predictive control","score":0.5950615406036377},{"id":"https://openalex.org/keywords/controller","display_name":"Controller (irrigation)","score":0.5274021029472351},{"id":"https://openalex.org/keywords/exploit","display_name":"Exploit","score":0.4828215539455414},{"id":"https://openalex.org/keywords/control-theory","display_name":"Control theory (sociology)","score":0.47630417346954346},{"id":"https://openalex.org/keywords/set","display_name":"Set (abstract data type)","score":0.46405187249183655},{"id":"https://openalex.org/keywords/function","display_name":"Function (biology)","score":0.45715850591659546},{"id":"https://openalex.org/keywords/enforcement","display_name":"Enforcement","score":0.4191913902759552},{"id":"https://openalex.org/keywords/control","display_name":"Control (management)","score":0.40834635496139526},{"id":"https://openalex.org/keywords/mathematical-optimization","display_name":"Mathematical optimization","score":0.37876805663108826},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.1974591314792633},{"id":"https://openalex.org/keywords/computer-security","display_name":"Computer security","score":0.11876815557479858},{"id":"https://openalex.org/keywords/artificial-intelligence","display_name":"Artificial intelligence","score":0.09006562829017639}],"concepts":[{"id":"https://openalex.org/C179768478","wikidata":"https://www.wikidata.org/wiki/Q1120057","display_name":"Cyber-physical system","level":2,"score":0.6915373802185059},{"id":"https://openalex.org/C22324862","wikidata":"https://www.wikidata.org/wiki/Q652707","display_name":"Lipschitz continuity","level":2,"score":0.6403096914291382},{"id":"https://openalex.org/C92757383","wikidata":"https://www.wikidata.org/wiki/Q382497","display_name":"Affine transformation","level":2,"score":0.5957672595977783},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.5952494740486145},{"id":"https://openalex.org/C172205157","wikidata":"https://www.wikidata.org/wiki/Q1782962","display_name":"Model predictive control","level":3,"score":0.5950615406036377},{"id":"https://openalex.org/C203479927","wikidata":"https://www.wikidata.org/wiki/Q5165939","display_name":"Controller (irrigation)","level":2,"score":0.5274021029472351},{"id":"https://openalex.org/C165696696","wikidata":"https://www.wikidata.org/wiki/Q11287","display_name":"Exploit","level":2,"score":0.4828215539455414},{"id":"https://openalex.org/C47446073","wikidata":"https://www.wikidata.org/wiki/Q5165890","display_name":"Control theory (sociology)","level":3,"score":0.47630417346954346},{"id":"https://openalex.org/C177264268","wikidata":"https://www.wikidata.org/wiki/Q1514741","display_name":"Set (abstract data type)","level":2,"score":0.46405187249183655},{"id":"https://openalex.org/C14036430","wikidata":"https://www.wikidata.org/wiki/Q3736076","display_name":"Function (biology)","level":2,"score":0.45715850591659546},{"id":"https://openalex.org/C2779777834","wikidata":"https://www.wikidata.org/wiki/Q4202277","display_name":"Enforcement","level":2,"score":0.4191913902759552},{"id":"https://openalex.org/C2775924081","wikidata":"https://www.wikidata.org/wiki/Q55608371","display_name":"Control (management)","level":2,"score":0.40834635496139526},{"id":"https://openalex.org/C126255220","wikidata":"https://www.wikidata.org/wiki/Q141495","display_name":"Mathematical optimization","level":1,"score":0.37876805663108826},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.1974591314792633},{"id":"https://openalex.org/C38652104","wikidata":"https://www.wikidata.org/wiki/Q3510521","display_name":"Computer security","level":1,"score":0.11876815557479858},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.09006562829017639},{"id":"https://openalex.org/C134306372","wikidata":"https://www.wikidata.org/wiki/Q7754","display_name":"Mathematical analysis","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},{"id":"https://openalex.org/C78458016","wikidata":"https://www.wikidata.org/wiki/Q840400","display_name":"Evolutionary biology","level":1,"score":0.0},{"id":"https://openalex.org/C17744445","wikidata":"https://www.wikidata.org/wiki/Q36442","display_name":"Political science","level":0,"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/C6557445","wikidata":"https://www.wikidata.org/wiki/Q173113","display_name":"Agronomy","level":1,"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/C199539241","wikidata":"https://www.wikidata.org/wiki/Q7748","display_name":"Law","level":1,"score":0.0},{"id":"https://openalex.org/C202444582","wikidata":"https://www.wikidata.org/wiki/Q837863","display_name":"Pure mathematics","level":1,"score":0.0}],"mesh":[],"locations_count":6,"locations":[{"id":"doi:10.1109/lra.2021.3111010","is_oa":true,"landing_page_url":"https://doi.org/10.1109/lra.2021.3111010","pdf_url":"https://ieeexplore.ieee.org/ielx7/7083369/9475905/09536448.pdf","source":{"id":"https://openalex.org/S4210169774","display_name":"IEEE Robotics and Automation Letters","issn_l":"2377-3766","issn":["2377-3766"],"is_oa":false,"is_in_doaj":false,"is_core":true,"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":"journal"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"IEEE Robotics and Automation Letters","raw_type":"journal-article"},{"id":"pmh:oai:research-collection.ethz.ch:20.500.11850/519267","is_oa":true,"landing_page_url":"http://hdl.handle.net/20.500.11850/519267","pdf_url":null,"source":{"id":"https://openalex.org/S4306402302","display_name":"Repository for Publications and Research Data (ETH Zurich)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I35440088","host_organization_name":"ETH Zurich","host_organization_lineage":["https://openalex.org/I35440088"],"host_organization_lineage_names":[],"type":"repository"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"IEEE Robotics and Automation Letters, 6 (4)","raw_type":"info:eu-repo/semantics/article"},{"id":"pmh:oai:arXiv.org:2104.14250","is_oa":true,"landing_page_url":"http://arxiv.org/abs/2104.14250","pdf_url":"https://arxiv.org/pdf/2104.14250","source":{"id":"https://openalex.org/S4306400194","display_name":"arXiv (Cornell University)","issn_l":null,"issn":null,"is_oa":true,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I205783295","host_organization_name":"Cornell University","host_organization_lineage":["https://openalex.org/I205783295"],"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":"text"},{"id":"mag:3159797226","is_oa":true,"landing_page_url":"https://arxiv.org/pdf/2104.14250","pdf_url":null,"source":{"id":"https://openalex.org/S4306400194","display_name":"arXiv (Cornell University)","issn_l":null,"issn":null,"is_oa":true,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I205783295","host_organization_name":"Cornell University","host_organization_lineage":["https://openalex.org/I205783295"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"arXiv (Cornell University)","raw_type":null},{"id":"doi:10.48550/arxiv.2104.14250","is_oa":true,"landing_page_url":"https://doi.org/10.48550/arxiv.2104.14250","pdf_url":null,"source":{"id":"https://openalex.org/S4306400194","display_name":"arXiv (Cornell University)","issn_l":null,"issn":null,"is_oa":true,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I205783295","host_organization_name":"Cornell University","host_organization_lineage":["https://openalex.org/I205783295"],"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":"Preprint"},{"id":"doi:10.3929/ethz-b-000519267","is_oa":true,"landing_page_url":"https://doi.org/10.3929/ethz-b-000519267","pdf_url":null,"source":{"id":"https://openalex.org/S7407051236","display_name":"ETH Z\u00fcrich Research Collection","issn_l":null,"issn":[],"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":null,"host_organization_name":null,"host_organization_lineage":[],"host_organization_lineage_names":[],"type":"repository"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":null,"is_accepted":false,"is_published":null,"raw_source_name":null,"raw_type":"article-journal"}],"best_oa_location":{"id":"doi:10.1109/lra.2021.3111010","is_oa":true,"landing_page_url":"https://doi.org/10.1109/lra.2021.3111010","pdf_url":"https://ieeexplore.ieee.org/ielx7/7083369/9475905/09536448.pdf","source":{"id":"https://openalex.org/S4210169774","display_name":"IEEE Robotics and Automation Letters","issn_l":"2377-3766","issn":["2377-3766"],"is_oa":false,"is_in_doaj":false,"is_core":true,"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":"journal"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"IEEE Robotics and Automation Letters","raw_type":"journal-article"},"sustainable_development_goals":[{"score":0.5299999713897705,"display_name":"Peace, Justice and strong institutions","id":"https://metadata.un.org/sdg/16"}],"awards":[],"funders":[],"has_content":{"grobid_xml":true,"pdf":true},"content_urls":{"pdf":"https://content.openalex.org/works/W3159797226.pdf","grobid_xml":"https://content.openalex.org/works/W3159797226.grobid-xml"},"referenced_works_count":33,"referenced_works":["https://openalex.org/W394375848","https://openalex.org/W1517592736","https://openalex.org/W1602410440","https://openalex.org/W1972149633","https://openalex.org/W2049670620","https://openalex.org/W2107804093","https://openalex.org/W2116364955","https://openalex.org/W2116554046","https://openalex.org/W2154867660","https://openalex.org/W2408784750","https://openalex.org/W2418368699","https://openalex.org/W2468433498","https://openalex.org/W2500214046","https://openalex.org/W2560504659","https://openalex.org/W2562974361","https://openalex.org/W2569839618","https://openalex.org/W2735010720","https://openalex.org/W2753412571","https://openalex.org/W2798791976","https://openalex.org/W2899683930","https://openalex.org/W2921791757","https://openalex.org/W2921921768","https://openalex.org/W2925329277","https://openalex.org/W2968311701","https://openalex.org/W2968945909","https://openalex.org/W2972970124","https://openalex.org/W2981565778","https://openalex.org/W3012097656","https://openalex.org/W3098925401","https://openalex.org/W3120023780","https://openalex.org/W3142005321","https://openalex.org/W4292249799","https://openalex.org/W6777855051"],"related_works":["https://openalex.org/W3199198809","https://openalex.org/W3040410187","https://openalex.org/W2568049408","https://openalex.org/W3171845842","https://openalex.org/W3047315109","https://openalex.org/W3033364212","https://openalex.org/W2612731786","https://openalex.org/W3018475441","https://openalex.org/W3011343086","https://openalex.org/W2937428187","https://openalex.org/W3183690369","https://openalex.org/W3202191626","https://openalex.org/W2587359042","https://openalex.org/W3038336465","https://openalex.org/W2933598196","https://openalex.org/W3184462326","https://openalex.org/W2471151177","https://openalex.org/W2047629743","https://openalex.org/W3171142346","https://openalex.org/W2782764463"],"abstract_inverted_index":{"Tractable":[0],"safety-ensuring":[1],"algorithms":[2,33],"for":[3],"cyber-physical":[4,41],"systems":[5],"are":[6,45],"important":[7],"in":[8,24,97],"critical":[9],"applications.":[10],"Approaches":[11],"based":[12,46],"on":[13,47,131],"Control":[14,48,93],"Barrier":[15,49,94],"Functions":[16,50],"assume":[17],"continuous":[18],"enforcement,":[19],"which":[20,72],"is":[21,73,85],"not":[22],"possible":[23],"an":[25,91,100,111],"online":[26],"fashion.":[27],"This":[28],"letter":[29],"presents":[30],"two":[31],"tractable":[32],"to":[34,51,76,103,119],"ensure":[35],"forward":[36],"invariance":[37],"of":[38,79,106],"discrete-time":[39],"controlled":[40],"systems.":[42],"Both":[43],"approaches":[44],"provide":[52],"strict":[53,121],"mathematical":[54],"safety":[55,66,105,122],"guarantees.":[56],"The":[57,82],"first":[58],"algorithm":[59,84,118],"exploits":[60],"Lipschitz":[61],"continuity":[62],"and":[63,89,126],"formulates":[64],"the":[65,107,116],"condition":[67],"as":[68],"a":[69,77,132],"robust":[70],"program":[71],"subsequently":[74],"relaxed":[75],"set":[78],"affine":[80,92],"conditions.":[81],"second":[83,117],"inspired":[86],"by":[87],"tube-NMPC":[88],"uses":[90],"Function":[95],"formulation":[96],"conjunction":[98],"with":[99,115],"auxiliary":[101],"controller":[102,114],"guarantee":[104,120],"system.":[108],"We":[109],"combine":[110],"approximate":[112],"NMPC":[113],"despite":[123],"approximated":[124],"constraints":[125],"show":[127],"its":[128],"effectiveness":[129],"experimentally":[130],"mini-Segway.":[133]},"counts_by_year":[],"updated_date":"2026-07-03T08:13:44.112507","created_date":"2025-10-10T00:00:00"}