Abstract
Motivated by the need to reason about hybrid systems, we study limits in categories of coalgebras whose underlying functor is a Vietoris polynomial one - intuitively, the topological analogue of a Kripke polynomial functor. Among other results, we prove that every Vietoris polynomial functor admits a final coalgebra if it respects certain conditions concerning separation axioms and compactness. When the functor is restricted to some of the categories induced by these conditions, the resulting categories of coalgebras are even complete. As a practical application, we use these developments in the specification and analysis of non-deterministic hybrid systems, in particular to obtain suitable notions of stability and behaviour.

Abstract
In face of the continuously growing process of the fourth industrial revolution, the industries are forced to innovate their industrial manufacturing process to remain competitive and active in the market, perfecting the manufacturing process through new interconnected and autonomous technologies. Since time reduction, quality enhancement and cost reduction for manufacturing of industrial products are the major catalysts of a successful company for the current Era called Maintenance 4.0, this paper proposes to illustrate an Information Systems Architecture where, using the Viable Systems Model, it is possible to perform automatic adjustments in the subsystems related to Cyber-Physical Systems and Manufacturing Execution Systems (MES) within the Digital Manufacturing model and, in addition, to mitigate machine failures through predictive analyzes of massive volumes of data using algorithms with intelligent functions and Data Mining (DM) in order to automatically stabilize the entire system chain quickly and efficiently. © 2019 IEEE.

Abstract
Accounting for the increasing uncertainties related to forecast of renewables is becoming an essential requirement while assessing the security of future power system scenarios. Project iTesla in the Seventh Framework Program (FP7) of the European Union (EU) tackles these needs and reaches several major objectives, including the development of a security platform architecture. In particular, the platform implements a stochastic dependence model to simulate a reasonable cloud of plausible 'future' states - due to renewable forecast - around the expected state, and evaluates the security on relevant states after sampling the cloud of uncertainty. The paper focuses on the proposed model for the uncertainty and its exploitation in power system security assessment process and it reports the relevant validation results. Copyright © 2019 Inderscience Enterprises Ltd.

Abstract
Nowadays, mobile manipulators are increasing its popularity on modern industries due to their ability to enhance process flexibility and performance. Mobile manipulators are a wide field of research and one of the main directions is trying to control the whole system as a single device. In this context, this paper addresses the problem of path planning of the end-effector of a mobile manipulator. The proposed approach is based on the integration of the kinematic chain of both the manipulator and the omni-directional base. At the end, a collision-free path planner for the mobile manipulator in complex and known environments with obstacles using A * is derived.

Abstract
The demand side, which was formerly considered as an inelastic part of the power system operation, has recently been evaluated as a source of flexibility to enhance the effectiveness and economy of power system operation. Several real world examples and literature studies exist to evaluate the contribution of demand side flexibility in power system operation in this manner. Accordingly, in this study, a smart thermostat controller for direct load control based demand response applications for controlling the thermostatically controllable loads by Thermostat Set-point Control Mechanism (TSCM) method is developed differently from the existing studies, where few of them have considered the real world applicability requirements of such concepts. The concept has been experimentally verified under different case studies. © 2019 IEEE.

Abstract
The multi-energy systems (MES) contain key resources driving the evolution of the future systems. Various components and convertors that are available in a MES make it operationally flexible and a potential source to be deployed in system operation. Like any other resources in the system, the flexibility brought by MES needs to be fairly valued. One of the approaches is through market participation of these resources. In this regard, new agents and trade system need to be defined. This paper studies the interactions of a multi-energy aggregator on various trade levels defined within the multi-energy paradigm. The levels include the upstream multi-energy markets as well as local energy trades such as local resources and flexible demand. The results discuss the increased level of profit due to the availability of multi-energy trade to the aggregator.