A designer often has to evaluate alternative designs during the development of a system. A multitude of Design-Space Exploration (DSE) techniques exist in the literature. Integration of these techniques into the modelling paradigm is needed when a model-driven engineering approach is used for designing systems. To a greater or lesser extent, the integration of those different DSE techniques sha...

The Satellite Position Hold Engage Reorient Experimental Satellites (SPHERES) program, developed by the MIT Space Systems Laboratory, began operations aboard the International Space Station (ISS) on May 2006. SPHERES was designed as a research facility to demonstrate metrology, control, and autonomy algorithms for distributed satellites systems. By operating in the risk-tolerant environment of ...

The singularity structure of cosmological models whose matter content consists of a scalar field with arbitrary non-negative potential is discussed. The special case of spatially flat FRW space-time is analysed in detail using a dynamical systems approach which may readily be generalised to more complicated space-times. It is shown that for a very large and natural class of models a simple and ...

Taking into account the recent works \cite{RoTaVe:2020} and \cite{Rys:2020}, we consider a phase-change problem for one dimensional material with non-local flux, expressed in terms of Caputo derivative, which derives space-fractional Stefan problem. We prove existence unique solution to fractional Neumann boundary condition at fixed face $x=0$, where domain, initial time, consists liquid solid....