We present an approach to program repair and its application to programs with recursive functions over unbounded data types. Our approach formulates program repair in the framework of deductive synthesis that uses existing program structure as a hint to gu ...
This contribution introduces a novel model, Laboratory as a Service (LaaS), for developing remote laboratories as independent component modules and implementing them as a set of loosely-coupled services to be consumed with a high level of abstraction and v ...
The 'European Transport Simulator' (ETS) (Coster et al 2010 IEEE Trans. Plasma Sci. 38 2085-92, Kalupin et al 2011 Proc. 38th EPS Conf. on Plasma Physics (Strasbourg, France, 2011) vol 35G (ECA) P. 4.111) is the new modular package for 1D discharge evoluti ...
We present a general approach to design modular controllers for limit cycle locomotion over unperceived rough terrain. The control strategy uses a Central Pattern Generator (CPG) model implemented as coupled nonlinear oscillators as basis. Stumbling correc ...
