Abstract: A theorem on nested Matrosov functions is extended to time-varying hybrid systems. It provides sufficient conditions for uniform global asymptotic stability of a compact set. An application ...

Abstract: In this paper, a new approach for stabilization of the PVTOL is presented, considering the Nested Saturation Controller (NSC) algorithm that has been designed based on the Lyapunov theory ...

Contains a clang-tool to emulate nested-functions in 'C' using label statements. See readme for instructions on building the project.

The USGS is interested in building a new set of tools that will allow them to visualize their earthquake data. They collect a massive amount of data from all over the world each day, but they lack a ...