MARC details
000 -LEADER |
fixed length control field |
04951nam a22005535i 4500 |
001 - CONTROL NUMBER |
control field |
978-0-387-23903-3 |
003 - CONTROL NUMBER IDENTIFIER |
control field |
DE-He213 |
005 - DATE AND TIME OF LATEST TRANSACTION |
control field |
20170628033237.0 |
007 - PHYSICAL DESCRIPTION FIXED FIELD--GENERAL INFORMATION |
fixed length control field |
cr nn 008mamaa |
008 - FIXED-LENGTH DATA ELEMENTS--GENERAL INFORMATION |
fixed length control field |
100301s2005 xxu| s |||| 0|eng d |
020 ## - INTERNATIONAL STANDARD BOOK NUMBER |
International Standard Book Number |
9780387239033 |
-- |
978-0-387-23903-3 |
024 7# - OTHER STANDARD IDENTIFIER |
Standard number or code |
10.1007/b103444 |
Source of number or code |
doi |
050 #4 - LIBRARY OF CONGRESS CALL NUMBER |
Classification number |
QA76.9.C643 |
050 #4 - LIBRARY OF CONGRESS CALL NUMBER |
Classification number |
TK5105.5-5105.9 |
072 #7 - SUBJECT CATEGORY CODE |
Subject category code |
UT |
Source |
bicssc |
072 #7 - SUBJECT CATEGORY CODE |
Subject category code |
COM067000 |
Source |
bisacsh |
082 04 - DEWEY DECIMAL CLASSIFICATION NUMBER |
Classification number |
004.6 |
Edition number |
23 |
100 1# - MAIN ENTRY--PERSONAL NAME |
Personal name |
Ray, Asok. |
Relator term |
editor. |
245 10 - TITLE STATEMENT |
Title |
Quantitative Measure for Discrete Event Supervisory Control |
Medium |
[electronic resource] / |
Statement of responsibility, etc |
edited by Asok Ray, Vir V. Phoha, Shashi P. Phoha. |
264 #1 - |
-- |
New York, NY : |
-- |
Springer New York, |
-- |
2005. |
300 ## - PHYSICAL DESCRIPTION |
Extent |
XX, 264 p. |
Other physical details |
online resource. |
336 ## - |
-- |
text |
-- |
txt |
-- |
rdacontent |
337 ## - |
-- |
computer |
-- |
c |
-- |
rdamedia |
338 ## - |
-- |
online resource |
-- |
cr |
-- |
rdacarrier |
347 ## - |
-- |
text file |
-- |
PDF |
-- |
rda |
505 0# - FORMATTED CONTENTS NOTE |
Formatted contents note |
Theory of Language Measure and Supervisory Control -- Signed Real Measure of Regular Languages -- Optimal Supervisory Control of Regular Languages -- Robust Optimal Control of Regular Languages -- Advanced Topics in Supervisory Control -- Engineering and Software Applications of Language Measure and Supervisory Control -- Discrete Event Supervisory Control of a Mobile Robotic System -- Optimal Control of Robot Behavior Using Language Measure -- Optimal Discrete Event Control of Gas Turbine Engines -- Supervisory Control of Software Systems -- Supervisory Control of Malicious Executables in Software Processes. |
520 ## - SUMMARY, ETC. |
Summary, etc |
Never before has there been a quantitative approach designed to optimize supervisory decision and control for discrete event systems. The text pioneers a formal system for supervision of human-engineered complex systems, to compare different supervisory models, thereby maximizing potential for achieving high performance. It offers exciting implications for both military and commercial engineering systems. Quantitative Measure for Discrete Event Supervisory Control presents a novel method for discrete-event decision and control of complex systems, and provides applications for burgeoning technological needs in engineering (i.e., multi-agent human and robotic systems, aircraft, and electric power generation systems), as well as control of software systems and malicious executables. Using Supervisory Control Theory (SCT), a tool to model and control human engineered complex systems, this text initiates new concepts in quantitative treatment of SCT, as a much needed augmentation to existing research on the diagnosis and control of SCT. This survey is the first comprehensive treatment of a language-theoretic quantitative approach to discrete event supervisory decision and control. • Summarizes fundamental materials in supervisory decision and control before integrating new method to quantitatively measure performance • Presents formal theory to support the quantitative approach, thus outlining an effective model for discrete event decision and control of human-engineered complex systems • Outlines diverse and practical implications for the materials in the commercial and military Command, Control, Computer, Communication, Intelligence, Surveillance, and Reconnaissance (C4ISR) systems • Illuminates significant mathematical foundations and proofs for reader understanding of quantification processes, while avoiding nonessential mathematical details and applications • Develops and describes methods that have been successfully classroom-tested in Pennsylvania State University and Louisiana Tech University Compiling some of the leading research in the field, this self-contained volume contains essential techniques and advanced applications for researchers or graduate students in computer engineering, computer science, and applied mathematics. Additionally, the book may be an important resource for students in other disciplines, such as the biological sciences, management sciences, social sciences, and economics. |
650 #0 - SUBJECT ADDED ENTRY--TOPICAL TERM |
Topical term or geographic name as entry element |
Computer science. |
650 #0 - SUBJECT ADDED ENTRY--TOPICAL TERM |
Topical term or geographic name as entry element |
Microprogramming. |
650 #0 - SUBJECT ADDED ENTRY--TOPICAL TERM |
Topical term or geographic name as entry element |
Computer network architectures. |
650 #0 - SUBJECT ADDED ENTRY--TOPICAL TERM |
Topical term or geographic name as entry element |
Computer system performance. |
650 #0 - SUBJECT ADDED ENTRY--TOPICAL TERM |
Topical term or geographic name as entry element |
Computational complexity. |
650 #0 - SUBJECT ADDED ENTRY--TOPICAL TERM |
Topical term or geographic name as entry element |
Artificial intelligence. |
650 14 - SUBJECT ADDED ENTRY--TOPICAL TERM |
Topical term or geographic name as entry element |
Computer Science. |
650 24 - SUBJECT ADDED ENTRY--TOPICAL TERM |
Topical term or geographic name as entry element |
Computer Systems Organization and Communication Networks. |
650 24 - SUBJECT ADDED ENTRY--TOPICAL TERM |
Topical term or geographic name as entry element |
System Performance and Evaluation. |
650 24 - SUBJECT ADDED ENTRY--TOPICAL TERM |
Topical term or geographic name as entry element |
Control Engineering. |
650 24 - SUBJECT ADDED ENTRY--TOPICAL TERM |
Topical term or geographic name as entry element |
Control Structures and Microprogramming. |
650 24 - SUBJECT ADDED ENTRY--TOPICAL TERM |
Topical term or geographic name as entry element |
Artificial Intelligence (incl. Robotics). |
650 24 - SUBJECT ADDED ENTRY--TOPICAL TERM |
Topical term or geographic name as entry element |
Discrete Mathematics in Computer Science. |
700 1# - ADDED ENTRY--PERSONAL NAME |
Personal name |
Phoha, Vir V. |
Relator term |
editor. |
700 1# - ADDED ENTRY--PERSONAL NAME |
Personal name |
Phoha, Shashi P. |
Relator term |
editor. |
710 2# - ADDED ENTRY--CORPORATE NAME |
Corporate name or jurisdiction name as entry element |
SpringerLink (Online service) |
773 0# - HOST ITEM ENTRY |
Title |
Springer eBooks |
776 08 - ADDITIONAL PHYSICAL FORM ENTRY |
Display text |
Printed edition: |
International Standard Book Number |
9780387021089 |
856 40 - ELECTRONIC LOCATION AND ACCESS |
Uniform Resource Identifier |
<a href="http://dx.doi.org/10.1007/b103444">http://dx.doi.org/10.1007/b103444</a> |
912 ## - |
-- |
ZDB-2-SCS |