| 000 | 03681nam a22004335c 4500 | ||
|---|---|---|---|
| 988 | _aSpringer_Robotics_2020 | ||
| 999 |
_c115430 _d115430 _x1 |
||
| 001 | 115430 | ||
| 003 | ES-MaUEC | ||
| 005 | 20230110040234.0 | ||
| 006 | a||||fo|||| 00| 0 | ||
| 007 | cr nn nnnaamaa | ||
| 008 | 191002s2020 gw a o |||| 0|eng d | ||
| 020 | _a9783030308216 | ||
| 024 | 7 |
_a10.1007/978-3-030-30821-6 _2doi |
|
| 040 |
_aES-MaUEC _bspa _cES-MaUEC _dES-MaUEC |
||
| 050 | 4 |
_aQA402 _b2020 EB |
|
| 100 | 1 |
_aHadjicostis, Christoforos N. _eautor _9671744 |
|
| 245 | 1 | 0 |
_aEstimation and inference in discrete event systems : _ba model-based approach with finite automata _cby Christoforos N. Hadjicostis |
| 250 | _aFirst edition | ||
| 264 | 1 |
_aCham _bSpringer International Publishing _c2020 |
|
| 300 |
_a1 recurso en línea (XVIII, 346 páginas) _b79 ilustraciones, 3 ilustraciones a color |
||
| 336 |
_2rdacontent _aTexto _btxt |
||
| 337 |
_2rdamedia _aelectrónico _bc |
||
| 338 |
_2rdacarrier _arecurso electrónico _bcr |
||
| 347 |
_atext file _bPDF |
||
| 490 | 0 |
_aCommunications and Control Engineering _x0178-5354 |
|
| 490 | 0 | _aIntelligent Technologies and Robotics (Springer-42732) | |
| 505 | 0 | _aChapter 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. Verification 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 | 3 | _aEstimation 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 | 7 |
_2embne _9157265 _aSistemas de tiempo discreto |
|
| 650 | 7 |
_2embne _9671745 _aAutómatas finitos |
|
| 650 | 7 |
_2embne _aAnálisis de sistemas _9138446 |
|
| 776 | 0 | 8 |
_iPrinted edition: _z9783030308209 |
| 776 | 0 | 8 |
_iPrinted edition: _z9783030308223 |
| 776 | 0 | 8 |
_iPrinted edition: _z9783030308230 |
| 856 | 4 | 0 |
_uhttps://go.openathens.net/redirector/universidadeuropea.es?url=https://doi.org/10.1007/978-3-030-30821-6 _zAcceso a este recurso digital (usuarios Universidad Europea de Madrid) |
| 942 |
_2lcc _cLE |
||
| 998 |
_aSI _cm _dz _feng _ggw _h0 _b12/2019 _eel _zSI |
||