國立虎尾科技大學 |

Estimation and Inference in Discrete Event Systems = A Model-Based Approach with Finite Automata /

紀錄類型:	書目-語言資料,印刷品 : Monograph/item
正題名/作者:	Estimation and Inference in Discrete Event Systems/ by Christoforos N. Hadjicostis.
其他題名:	A Model-Based Approach with Finite Automata /
作者:	Hadjicostis, Christoforos N.
面頁冊數:	XVIII, 346 p. 79 illus., 3 illus. in color.online resource. :
Contained By:	Springer Nature eBook
標題:	Discrete Optimization. -
電子資源:	https://doi.org/10.1007/978-3-030-30821-6
ISBN:	9783030308216

Estimation and Inference in Discrete Event Systems = A Model-Based Approach with Finite Automata /
Hadjicostis, Christoforos N.

Estimation and Inference in Discrete Event SystemsA Model-Based Approach with Finite Automata /[electronic resource] :by Christoforos N. Hadjicostis. - 1st ed. 2020. - XVIII, 346 p. 79 illus., 3 illus. in color.online resource. - Communications and Control Engineering,0178-5354. - Communications and Control Engineering,.

Chapter 1. Introduction to Estimation and Inference in Discrete Event Systems -- Chapter 2. Preliminaries and Notation -- Chapter 3. Finite Automata Models -- Chapter 4. State Estimation -- Chapter 5. Veriﬁcation of State Isolation Properties -- Chapter 6. Detectability -- Chapter 7. Diagnosability -- Chapter 8. Opacity -- Chapter 9. Decentralized State Estimation -- Chapter 10. Distributed State Estimation -- Index.

Estimation and Inference in Discrete Event Systems chooses a popular model for emerging automation systems—finite automata under partial observation—and focuses on a comprehensive study of the key problems of state estimation and event inference. The text includes treatment of current, delayed, and initial state estimation. Related applications for assessing and enforcing resiliency—fault detection and diagnosis—and security—privacy and opacity—properties are discussed, enabling the reader to apply these techniques in a variety of emerging applications, among them automated manufacturing processes, intelligent vehicle/highway systems, and autonomous vehicles. The book provides a systematic development of recursive algorithms for state estimation and event inference. The author also deals with the verification of pertinent properties such as: the ability to determine the exact state of a system, “detectability”; the ability to ensure that certain classes of faults can be detected/identified, “diagnosability”; and the ability to ensure that certain internal state variables of the system remain “hidden” from the outside world regardless of the type of activity that is taking place, “opacity”. This book allows students, researchers and practicing engineers alike to grasp basic aspects of state estimation in discrete event systems, aspects like distributivity and probabilistic inference, quickly and without having to master the entire breadth of models that are available in the literature.

ISBN: 9783030308216

Standard No.: 10.1007/978-3-030-30821-6doiSubjects--Topical Terms:

1019327
Discrete Optimization.

LC Class. No.: TJ212-225

Dewey Class. No.: 629.8

Estimation and Inference in Discrete Event Systems = A Model-Based Approach with Finite Automata /
LDR:03469nam a22004095i 4500 001 1025437
003 DE-He213
005 20200704115158.0
007 cr nn 008mamaa
008 210318s2020 gw | s |||| 0|eng d
020 $a 9783030308216 $9 978-3-030-30821-6
024 7 $a 10.1007/978-3-030-30821-6 $2 doi
035 $a 978-3-030-30821-6
050 4 $a TJ212-225
072 7 $a TJFM $2 bicssc
072 7 $a TEC004000 $2 bisacsh
072 7 $a TJFM $2 thema
082 0 4 $a 629.8 $2 23
100 1 $a Hadjicostis, Christoforos N. $e author. $4 aut $4 http://id.loc.gov/vocabulary/relators/aut $3 1321693
245 1 0 $a Estimation and Inference in Discrete Event Systems $h [electronic resource] : $b A Model-Based Approach with Finite Automata / $c by Christoforos N. Hadjicostis.
250 $a 1st ed. 2020.
264 1 $a Cham : $b Springer International Publishing : $b Imprint: Springer, $c 2020.
300 $a XVIII, 346 p. 79 illus., 3 illus. in color. $b online resource.
336 $a text $b txt $2 rdacontent
337 $a computer $b c $2 rdamedia
338 $a online resource $b cr $2 rdacarrier
347 $a text file $b PDF $2 rda
490 1 $a Communications and Control Engineering, $x 0178-5354
505 0 $a Chapter 1. Introduction to Estimation and Inference in Discrete Event Systems -- Chapter 2. Preliminaries and Notation -- Chapter 3. Finite Automata Models -- Chapter 4. State Estimation -- Chapter 5. Veriﬁcation of State Isolation Properties -- Chapter 6. Detectability -- Chapter 7. Diagnosability -- Chapter 8. Opacity -- Chapter 9. Decentralized State Estimation -- Chapter 10. Distributed State Estimation -- Index.
520 $a Estimation and Inference in Discrete Event Systems chooses a popular model for emerging automation systems—finite automata under partial observation—and focuses on a comprehensive study of the key problems of state estimation and event inference. The text includes treatment of current, delayed, and initial state estimation. Related applications for assessing and enforcing resiliency—fault detection and diagnosis—and security—privacy and opacity—properties are discussed, enabling the reader to apply these techniques in a variety of emerging applications, among them automated manufacturing processes, intelligent vehicle/highway systems, and autonomous vehicles. The book provides a systematic development of recursive algorithms for state estimation and event inference. The author also deals with the verification of pertinent properties such as: the ability to determine the exact state of a system, “detectability”; the ability to ensure that certain classes of faults can be detected/identified, “diagnosability”; and the ability to ensure that certain internal state variables of the system remain “hidden” from the outside world regardless of the type of activity that is taking place, “opacity”. This book allows students, researchers and practicing engineers alike to grasp basic aspects of state estimation in discrete event systems, aspects like distributivity and probabilistic inference, quickly and without having to master the entire breadth of models that are available in the literature.
650 2 4 $a Discrete Optimization. $3 1019327
650 2 4 $a Systems Theory, Control. $3 669337
650 1 4 $a Control and Systems Theory. $3 1211358
650 0 $a Mathematical optimization. $3 527675
650 0 $a System theory. $3 566168
650 0 $a Control engineering. $3 1249728
710 2 $a SpringerLink (Online service) $3 593884
773 0 $t Springer Nature eBook
776 0 8 $i Printed edition: $z 9783030308209
776 0 8 $i Printed edition: $z 9783030308223
776 0 8 $i Printed edition: $z 9783030308230
830 0 $a Communications and Control Engineering, $x 0178-5354 $3 1254247
856 4 0 $u https://doi.org/10.1007/978-3-030-30821-6
912 $a ZDB-2-INR
912 $a ZDB-2-SXIT
950 $a Intelligent Technologies and Robotics (SpringerNature-42732)
950 $a Intelligent Technologies and Robotics (R0) (SpringerNature-43728)