Abstract: This paper presents methodologies for ensuring forward invariance of sublevel sets of constraint functions with high-relative-degree with respect to the system dynamics and in the presence ...

Abstract: Ever increasing demand and use of Lithium-ion batteries has made it necessary to put extensive efforts in their safety. While a lot of research is focused on safer battery materials and ...

Provides refactoring and print-debugging operators (see :h operator) powered by LSP and tree-sitter. Supports dot-repeat and any textobject/motion. Allows fine-grained customization while providing ...