Data intensive applications (i.e., multimedia) are clearly dominated by data transfer and storage issues. However, after removing the data transfer and address related bottlenecks, the control-flow mapping issues remain as important implementation overhead in a custom hardware realisation. The source of this overhead can be due to the presence of complex conditional code execution, loops or the...

Intermediate languages are a paradigm to separate concerns in software verification systems when bridging the gap between (realworld) programming languages and the logics understood by theorem provers. While such intermediate languages traditionally only offer rather simple type systems, this paper argues that it is both advantageous and feasible to integrate richer type systems with features l...

Classical sliding mode design approaches assume the transfer function matrix between the driving signal and the measured output of interest must be minimum phase and relative degree one. For the control case, the driving signal will be the control input and for the observer problem the driving signal is likely to be an unknown input which the observer seeks to reconstruct. This chapter demonstr...

There are number of failures are recorded in UAV projects because of its non-linearity nature. In Quad-rotor type Unmanned Aerial Vehicles, position controlling is one of the most critical tasks and suitable Position stabilization controller is the essential part of these types of unmanned systems. In this paper a position stabilization (i.e. x and y axes) control with noise rejection system is...