VERIFICATION OF N-M SWITCHING CONTROL SYSTEM: A CASE STUDY IN TEMPORAL LOGIC MODEL CHECKING

Abstract Production factories in which stable voltage is critical, e.g., electro-plating factory, require constantly stable voltage to minimize loss by adjusting incoming voltage in real time even if low-quality electricity is supplied from outside. To solve such problem often being raised from the factories located in the area with unstable electricity supply, we designed N-M switching control system and verified its correctness using LTL model checking. Mathematics Subject Classification 2010 : 03B44, 68Q6

Design and validation of exoskeleton actuated by soft modules towards neurorehabilitation - vision-based control for precise reaching motion of upper limb

We demonstrated the design, production, and functional properties of the Exoskeleton Actuated by the Soft Modules (EAsoftM). Integrating the 3D printed exoskeleton with passive joints to compensate gravity and with active joints to rotate the shoulder and elbow joints resulted in ultra-light system that could assist planar reaching motion by using the vision-based control law. The EAsoftM can support the reaching motion with compliance realised by the soft materials and pneumatic actuation. In addition, the vision-based control law has been proposed for the precise control over the target reaching motion within the millimeter scale. % Aiming at rehabilitation exercise for individuals, typically soft actuators have been developed for relatively small motions, such as grasping motion, and one of the challenges has been to extend their use for a wider range reaching motion. The proposed EAsoftM presented one possible solution for this challenge by transmitting the torque effectively along the anatomically aligned with a human body exoskeleton. % The proposed integrated systems will be an ideal solution for neurorehabilitation where affordable wearable and portable systems are required to be customised for individuals with specific motor impairments

Global existence of smooth solutions for the compressible viscous fluid flow with radiation in R3\mathbb {R}^3

summary:This paper is concerned with the 3-D Cauchy problem for the compressible viscous fluid flow taking into account the radiation effect. For more general gases including ideal polytropic gas, we prove that there exists a unique smooth solutions in $[0,\infty )$, provided that the initial perturbations are small. Moreover, the time decay rates of the global solutions are obtained for higher-order spatial derivatives of density, velocity, temperature, and the radiative heat flux