Abstract: This paper explores a novel class of event-triggered mechanisms for nonlinear systems utilizing output-feedback control. Initially, an output-feedback state observer is designed to estimate ...
Abstract: Dynamic taint tracking is a powerful information flow analysis approach, which can be applied in many analysis scenarios, e.g., debugging, testing, and security vulnerability detection. Most ...