Fast Reachable Set Approximations via State Decoupling Disturbances

With the recent surge of interest in using robotics and automation for civil purposes, providing safety and performance guarantees has become extremely important. In the past, differential games have been successfully used for the analysis of safety-critical systems. In particular, the Hamilton-Jacobi (HJ) formulation of differential games provides a flexible way to compute the reachable set, which can characterize the set of states which lead to either desirable or undesirable configurations, depending on the application. While HJ reachability is applicable to many small practical systems, the curse of dimensionality prevents the direct application of HJ reachability to many larger systems. To address computation complexity issues, various efficient computation methods in the literature have been developed for approximating or exactly computing the solution to HJ partial differential equations, but only when the system dynamics are of specific forms. In this paper, we propose a flexible method to trade off optimality with computation complexity in HJ reachability analysis. To achieve this, we propose to simplify system dynamics by treating state variables as disturbances. We prove that the resulting approximation is conservative in the desired direction, and demonstrate our method using a four-dimensional plane model.Comment: in Proceedings of the IEE Conference on Decision and Control, 201

Research on robust salient object extraction in image

制度:新 ; 文部省報告番号:甲2641号 ; 学位の種類:博士(工学) ; 授与年月日:2008/3/15 ; 早大学位記番号:新480

Reactive control of autonomous drones

Aerial drones, ground robots, and aquatic rovers enable mobile applications that no other technology can realize with comparable flexibility and costs. In existing platforms, the low-level control enabling a drone's autonomous movement is currently realized in a time-triggered fashion, which simplifies implementations. In contrast, we conceive a notion of reactive control that supersedes the time-triggered approach by leveraging the characteristics of existing control logic and of the hardware it runs on. Using reactive control, control decisions are taken only upon recognizing the need to, based on observed changes in the navigation sensors. As a result, the rate of execution dynamically adapts to the circumstances. Compared to time-triggered control, this allows us to: i) attain more timely control decisions, ii) improve hardware utilization, iii) lessen the need to overprovision control rates. Based on 260+ hours of real-world experiments using three aerial drones, three different control logic, and three hardware platforms, we demonstrate, for example, up to 41% improvements in control accuracy and up to 22% improvements in flight time

Image-based 3D Scene Reconstruction and Rescue Simulation Framework for Railway Accidents

Although the railway transport is regarded as a relatively safe transportation tool, many railway accidents have still happened worldwide. In this research, an image-based 3D scene reconstruction framework was proposed to help railway accident emergency rescues. Based on the improved constrained non-linear least square optimization, the framework can automatically model the accident scene with only one panorama in a short time. We embedded the self-developed global terrain module into the commercial visualization and physics engine, which makes the commercial engine can be used to render the static scene at anywhere and simulate the dynamic rescue process respectively. In addition, a Head Mounted Device (HMD) was integrated into this framework to allow users to verify their rescue plan and review previous railway accidents in an immersive environment