in this paper, the driver with antiwindup and fuzzy high-performance and robust pi controller has been suggested for permanent magnet synchronous motor (pmsm). this controller is suggested for the design of the robust driver for three phase pmsm and the cost reduction of its control system. it’s useful for the industrial application and automation and ultimately speed control and the improvemen...

2 Introduction intuition in the simple ten-node networks described here, we are interested in real-time computation of algorithms whose complexity must grow exponentially with the degrees of freedom [16]. Thus, we conclude that a much more systematic attack upon distributed real-time control design will be needed. This paper is organized as follows. In the next section we offer a sketch of the ...

Current applications, such as Web-based services, electronic commerce, mobile telecommunication systems, etc. are distributed in nature and manipulate time-critical databases. In order to enhance the performance and the availability of such applications, the major issue is to develop efficient protocols that cooperate with the scheduler to manage the overload of the distributed system. In order...

This paper extends the TTM/RTTL deductive and modelchecking framework for real-time reactive systems with a structured design method using the notions of real-time reactive modules, module abstraction and module composition. Equivalence transformations are used to obtain abstract systems, and a composition theorem is provided for deducing global properties from module specifications. The StateT...

52 Abstract— Most of the algorithms that exist today for concurrency control over distributed shared memory, either fail to provide a scalable model or involve a large communication overhead for establishing consensus over the state of the shared variables. After a thorough study of some of the efficient algorithms this field, this paper introduces a functional view of a holistic approach, whic...

StateTime is a prototype toolset that supports the design of verified real-time discrete event systems using executable visual state descriptions (the Build tool). Visual state descriptions allow the designer to browse and understand the structure of the system. A timing hierarchy of spontaneous, just and forced timed events, and a variety of computational notions such as concurrency, hierarchy...

Recent research has placed emphasis on the need for support for concurrency in the context of programming for the World-Wide Web (W3). Frameworks like WebL, LogicWeb, and Jinny make concurrency a key component of their W3 support. In this work we analyze the concurrent capabilities of CLP(WEB), a W3-oriented logic-based concurrent framework. CLP(WEB) offers two forms of concurrency, or-concurre...

The upcoming many-core architectures require software developers to exploit concurrency to utilize available computational power. Today’s high-level language virtual machines (VMs), which are a cornerstone of software development, do not provide sufficient abstraction for concurrency concepts. We analyze concrete and abstract concurrency models and identify the challenges they impose for VMs. T...

Real-time database system must meet time constraints in addition to the integrity constraints. Concurrency control is one of the main issues in the studies of real-time database systems. Traditional concurrency control methods use serializability as the correctness criterion when transactions are executed concurrently. However, strict serializability as the correctness criterion is not always s...