國立高雄大學圖資館 |

Language: English

Back

Estimation and inference in discrete...

Hadjicostis, Christoforos N.

Estimation and inference in discrete event systemsa model-based approach with finite automata /

Record Type:	Electronic resources : Monograph/item
Title/Author:	Estimation and inference in discrete event systemsby Christoforos N. Hadjicostis.
Reminder of title:	a model-based approach with finite automata /
Author:	Hadjicostis, Christoforos N.
Published:	Cham :Springer International Publishing :2020.
Description:	xviii, 346 p. :ill., digital ;24 cm.
Contained By:	Springer Nature eBook
Subject:	Discrete-time systems.
Online resource:	https://doi.org/10.1007/978-3-030-30821-6
ISBN:	9783030308216$q(electronic bk.)

Estimation and inference in discrete event systemsa 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. - Cham :Springer International Publishing :2020. - xviii, 346 p. :ill., digital ;24 cm. - Communications and control engineering,0178-5354. - Communications and control engineering..

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$q(electronic bk.)

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

182123
Discrete-time systems.

LC Class. No.: QA402 / .H33 2020

Dewey Class. No.: 003.83

Estimation and inference in discrete event systemsa model-based approach with finite automata /
LDR:02609nmm a2200325 a 4500 001 593204
003 DE-He213
005 20200704115158.0
006 m d
007 cr nn 008maaau
008 210727s2020 sz s 0 eng d
020 $a 9783030308216$q(electronic bk.)
020 $a 9783030308209$q(paper)
024 7 $a 10.1007/978-3-030-30821-6 $2 doi
035 $a 978-3-030-30821-6
040 $a GP $c GP
041 0 $a eng
050 4 $a QA402 $b .H33 2020
072 7 $a TJFM $2 bicssc
072 7 $a TEC004000 $2 bisacsh
072 7 $a TJFM $2 thema
082 0 4 $a 003.83 $2 23
090 $a QA402 $b .H129 2020
100 1 $a Hadjicostis, Christoforos N. $3 884497
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.
260 $a Cham : $b Springer International Publishing : $b Imprint: Springer, $c 2020.
300 $a xviii, 346 p. : $b ill., digital ; $c 24 cm.
490 1 $a Communications and control engineering, $x 0178-5354
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 0 $a Discrete-time systems. $3 182123
650 1 4 $a Control and Systems Theory. $3 825946
650 2 4 $a Systems Theory, Control. $3 274654
650 2 4 $a Discrete Optimization. $3 674481
710 2 $a SpringerLink (Online service) $3 273601
773 0 $t Springer Nature eBook
830 0 $a Communications and control engineering. $3 558655
856 4 0 $u https://doi.org/10.1007/978-3-030-30821-6
950 $a Intelligent Technologies and Robotics (SpringerNature-42732)