@inproceedings{gurriet_towards_2018,
	title = {Towards a {Framework} for {Realizable} {Safety} {Critical} {Control} through {Active} {Set} {Invariance}},
	copyright = {6.5/10},
	doi = {10.1109/ICCPS.2018.00018},
	abstract = {This paper presents initial results towards a realizable framework for the safety critical controlled invariance of cyber-physical systems. The main contribution of this paper is the development of a control barrier function based methodology which can be used to enforce set invariance on systems in the presence of non-linear disturbances and uncertainty. The first part of this work is a review of the current methods available for finding viable sets and how they are linked to practical choices regarding safety. Their limitations and directions towards improvements when it comes to handling model uncertainty are also highlighted. The second part of this work is the formulation of a condition which can guarantee set invariance in the presence of generic uncertain in the dynamics. An associated optimization problem to enforce that condition is proposed and a method to convexify the problem and make it solvable in real-time is formally presented. The effectiveness of the proposed framework is illustrated experimentally on a two-wheeled inverted pendulum.},
	booktitle = {2018 {ACM}/{IEEE} 9th {International} {Conference} on {Cyber}-{Physical} {Systems} ({ICCPS})},
	author = {Gurriet, Thomas and Singletary, Andrew and Reher, Jacob and Ciarletta, Laurent and Feron, Eric and Ames, Aaron},
	month = apr,
	year = {2018},
	keywords = {Barrier functions, Control systems, Cyber-physical systems, Kernel, Lyapunov methods, Non linear control, Optimization, Real time optimization, Safety, Set invariance, Uncertainty, active set invariance, control barrier function based methodology, control system synthesis, cyber-physical systems, model uncertainty, nonlinear control systems, nonlinear disturbances, optimisation, optimization problem, pendulums, realizable framework, realizable safety critical control, safety, safety critical controlled invariance, two-wheeled inverted pendulum, uncertain systems, wheels},
	pages = {98--106},
}

{"_id":"2xafPjk9k7CCoNuPG","bibbaseid":"gurriet-singletary-reher-ciarletta-feron-ames-towardsaframeworkforrealizablesafetycriticalcontrolthroughactivesetinvariance-2018","downloads":3,"creationDate":"2018-05-17T18:50:27.865Z","title":"Towards a Framework for Realizable Safety Critical Control through Active Set Invariance","author_short":["Gurriet, T.","Singletary, A.","Reher, J.","Ciarletta, L.","Feron, E.","Ames, A."],"year":2018,"bibtype":"inproceedings","biburl":"https://api.zotero.org/users/5612529/collections/2PBJPVSD/items?key=aiprMlXOSKe71AbbxNPHHfe7&format=bibtex&limit=100","bibdata":{"bibtype":"inproceedings","type":"inproceedings","title":"Towards a Framework for Realizable Safety Critical Control through Active Set Invariance","copyright":"6.5/10","doi":"10.1109/ICCPS.2018.00018","abstract":"This paper presents initial results towards a realizable framework for the safety critical controlled invariance of cyber-physical systems. The main contribution of this paper is the development of a control barrier function based methodology which can be used to enforce set invariance on systems in the presence of non-linear disturbances and uncertainty. The first part of this work is a review of the current methods available for finding viable sets and how they are linked to practical choices regarding safety. Their limitations and directions towards improvements when it comes to handling model uncertainty are also highlighted. The second part of this work is the formulation of a condition which can guarantee set invariance in the presence of generic uncertain in the dynamics. An associated optimization problem to enforce that condition is proposed and a method to convexify the problem and make it solvable in real-time is formally presented. The effectiveness of the proposed framework is illustrated experimentally on a two-wheeled inverted pendulum.","booktitle":"2018 ACM/IEEE 9th International Conference on Cyber-Physical Systems (ICCPS)","author":[{"propositions":[],"lastnames":["Gurriet"],"firstnames":["Thomas"],"suffixes":[]},{"propositions":[],"lastnames":["Singletary"],"firstnames":["Andrew"],"suffixes":[]},{"propositions":[],"lastnames":["Reher"],"firstnames":["Jacob"],"suffixes":[]},{"propositions":[],"lastnames":["Ciarletta"],"firstnames":["Laurent"],"suffixes":[]},{"propositions":[],"lastnames":["Feron"],"firstnames":["Eric"],"suffixes":[]},{"propositions":[],"lastnames":["Ames"],"firstnames":["Aaron"],"suffixes":[]}],"month":"April","year":"2018","keywords":"Barrier functions, Control systems, Cyber-physical systems, Kernel, Lyapunov methods, Non linear control, Optimization, Real time optimization, Safety, Set invariance, Uncertainty, active set invariance, control barrier function based methodology, control system synthesis, cyber-physical systems, model uncertainty, nonlinear control systems, nonlinear disturbances, optimisation, optimization problem, pendulums, realizable framework, realizable safety critical control, safety, safety critical controlled invariance, two-wheeled inverted pendulum, uncertain systems, wheels","pages":"98–106","bibtex":"@inproceedings{gurriet_towards_2018,\n\ttitle = {Towards a {Framework} for {Realizable} {Safety} {Critical} {Control} through {Active} {Set} {Invariance}},\n\tcopyright = {6.5/10},\n\tdoi = {10.1109/ICCPS.2018.00018},\n\tabstract = {This paper presents initial results towards a realizable framework for the safety critical controlled invariance of cyber-physical systems. The main contribution of this paper is the development of a control barrier function based methodology which can be used to enforce set invariance on systems in the presence of non-linear disturbances and uncertainty. The first part of this work is a review of the current methods available for finding viable sets and how they are linked to practical choices regarding safety. Their limitations and directions towards improvements when it comes to handling model uncertainty are also highlighted. The second part of this work is the formulation of a condition which can guarantee set invariance in the presence of generic uncertain in the dynamics. An associated optimization problem to enforce that condition is proposed and a method to convexify the problem and make it solvable in real-time is formally presented. The effectiveness of the proposed framework is illustrated experimentally on a two-wheeled inverted pendulum.},\n\tbooktitle = {2018 {ACM}/{IEEE} 9th {International} {Conference} on {Cyber}-{Physical} {Systems} ({ICCPS})},\n\tauthor = {Gurriet, Thomas and Singletary, Andrew and Reher, Jacob and Ciarletta, Laurent and Feron, Eric and Ames, Aaron},\n\tmonth = apr,\n\tyear = {2018},\n\tkeywords = {Barrier functions, Control systems, Cyber-physical systems, Kernel, Lyapunov methods, Non linear control, Optimization, Real time optimization, Safety, Set invariance, Uncertainty, active set invariance, control barrier function based methodology, control system synthesis, cyber-physical systems, model uncertainty, nonlinear control systems, nonlinear disturbances, optimisation, optimization problem, pendulums, realizable framework, realizable safety critical control, safety, safety critical controlled invariance, two-wheeled inverted pendulum, uncertain systems, wheels},\n\tpages = {98--106},\n}\n\n","author_short":["Gurriet, T.","Singletary, A.","Reher, J.","Ciarletta, L.","Feron, E.","Ames, A."],"key":"gurriet_towards_2018","id":"gurriet_towards_2018","bibbaseid":"gurriet-singletary-reher-ciarletta-feron-ames-towardsaframeworkforrealizablesafetycriticalcontrolthroughactivesetinvariance-2018","role":"author","urls":{},"keyword":["Barrier functions","Control systems","Cyber-physical systems","Kernel","Lyapunov methods","Non linear control","Optimization","Real time optimization","Safety","Set invariance","Uncertainty","active set invariance","control barrier function based methodology","control system synthesis","cyber-physical systems","model uncertainty","nonlinear control systems","nonlinear disturbances","optimisation","optimization problem","pendulums","realizable framework","realizable safety critical control","safety","safety critical controlled invariance","two-wheeled inverted pendulum","uncertain systems","wheels"],"metadata":{"authorlinks":{"ames, a":"http://www.bipedalrobotics.com/publications.html"}},"downloads":3},"search_terms":["towards","framework","realizable","safety","critical","control","through","active","set","invariance","gurriet","singletary","reher","ciarletta","feron","ames"],"keywords":["barrier functions","control systems","cyber-physical systems","kernel","lyapunov methods","non linear control","optimization","real time optimization","safety","set invariance","uncertainty","active set invariance","control barrier function based methodology","control system synthesis","cyber-physical systems","model uncertainty","nonlinear control systems","nonlinear disturbances","optimisation","optimization problem","pendulums","realizable framework","realizable safety critical control","safety","safety critical controlled invariance","two-wheeled inverted pendulum","uncertain systems","wheels"],"authorIDs":["gC2M76ZuLyN4DfgC5"],"dataSources":["c5Y5KxspQmgaqHb44","aq9fWEZ9SsExWRBJ4","wfTjQp7BbyyzhMumG","JyoDgr7qvkjGYcFft","aeHt7AWKsAw9iiQqD","qAk5kJqscSPPSguqo"]}