Supervisory Control of Discrete-Event Systems

Supervisory Control of Discrete-Event Systems

Author: W. Murray Wonham

Publisher: Springer

Published: 2018-08-17

Total Pages: 504

ISBN-13: 3319774522

DOWNLOAD EBOOK

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.


Recent Developments in Decision Support Systems

Recent Developments in Decision Support Systems

Author: Clyde W. Holsapple

Publisher: Springer Science & Business Media

Published: 2013-06-29

Total Pages: 613

ISBN-13: 3662029529

DOWNLOAD EBOOK

Over the past two decades, many advances have been made in the decision support system (DSS) field. They range from progress in fundamental concepts, to improved techniques and methods, to widespread use of commercial software for DSS development. Still, the depth and breadth of the DSS field continues to grow, fueled by the need to better support decision making in a world that is increasingly complex in terms of volume, diversity, and interconnectedness of the knowledge on which decisions can be based. This continuing growth is facilitated by increasing computer power and decreasing per-unit computing costs. But, it is spearheaded by the multifaceted efforts of DSS researchers. The collective work of these researchers runs from the speculative to the normative to the descriptive. It includes analysis of what the field needs, designs of means for meeting recognized needs, and implementations for study. It encompasses theoretical, empirical, and applied orientations. It is concerned with the invention of concepts, frameworks, models, and languages for giving varied, helpful perspectives. It involves the discovery of principles, methods, and techniques for expeditious construction of successful DSSs. It aims to create computer-based tools that facilitate DSS development. It assesses DSS efficacy by observing systems, their developers, and their users. This growing body of research continues to be fleshed out and take shape on a strong, but still-developing, skeletal foundation.


Information Sources in Engineering

Information Sources in Engineering

Author: Roderick A. Macleod

Publisher: Walter de Gruyter GmbH & Co KG

Published: 2012-04-17

Total Pages: 704

ISBN-13: 3110930765

DOWNLOAD EBOOK

The current, thoroughly revised and updated edition of this approved title, evaluates information sources in the field of technology. It provides the reader not only with information of primary and secondary sources, but also analyses the details of information from all the important technical fields, including environmental technology, biotechnology, aviation and defence, nanotechnology, industrial design, material science, security and health care in the workplace, as well as aspects of the fields of chemistry, electro technology and mechanical engineering. The sources of information presented also contain publications available in printed and electronic form, such as books, journals, electronic magazines, technical reports, dissertations, scientific reports, articles from conferences, meetings and symposiums, patents and patent information, technical standards, products, electronic full text services, abstract and indexing services, bibliographies, reviews, internet sources, reference works and publications of professional associations. Information Sources in Engineering is aimed at librarians and information scientists in technical fields as well as non-professional information specialists, who have to provide information about technical issues. Furthermore, this title is of great value to students and people with technical professions.


Positive 1D and 2D Systems

Positive 1D and 2D Systems

Author: Tadeusz Kaczorek

Publisher: Springer Science & Business Media

Published: 2002

Total Pages: 450

ISBN-13: 9781852335083

DOWNLOAD EBOOK

This text is devoted to the positive multivariable 1D and 2D linear, time-invariant, finite-dimensional system. The book is based on the author's lectures for Ph.D. students, delivered at Warsaw University of Technology in the academic year 1999/2000. The book consists of two parts; the first part is devoted to the 1D positive linear systems and the second to the 2D positive linear systems described by the Rosser model and the Fornasini-Marchesini models. Definitions, basic properties and theorems concerning positive matrices and graphs are presented; the externally and internally positive linear continuous-time and discrete-time linear systems are considered; and the reachability, controlability and observability of positive linear systems are discussed. The realisation problem for positive 1D and 2D systems is also considered, and the 2D models of externally and internally positive and their properties and controllability and minimum energy control of positive 2D systems are investigated.


Specifying Big Data Benchmarks

Specifying Big Data Benchmarks

Author: Tilmann Rabl

Publisher: Springer

Published: 2013-12-18

Total Pages: 214

ISBN-13: 3642539742

DOWNLOAD EBOOK

This book constitutes the thoroughly refereed revised selected papers of the First Workshop on Big Data Benchmarks, WBDB 2012, held in San Jose, CA, USA, in May 2012 and the Second Workshop on Big Data Benchmarks, WBDB 2012, held in Pune, India, in December 2012. The 14 revised papers presented were carefully reviewed and selected from 60 submissions. The papers are organized in topical sections on benchmarking, foundations and tools; domain specific benchmarking; benchmarking hardware and end-to-end big data benchmarks.