*Control Science Institute of the School of Information Science and Engineering, Northeastern University, Shenyang, 110004, P.R. China. (e-mail:[email protected]) **Faculty of Tourism and Hospitality in Ohrid, St Clement Ohridski University, 6000 Ohrid, Rep of Macedonia (e-mail:[email protected], [email protected]), ***Department of Computer Engineering Dogus University, Kadikoy, TR-3...

This paper considers the problem of terminal sliding mode control (TSMC) for uncertain MIMO systems in which the actuator faults may happen in any channel of actuators. By means of state transformation and exponent-logarithmic sliding surface method, a reliable TSMC is proposed such that both the finite-time stability of sliding mode dynamics and the reachability of sliding surface are ensured,...

. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . xiv CHAPTER

Providing fault tolerancy is crucial for a growing number of IP-based applications. There exist a lot of proprietary solutions for this problem, but free alternatives are rare. Currently, the IETF RSerPool working group is standardizing a protocol suite for Reliable Server Pooling, which copes with the challenge of providing high availability by using redundant servers. Servers for the same ser...

A (secure) reliable multicast protocol enables a process to multicast a message to a group of processes in a way that ensures that all honest destination-group members receive the same message, even if some group members and the multicast initiator are maliciously faulty. Reliable multicast has been shown to be useful for building multiparty cryptographic protocols and secure distributed servic...

We describe a transport protocol suitable for BSPlib programs running on a cluster of PCs connected by a 100Mbps Ethernet switch. The protocol provides a reliable packet-delivery mechanism that uses global knowledge of a program's communication pattern to maximise the performance of the switch. The performance is comparable to previous low-latency protocols on similar hardware, but the addition...

0272-1732/03/$17.00  2003 IEEE Published by the IEEE computer Society Explicit hardware support for multithreaded software, either in the form of shared-memory chip multiprocessors or hardware multithreaded architectures, is becoming increasingly common. As such support becomes available, application developers are expected to exploit these developments by employing multithreaded programming. ...

This article may be used for research, teaching and private study purposes. Any substantial or systematic reproduction, redistribution , reselling , loan or sub-licensing, systematic supply or distribution in any form to anyone is expressly forbidden. The publisher does not give any warranty express or implied or make any representation that the contents will be complete or accurate or up to da...

Since critical socio-technical systems include people interacting with equipments in workplaces, their intrinsic reliability problems have been concerned with both these two “actors”. Air Traffic Control (ATC) is going to be such a system in which controllers use a large number of distributed software tools to provide safety ATC services. The reliability of these services relies on the availabi...

W consider the role of security in the maintenance of an automated system, controlled by a network of sensors and simple computing devices. Such systems are widely used in transportation, utilities, healthcare, and manufacturing. Devices in the network are subject to traditional failures that can lead to a larger system failure if not repaired. However, the devices are also subject to security ...