Subhabrata Ganguli

Learn More
We present a versatile statistical verification methodology and we illustrate different uses of this methodology on two examples of nonlinear real-time UAV controllers. The first example applies our statistical methodology to the verification of a computation time property for a software implementation of a high-performance controller as a function of(More)
We present an approach to verifying the performance of an intelligent control algorithm for which traditional, deterministic verification is not feasible. Our approach is based on statistical learning theory. We develop a classifier based on simulation data to partition the potential operating region of a system under control (here an autonomous helicopter)(More)
This paper presents a fault detection and isolation (FDI) filter design to linearized longitudinal dynamics of a Boeing 747 series 100/200. The FDI filter design based on fundamental problem of residual generation (FPRG). In our case the fault detection filter is sensitive to elevator and stabilizer fault. The three type of actuator failures considered in(More)
  • 1