Abstract: This paper considers a problem of controlling an pipeline walking robot. The proposed control system design uses a nested quadratic programming-based controller (NQPC). This controller ...

Abstract: The verification of termination is a difficult problem. While most of the recent work on automated termination proofs focuses on the construction of linear ranking functions for unnested ...

Can you chip in? This year we’ve reached an extraordinary milestone: 1 trillion web pages preserved on the Wayback Machine. This makes us the largest public repository of internet history ever ...