In this paper, we are interested in the control of Concurrent Discrete Event Systems defined by a collection of components that interact with each other. We investigate the computation of the supremal controllable language contained in the one of the specification. It is shown that by ensuring on the specification a new language property, called partial controllability condition with respect to...

background: with increasing age, some changes appeared in specifications of vessels which including dimensions and elasticity in their. the changes in parameters such as resistance, inertance and compliance vessels appear and eventually changes in the environmental pulse releases are in circulation. these changes clearly appear in specification of photoplethysmogram particularly in the size and...

This paper presents a new method for the autonomous construction of hierarchical action and state representations in reinforcement learning, aimed at accelerating learning and extending the scope of such systems. In this approach, the agent uses information acquired while learning one task to discover subgoals for similar tasks by analyzing the learned policy using Monte Carlo sampling. The age...

Bi2Mn2O7 nano-powders were synthesized via a stoichiometric 1:1 Bi:Mn molar ratio hydrothermal method at 180 °C for 48 h in a 1M NaOH aqueous solution; and solid state method, using Bi(NO3)3.5H2O and MnO2 as raw materials. The synthesized materials were characterized by powder X-ray diffraction (PXRD) technique. Also, the rietveld analysis was done in FullProf in profile matching mode. It was f...

In this paper, optimization of the backstepping controller parameters in a grid-connected single-phase inverter is studied using Imperialist competitive algorithm (ICA), Genetic Algorithm (GA) and Particle swarm optimization (PSO) algorithm. The controller is developed for the system based on state-space averaged model. By selection of a suitable Lyapunov function, stability of the proposed con...

The Computational Singular Perturbation (CSP) method, developed by Lam and Goussis [Twenty-Second Symposium (International) on Combustion, The Combustion Institute, Pittsburgh, 1988, pp. 931–941], is a commonly-used method for finding approximations of slow manifolds in systems of ordinary differential equations (ODEs) with multiple time scales. The validity of the CSP method was established fo...