000			04908nam a22005175i 4500
001			978-0-387-23903-3
003			DE-He213
005			20250710083930.0
007			cr nn 008mamaa
008			100301s2005 xxu| s |||| 0|eng d
020			_a9780387239033 _a99780387239033
024	7		_a10.1007/b103444 _2doi
082	0	4	_a004.6 _223
100	1		_aRay, Asok. _eeditor.
245	1	0	_aQuantitative Measure for Discrete Event Supervisory Control _h[recurso electrónico] / _cedited by Asok Ray, Vir V. Phoha, Shashi P. Phoha.
264		1	_aNew York, NY : _bSpringer New York, _c2005.
300			_aXX, 264 p. _bonline resource.
336			_atext _btxt _2rdacontent
337			_acomputer _bc _2rdamedia
338			_arecurso en línea _bcr _2rdacarrier
347			_atext file _bPDF _2rda
505	0		_aTheory 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			_aNever 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	_aCOMPUTER SCIENCE.
650		0	_aMICROPROGRAMMING.
650		0	_aCOMPUTER NETWORK ARCHITECTURES.
650		0	_aCOMPUTER SYSTEM PERFORMANCE.
650		0	_aCOMPUTATIONAL COMPLEXITY.
650		0	_aARTIFICIAL INTELLIGENCE.
650	1	4	_aCOMPUTER SCIENCE.
650	2	4	_aCOMPUTER SYSTEMS ORGANIZATION AND COMMUNICATION NETWORKS.
650	2	4	_aSYSTEM PERFORMANCE AND EVALUATION.
650	2	4	_aCONTROL ENGINEERING.
650	2	4	_aCONTROL STRUCTURES AND MICROPROGRAMMING.
650	2	4	_aARTIFICIAL INTELLIGENCE (INCL. ROBOTICS).
650	2	4	_aDISCRETE MATHEMATICS IN COMPUTER SCIENCE.
700	1		_aPhoha, Vir V. _eeditor.
700	1		_aPhoha, Shashi P. _eeditor.
710	2		_aSpringerLink (Online service)
773	0		_tSpringer eBooks
776	0	8	_iPrinted edition: _z9780387021089
856	4	0	_uhttp://dx.doi.org/10.1007/b103444 _zVer el texto completo en las instalaciones del CICY
912			_aZDB-2-SCS
942			_2ddc _cER
999			_c56278 _d56278