Sherloc is a secure and holistic control-flow violation detection mechanism for microcontroller-based embedded systems. This repository contains the source code, examples, and evaluation tools to run ...

Abstract: The quadrotor vehicle control system possesses characteristics such as nonlinearity and strong coupling. This paper presents a design for a quadcopter unmanned aerial vehicle (UAV) flight ...

Abstract: Due to considerations of safety, reliability and performance, the regulation of the flow adjustable gas generators must cope with the conflict between negative regulation and response speed.