✦ LIBER ✦

Design and Verification of Distributed Recovery Blocks with CSP

✍ Scribed by W.L. Yeung; S.A. Schneider

Book ID: 110430558
Publisher: Springer
Year: 2003
Tongue: English
Weight: 275 KB
Volume: 22
Category: Article
ISSN: 0925-9856
DOI: 10.1023/a:1022997110855

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

The basic contrasts of a block design wi

The basic contrasts of a block design with special reference to the recovery of inter-block information

✍ Tadeusz Caliński 📂 Article 📅 1995 🏛 Springer 🌐 English ⚖ 102 KB

The randomization model for experiments

The randomization model for experiments in block designs and the recovery of inter-block information

✍ Tadeusz Caliński; Sanpei Kageyama 📂 Article 📅 1996 🏛 Elsevier Science 🌐 English ⚖ 817 KB

Optimality of block designs with variabl

Optimality of block designs with variable block sizes and random block effects

✍ Joachim Kunert 📂 Article 📅 1994 🏛 Springer 🌐 English ⚖ 364 KB

Optimal and robust design of docking blo

Optimal and robust design of docking blocks with uncertainty

✍ Y.S. Cheng; F.T.K. Au; L.G. Tham; G.W. Zeng 📂 Article 📅 2004 🏛 Elsevier Science 🌐 English ⚖ 438 KB

The positioning and stiffness allocation of docking blocks are an important decision when docking a ship. In this paper, the issues of both optimal design and robust design of docking blocks with uncertainty are discussed, and the corresponding mathematical models are proposed. To describe the uncer

The specification, design and verificati

The specification, design and verification of real-time embedded control logic using CSP and TCSP : P.J. Clarke and D.J. Holding, pp167–172

📂 Article 📅 1993 🏛 Elsevier Science 🌐 English ⚖ 126 KB

Design of distributed controllers with c

Design of distributed controllers with constrained and noisy links

✍ Shengxiang Jiang; Petros G. Voulgaris 📂 Article 📅 2006 🏛 John Wiley and Sons 🌐 English ⚖ 240 KB

## Abstract In this paper we consider some design aspects of distributed controllers that guarantee a ℋ︁~∞~ performance level. In particular, we consider two design problems. First, is the case where, without loss of generality, there are two distributed subcontrollers connected to a (generalized)