Formal Methods for Discrete-Time Dynamical Systems (Record no. 81082)
[ view plain ]
| 000 -LEADER | |
|---|---|
| fixed length control field | 03530nam a22006135i 4500 |
| 001 - CONTROL NUMBER | |
| control field | 978-3-319-50763-7 |
| 005 - DATE AND TIME OF LATEST TRANSACTION | |
| control field | 20220801222723.0 |
| 008 - FIXED-LENGTH DATA ELEMENTS--GENERAL INFORMATION | |
| fixed length control field | 170309s2017 sz | s |||| 0|eng d |
| 020 ## - INTERNATIONAL STANDARD BOOK NUMBER | |
| ISBN | 9783319507637 |
| -- | 978-3-319-50763-7 |
| 082 04 - CLASSIFICATION NUMBER | |
| Call Number | 629.8312 |
| 082 04 - CLASSIFICATION NUMBER | |
| Call Number | 003 |
| 100 1# - AUTHOR NAME | |
| Author | Belta, Calin. |
| 245 10 - TITLE STATEMENT | |
| Title | Formal Methods for Discrete-Time Dynamical Systems |
| 250 ## - EDITION STATEMENT | |
| Edition statement | 1st ed. 2017. |
| 300 ## - PHYSICAL DESCRIPTION | |
| Number of Pages | XVIII, 284 p. 93 illus., 39 illus. in color. |
| 490 1# - SERIES STATEMENT | |
| Series statement | Studies in Systems, Decision and Control, |
| 505 0# - FORMATTED CONTENTS NOTE | |
| Remark 2 | 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. |
| 700 1# - AUTHOR 2 | |
| Author 2 | Yordanov, Boyan. |
| 700 1# - AUTHOR 2 | |
| Author 2 | Aydin Gol, Ebru. |
| 856 40 - ELECTRONIC LOCATION AND ACCESS | |
| Uniform Resource Identifier | https://doi.org/10.1007/978-3-319-50763-7 |
| 942 ## - ADDED ENTRY ELEMENTS (KOHA) | |
| Koha item type | eBooks |
| 264 #1 - | |
| -- | Cham : |
| -- | Springer International Publishing : |
| -- | Imprint: Springer, |
| -- | 2017. |
| 336 ## - | |
| -- | text |
| -- | txt |
| -- | rdacontent |
| 337 ## - | |
| -- | computer |
| -- | c |
| -- | rdamedia |
| 338 ## - | |
| -- | online resource |
| -- | cr |
| -- | rdacarrier |
| 347 ## - | |
| -- | text file |
| -- | |
| -- | rda |
| 650 #0 - SUBJECT ADDED ENTRY--SUBJECT 1 | |
| -- | Control engineering. |
| 650 #0 - SUBJECT ADDED ENTRY--SUBJECT 1 | |
| -- | Dynamics. |
| 650 #0 - SUBJECT ADDED ENTRY--SUBJECT 1 | |
| -- | Nonlinear theories. |
| 650 #0 - SUBJECT ADDED ENTRY--SUBJECT 1 | |
| -- | System theory. |
| 650 #0 - SUBJECT ADDED ENTRY--SUBJECT 1 | |
| -- | Control theory. |
| 650 14 - SUBJECT ADDED ENTRY--SUBJECT 1 | |
| -- | Control and Systems Theory. |
| 650 24 - SUBJECT ADDED ENTRY--SUBJECT 1 | |
| -- | Applied Dynamical Systems. |
| 650 24 - SUBJECT ADDED ENTRY--SUBJECT 1 | |
| -- | Systems Theory, Control . |
| 830 #0 - SERIES ADDED ENTRY--UNIFORM TITLE | |
| -- | 2198-4190 ; |
| 912 ## - | |
| -- | ZDB-2-ENG |
| 912 ## - | |
| -- | ZDB-2-SXE |
No items available.