Formal Methods for Discrete-Time Dynamical Systems (Запис № 445572)
[ простий вигляд ]
| 000 -LEADER | |
|---|---|
| fixed length control field | 04029nam a22006135i 4500 |
| 001 - CONTROL NUMBER | |
| control field | 978-3-319-50763-7 |
| 003 - CONTROL NUMBER IDENTIFIER | |
| control field | DE-He213 |
| 005 - DATE AND TIME OF LATEST TRANSACTION | |
| control field | 20210118122302.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 | 170309s2017 gw | s |||| 0|eng d |
| 020 ## - INTERNATIONAL STANDARD BOOK NUMBER | |
| International Standard Book Number | 9783319507637 |
| -- | 978-3-319-50763-7 |
| 024 7# - OTHER STANDARD IDENTIFIER | |
| Standard number or code | 10.1007/978-3-319-50763-7 |
| Source of number or code | doi |
| 050 #4 - LIBRARY OF CONGRESS CALL NUMBER | |
| Classification number | TJ212-225 |
| 072 #7 - SUBJECT CATEGORY CODE | |
| Subject category code | TJFM |
| Source | bicssc |
| 072 #7 - SUBJECT CATEGORY CODE | |
| Subject category code | TEC004000 |
| Source | bisacsh |
| 072 #7 - SUBJECT CATEGORY CODE | |
| Subject category code | TJFM |
| Source | thema |
| 082 04 - DEWEY DECIMAL CLASSIFICATION NUMBER | |
| Classification number | 629.8 |
| Edition number | 23 |
| 100 1# - MAIN ENTRY--PERSONAL NAME | |
| Personal name | Belta, Calin. |
| Relator term | author. |
| Relator code | aut |
| -- | http://id.loc.gov/vocabulary/relators/aut |
| 245 10 - TITLE STATEMENT | |
| Title | Formal Methods for Discrete-Time Dynamical Systems |
| Medium | [electronic resource] / |
| Statement of responsibility, etc | by Calin Belta, Boyan Yordanov, Ebru Aydin Gol. |
| 250 ## - EDITION STATEMENT | |
| Edition statement | 1st ed. 2017. |
| 264 #1 - | |
| -- | Cham : |
| -- | Springer International Publishing : |
| -- | Imprint: Springer, |
| -- | 2017. |
| 300 ## - PHYSICAL DESCRIPTION | |
| Extent | XVIII, 284 p. 93 illus., 39 illus. in color. |
| Other physical details | online resource. |
| 336 ## - | |
| -- | text |
| -- | txt |
| -- | rdacontent |
| 337 ## - | |
| -- | computer |
| -- | c |
| -- | rdamedia |
| 338 ## - | |
| -- | online resource |
| -- | cr |
| -- | rdacarrier |
| 347 ## - | |
| -- | text file |
| -- | |
| -- | rda |
| 490 1# - SERIES STATEMENT | |
| Series statement | Studies in Systems, Decision and Control, |
| Міжнародний стандартний серійний номер для назви серії (ISSN) | 2198-4182 ; |
| Том/ позначення послідовності | 89 |
| 505 0# - FORMATTED CONTENTS NOTE | |
| Formatted contents note | Transition Systems -- Temporal Logics and Automata -- Model Checking -- Largest Finite Satisfying Region -- Finite Temporal Logic Control -- Discrete-Time Dynamical Systems -- Largest Satisfying Region -- Parameter Synthesis -- Temporal Logic Control -- Finite Bisimulations -- Language Guided Controller Synthesis -- Optimal Temporal Logic Control -- Background. |
| 520 ## - SUMMARY, ETC. | |
| Summary, etc | This book bridges fundamental gaps between control theory and formal methods. Although it focuses on discrete-time linear and piecewise affine systems, it also provides general frameworks for abstraction, analysis, and control of more general models. The book is self-contained, and while some mathematical knowledge is necessary, readers are not expected to have a background in formal methods or control theory. It rigorously defines concepts from formal methods, such as transition systems, temporal logics, model checking and synthesis. It then links these to the infinite state dynamical systems through abstractions that are intuitive and only require basic convex-analysis and control-theory terminology, which is provided in the appendix. Several examples and illustrations help readers understand and visualize the concepts introduced throughout the book. |
| 506 ## - RESTRICTIONS ON ACCESS NOTE | |
| Terms governing access | Available to subscribing member institutions only. Доступно лише організаціям членам підписки. |
| 506 ## - RESTRICTIONS ON ACCESS NOTE | |
| Standardized terminology for access restriction | Online access from local network of NaUOA. |
| 506 ## - RESTRICTIONS ON ACCESS NOTE | |
| Standardized terminology for access restriction | Online access with authorization at https://link.springer.com/ |
| 506 ## - RESTRICTIONS ON ACCESS NOTE | |
| Standardized terminology for access restriction | Онлайн-доступ з локальної мережі НаУОА. |
| 506 ## - RESTRICTIONS ON ACCESS NOTE | |
| Standardized terminology for access restriction | Онлайн доступ з авторизацією на https://link.springer.com/ |
| 650 #0 - SUBJECT ADDED ENTRY--TOPICAL TERM | |
| Topical term or geographic name as entry element | Control engineering. |
| 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 | System theory. |
| 650 14 - SUBJECT ADDED ENTRY--TOPICAL TERM | |
| Topical term or geographic name as entry element | Control and Systems Theory. |
| -- | http://scigraph.springernature.com/things/product-market-codes/T19010 |
| 650 24 - SUBJECT ADDED ENTRY--TOPICAL TERM | |
| Topical term or geographic name as entry element | Complexity. |
| -- | http://scigraph.springernature.com/things/product-market-codes/T11022 |
| 650 24 - SUBJECT ADDED ENTRY--TOPICAL TERM | |
| Topical term or geographic name as entry element | Systems Theory, Control. |
| -- | http://scigraph.springernature.com/things/product-market-codes/M13070 |
| 700 1# - ADDED ENTRY--PERSONAL NAME | |
| Personal name | Yordanov, Boyan. |
| Relator term | author. |
| Relator code | aut |
| -- | http://id.loc.gov/vocabulary/relators/aut |
| 700 1# - ADDED ENTRY--PERSONAL NAME | |
| Personal name | Aydin Gol, Ebru. |
| Relator term | author. |
| Relator code | aut |
| -- | http://id.loc.gov/vocabulary/relators/aut |
| 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 | 9783319507620 |
| 776 08 - ADDITIONAL PHYSICAL FORM ENTRY | |
| Display text | Printed edition: |
| International Standard Book Number | 9783319507644 |
| 776 08 - ADDITIONAL PHYSICAL FORM ENTRY | |
| Display text | Printed edition: |
| International Standard Book Number | 9783319844855 |
| 830 #0 - SERIES ADDED ENTRY--UNIFORM TITLE | |
| Uniform title | Studies in Systems, Decision and Control, |
| -- | 2198-4182 ; |
| Volume number/sequential designation | 89 |
| 856 40 - ELECTRONIC LOCATION AND ACCESS | |
| Uniform Resource Identifier | <a href="https://doi.org/10.1007/978-3-319-50763-7">https://doi.org/10.1007/978-3-319-50763-7</a> |
| 912 ## - | |
| -- | ZDB-2-ENG |
| 942 ## - ADDED ENTRY ELEMENTS (KOHA) | |
| Koha item type | ЕКнига |
Немає доступних примірників.