In this article, we propose a compositional framework for the synthesis of safety controllers networks partially observable discrete-time stochastic control systems (also known as continuous-space Markov decision processes (POMDPs)). Given an estimator, utilize discretization-free approach to synthesize ensuring specifications over finite-time horizons. The proposed is based on notion so-called...

These design principles come from the experience of hundreds of engineers and managers. The particular references cited in the following paragraphs are not meant to be the authority—they are merely examples that have references in the literature. Use models to design systems: System design can be requirements based, function based, or model based. Modelbased system engineering and design has an...

this paper focuses upon the development of an efficient method for conceptual design optimization of a satellite. there are many option for a satellite subsystems that could be choice, as acceptable solution to implement of a space system mission. every option should be assessment based on the different criteria such as cost, mass, reliability and technology contraint (complexity). in this rese...

Reliability of a power system is considerably influenced by its equipments. Power transformers are one of the most critical and expensive equipments of a power system and their proper functions are vital for the substations and utilities. Therefore, reliability model of power transformer is very important in the risk assessment of the engineering systems. This model shows the characteristics an...

A method is presented to systematically transform a general inequality-constrained optimal control problem (OCP) into a new equality-constrained OCP by means of saturation functions. The transformed OCP can be treatedmore conveniently within the standard calculus of variations compared to the original constrained OCP. In detail, state constraints are substituted by saturation functions and succ...

A new approach to generate chaotic phenomenon, called chaos entanglement, is proposed in this paper. The basic principle is to entangle two or multiple stable linear subsystems by entanglement functions to form an artificial chaotic system such that each of them evolves in a chaotic manner. Firstly, a new attractor, entangling a two-dimensional linear subsystem and a one-dimensional one by sine...

In the paper by Dashkovskiy, Ito, and Wirth the construction of Lyapunov functions for nonlinear composite systems is pursued. These systems consist of usually more than two interconnected subsystems for which input-to-state stability (ISS) Lyapunov functions are assumed to be known. Yet, so far, the stability of the overall system, or equivalently, the existence of a Lyapunov function for the ...