Virtual machine technology has been successfully applied for the construction of fault-tolerant computing systems. For example, vmware Fault Tolerance and Xen Remus support transparent failover of VMs running on different physical machines in a local area network. However, high availability alone is in many application domains not sufficient. Especially in the context of Cyber-Physical Systems,...

This brief presents a novel nonlinear adaptive line-of-sight (ALOS) guidance law for path following, compensating drift forces due to wind, waves, and ocean currents. The ALOS is proven have uniform semiglobal exponential stability (USGES) properties during straight-line following at constant speed. performs similar the classical integral (ILOS) ILOS laws when sideslip angle nearly constant. la...

Non-parametric system identification with Gaussian Processes for underwater vehicles is explored in this research the purpose of modelling autonomous vehicle (AUV) dynamics low amount data. Multi-output processes and its aptitude to model dynamic an underactuated AUV without losing relationships between tied outputs used. The simulation a first-principles Remus 100 employed capture data trainin...

Our aim is to study topological minimality of some natural matrix groups. We show that the special upper triangular group ST+(n,F) minimal for every local field F characteristic ?2. This result new even R reals and it leads important consequences. prove criteria total linear SL(n,F), where a subfield field. extends known results Remus–Stoyanov (1991) Bader–Gelander (2017). One our main applicat...