Supervisory Control and Scheduling of Resource Allocation Systems: Reachability Graph Perspective, Huang Bo, Zhou Mengchu

Автор: Luminita Manuela Bujorianu
Название: Stochastic Reachability Analysis of Hybrid Systems
ISBN: 1447162099 ISBN-13(EAN): 9781447162094
Издательство: Springer
Рейтинг:
Цена: 15372.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: This interdisciplinary book defines reachability in the stochastic framework, covering such concepts as stochastic reachability based on Markov process theory; martingale methods; stochastic reachability as an optimal stopping problem and dynamic programming.

Автор: W. Murray Wonham; Kai Cai
Название: Supervisory Control of Discrete-Event Systems
ISBN: 3030084582 ISBN-13(EAN): 9783030084585
Издательство: Springer
Рейтинг:
Цена: 25155.00 р.
Наличие на складе: Поставка под заказ.

Описание: This book shows how supervisory control theory (SCT) supports the formulation of various control problems of standard types, like the synthesis of controlled dynamic invariants by state feedback, and the resolution of such problems in terms of naturally definable control-theoretic concepts and properties, like reachability, controllability and observability. It exploits a simple, abstract model of controlled discrete-event systems (DES) that has proved to be tractable, appealing to control specialists, and expressive of a range of control-theoretic ideas. It allows readers to choose between automaton-based and dually language-based forms of SCT, depending on whether their preference is for an internal-structural or external-behavioral description of the problem. The monograph begins with two chapters on algebraic and linguistic preliminaries and the fundamental concepts and results of SCT are introduced. To handle complexity caused by system scale, architectural approaches—the horizontal modularity of decentralized and distributed supervision and the vertical modularity of hierarchical supervision—are introduced. Supervisory control under partial observation and state-based supervisory control are also addressed; in the latter, a vector DES model that exploits internal regularity of algebraic structure is proposed. Finally SCT is generalized to deal with timed DES by incorporating temporal features in addition to logical ones. Researchers and graduate students working with the control of discrete-event systems or who are interested in the development of supervisory control methods will find this book an invaluable aid in their studies. The text will also be of assistance to researchers in manufacturing, logistics, communications and transportation, areas which provide plentiful examples of the class of systems being discussed.

Автор: Emilia Villani; Paulo Eigi Miyagi; Robert Valette
Название: Modelling and Analysis of Hybrid Supervisory Systems
ISBN: 1849966370 ISBN-13(EAN): 9781849966375
Издательство: Springer
Рейтинг:
Цена: 23757.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: This book introduces a formalism for modeling complex and large-scale systems that merges Petri nets, differential equation systems, and object-oriented methods. It describes a method that starts from the requirements of a supervisory system and results in a proposal for such a system.

Автор: Slawomir Stanczak; Marcin Wiczanowski; Holger Boch
Название: Fundamentals of Resource Allocation in Wireless Networks
ISBN: 364224260X ISBN-13(EAN): 9783642242601
Издательство: Springer
Рейтинг:
Цена: 18284.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: Future wireless networks will be integrated into every aspect of daily life. Therefore, the main objective of this book is to provide tools for better understanding the fundamental tradeoffs and interdependencies in wireless networks.

Автор: Itshak Tkach; Yael Edan
Название: Distributed Heterogeneous Multi Sensor Task Allocation Systems
ISBN: 3030347346 ISBN-13(EAN): 9783030347345
Издательство: Springer
Рейтинг:
Цена: 13974.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание:

Today's real-world problems and applications in sensory systems and target detection require efficient, comprehensive and fault-tolerant multi-sensor allocation. This book presents the theory and applications of novel methods developed for such sophisticated systems. It discusses the advances in multi-agent systems and AI along with collaborative control theory and tools. Further, it examines the formulation and development of an allocation framework for heterogeneous multi-sensor systems for various real-world problems that require sensors with different performances to allocate multiple tasks, with unknown a priori priorities that arrive at unknown locations at unknown time. It demonstrates how to decide which sensor to allocate to which tasks when and where. Lastly, it explains the reliability and availability issues of task allocation systems, and includes methods for their optimization.

The presented methods are explained, measured, and evaluated by extensive simulations, and the results of these simulations are presented in this book.

This book is an ideal resource for academics, researchers and graduate students as well as engineers and professionals and is relevant for various applications such as sensor network design, multi-agent systems, task allocation, target detection, and team formation.

Автор: Asok Ray; Vir V. Phoha; Shashi Phoha
Название: Quantitative Measure for Discrete Event Supervisory Control
ISBN: 1441918515 ISBN-13(EAN): 9781441918512
Издательство: Springer
Рейтинг:
Цена: 18167.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: Supervisory Control Theory (SCT) provides a tool to model and control human-engineered complex systems, such as computer networks, World Wide Web, identification and spread of malicious executables, and command, control, communication, and information systems.