Co-design approaches to dependable networked control systems / / edited by Christophe Aubrun, Daniel Simon, Ye-Qiong Song

• Record Nr.: UNINA9910820780703321
• Pubbl/distr/stampa: London, : ISTE; Hoboken, N.J., : Wiley, 2010
• ISBN: 9781118620663; 1118620666; 9781118557679; 1118557670; 9781299315549; 1299315542; 9781118620700; 1118620704
• Edizione: [1st edition]
• Descrizione fisica: 1 online resource (330 p.)
• Collana: ISTE
• Altri autori (Persone): AubrunChristophe; SimonDaniel <1954->; SongYe-Qiong
• Disciplina: 629.8/3
• Soggetti: Feedback control systems - Reliability; Feedback control systems - Design and construction; Sensor networks - Reliability; Sensor networks - Design and construction
• Lingua di pubblicazione: Inglese
• Formato: Materiale a stampa
• Livello bibliografico: Monografia
• Note generali: Description based upon print version of record.
• Nota di bibliografia: Includes bibliographical references and index.
• Nota di contenuto: Cover; Title Page; Copyright Page; Table of Contents; Foreword; Introduction and Problem Statement; I.1. Networked control systems and control design challenges; I.2. Control design: from continuous time to networked implementation; I.3. Timing parameter assignment; I.4. Control and task/message scheduling; I.5. Diagnosis and fault tolerance in NCS; I.6. Co-design approaches; I.7. Outline of the book; I.8. Bibliography; Chapter 1. Preliminary Notions and State of the Art; 1.1.Overview; 1.2. Preliminary notions on real-time scheduling; 1.2.1. Some basic results on classic task model scheduling; 1.2.1.1. Fixed priority scheduling1.2.1.2. EDF scheduling; 1.2.1.3. Discussion; 1.2.2. (m,k)-firm model; 1.3. Control aware computing; 1.3.1. Off-line approaches; 1.3.2. Quality of Service and flexible scheduling; 1.4. Feedback-scheduling basics; 1.4.1. Control of the computing resource; 1.4.1.1.Control structure; 1.4.1.2. Sensors and actuators; 1.4.1.3.Control design and implementation; 1.4.2.Examples; 1.4.2.1. Feedback scheduling a web server; 1.4.2.2. Optimal control-based feedback scheduling; 1.4.2.3. Feasibility: feedback-scheduler implementation for robot control; 1.5. Fault diagnosis of NCS with network-induced effects1.5.1. Fault diagnosis of NCS with network-induced time delays; 1.5.1.1. Low-pass post-filtering; 1.5.1.2. Structure matrix of network-induced time delay; 1.5.1.3. Robust deadbeat fault filter; 1.5.1.4. Other work; 1.5.2. Fault diagnosis of NCS with packet losses; 1.5.2.1. Deterministic packet losses; 1.5.2.2. Stochastic packet losses; 1.5.3. Fault diagnosis of NCS with limited communication; 1.5.4. Fault-tolerant control of NCS; 1.6. Summary; 1.7. Bibliography; Chapter 2. Computing-aware Control; 2.1. Overview; 2.2. Robust control w.r.t. computing and networking-induced latencies2.2.1. Introduction; 2.2.2. What happens when delays appear?; 2.2.2.1. Initial conditions; 2.2.2.2. Infinite dimensional systems; 2.2.3. Delay models; 2.2.4. Stability analysis of TDS using Lyapunov theory; 2.2.4.1. The second method; 2.2.4.2. The Lyapunov-Razumikhin approach; 2.2.4.3. The Lyapunov-Krasovskii approach; 2.2.5. Summary: time-delay systems and networking; 2.3. Weakly hard constraints; 2.3.1. Problem definition; 2.3.2. Notion of accelerable control; 2.3.3. Design of accelerable controllers; 3.2.1. Context of the study
• Sommario/riassunto: This book describes co-design approaches, and establishes the links between the QoC (Quality of Control) and QoS (Quality of Service) of the network and computing resources. The methods and tools described in this book take into account, at design level, various parameters and properties that must be satisfied by systems controlled through a network. Among the important network properties examined are the QoC, the dependability of the system, and the feasibility of the real-time scheduling of tasks and messages. Correct exploitation of these approaches allows for efficient design, diagnosis, a

Introduction to stochastic models / / Marius Iosifescu, Nikolaos Limnios, Gheorghe Oprisan ; series editor, Nikolaos Limnios

• Record Nr.: UNINA9910139240403321
• Autore: Iosifescu Marius
• Pubbl/distr/stampa: London, : ISTE; Hoboken, N.J., : Wiley, 2010
• ISBN: 9781118623527; 1118623525; 9781118623220; 1118623223; 9781299315655; 1299315658; 9780470394076; 0470394072
• Edizione: [1st edition]
• Descrizione fisica: 1 online resource (385 p.)
• Collana: Applied stochastic methods series
• Altri autori (Persone): LimniosN (Nikolaos); OprișanGheorghe
• Disciplina: 519.2/3
• Soggetti: Stochastic processes; Stochastic models
• Lingua di pubblicazione: Inglese
• Formato: Materiale a stampa
• Livello bibliografico: Monografia
• Note generali: "First published 2007 in France by Hermes Science/Lavoisier entitled: Modeles stochastiques"--t.p. verso.
• Nota di bibliografia: Includes bibliographical references and index.
• Nota di contenuto: Cover; Introduction to Stochastic Models; Title Page; Copyright Page; Table of Contents; Preface; Chapter 1. Introduction to Stochastic Processes; 1.1. Sequences of random variables; 1.2. The notion of stochastic process; 1.3. Martingales; 1.3.1. Stopping time; 1.3.2. Discrete-time martingales; 1.3.3. Martingale convergence; 1.3.4. Square integrable martingales; 1.4. Markov chains; 1.4.1. Markov property; 1.4.2. Transition function; 1.4.3. Strong Markov property; 1.5. State classification; 1.5.1. Stationary probability; 1.6. Continuous-time Markov processes; 1.6.1. Transition function; 1.6.2. Kolmogorov equations1.7. Semi-Markov processes; 1.7.1. Markov renewal processes; 1.7.2. Semi-Markov processes; Chapter 2. Simple Stochastic Models; 2.1. Urn models; 2.2. Random walks; 2.3. ; Brownian motion; 2.3.1. Introduction; 2.3.2. Basic properties; 2.4. Poisson processes; 2.5. Birth and death processes; Chapter 3. Elements of Markov Modeling; 3.1. Markov models: ideas, history, applications; 3.2. The discrete-time Ehrenfest model; 3.2.1. The microscopic chain; 3.2.2. The macroscopic chain; 3.2.3. Some characteristics of the Ehrenfest model; 3.2.4. The discrete-time Ehrenfest model: history, generalizations, similar models3.3. Markov models in genetics; 3.3.1. Laws of heredity and mathematics; 3.3.2. Haploid models; 3.3.3. Models with two genotypes and without mutations; 3.3.4. Models with several genotypes and without mutations; 3.3.5. Models with two genotypes and mutations; 3.3.6. Models with several genotypes and mutations; 3.3.7. Models with partitioned population; 3.3.8. Genealogy models for large size populations; 3.4. Markov storage models; 3.4.1. Discrete-time models; 3.4.2. Continuous-time models; 3.4.3. A generalized storage model3.5. Reliability of Markov models; 3.5.1. Introduction to reliability; 3.5.2. Some classes of survival distributions; 3.5.3. Discrete-time models; 3.5.4. Continuous-time models; Chapter 4. Renewal Models; 4.1. Fundamental concepts and examples; 4.2. Waiting times; 4.3. Modified renewal processes; 4.4. Replacement models; 4.5. Renewal reward processes; 4.6. The risk problem of an insurance company; 4.7. Counter models; 4.7.1. Type I counters; 4.7.2. Type II counters; 4.8. Alternating renewal processes; 4.9. Superposition of renewal processes; 4.10. Regenerative processesChapter 5. Semi-Markov Models; 5.1. Introduction; 5.2. Markov renewal processes; 5.2.1. Definitions; 5.2.2. Markov renewal theory; 5.3. First-passage times and state classification; 5.3.1. Stationary distribution and asymptotic results; 5.4. Reliability; 5.5. Reservoir models; 5.5.1. Model I; 5.5.2. Model II; 5.6. Queues; 5.6.1. The G/M/1 queue; 5.6.2. The M/G/1 queue; 5.7. Digital communication channels; Chapter 6. Branching Models; 6.1. The Bienaymé-Galton-Watson model; 6.1.1. Historical considerations; 6.1.2. Some elementary results; 6.1.3. A fundamental example; 6.1.4. Extinction probability: critical theorem
• Sommario/riassunto: This book provides a pedagogical examination of the way in which stochastic models are encountered in applied sciences and techniques such as physics, engineering, biology and genetics, economics and social sciences. It covers Markov and semi-Markov models, as well as their particular cases: Poisson, renewal processes, branching processes, Ehrenfest models, genetic models, optimal stopping, reliability, reservoir theory, storage models, and queuing systems. Given this comprehensive treatment of the subject, students and researchers in applied sciences, as well as anyone looking for an introduc