LEADER 03545nam 22006135 450 001 9910254329903321 005 20200702091927.0 024 7 $a10.1007/978-3-319-50763-7 035 $a(CKB)3710000001095332 035 $a(DE-He213)978-3-319-50763-7 035 $a(MiAaPQ)EBC4821162 035 $a(iGPub)SPNA0049391 035 $a(PPN)199768706 035 $a(EXLCZ)993710000001095332 100 $a20170309d2017 u| 0 101 0 $aeng 135 $aurnn|008mamaa 181 $ctxt$2rdacontent 182 $cc$2rdamedia 183 $acr$2rdacarrier 200 10$aFormal Methods for Discrete-Time Dynamical Systems /$fby Calin Belta, Boyan Yordanov, Ebru Aydin Gol 205 $a1st ed. 2017. 210 1$aCham :$cSpringer International Publishing :$cImprint: Springer,$d2017. 215 $a1 online resource (XVIII, 284 p. 93 illus., 39 illus. in color.) 225 1 $aStudies in Systems, Decision and Control,$x2198-4182 ;$v89 311 $a3-319-50762-1 311 $a3-319-50763-X 320 $aIncludes bibliographical references and index. 327 $aTransition 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. 330 $aThis 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. 410 0$aStudies in Systems, Decision and Control,$x2198-4182 ;$v89 606 $aAutomatic control 606 $aComputational complexity 606 $aSystem theory 606 $aControl and Systems Theory$3https://scigraph.springernature.com/ontologies/product-market-codes/T19010 606 $aComplexity$3https://scigraph.springernature.com/ontologies/product-market-codes/T11022 606 $aSystems Theory, Control$3https://scigraph.springernature.com/ontologies/product-market-codes/M13070 615 0$aAutomatic control. 615 0$aComputational complexity. 615 0$aSystem theory. 615 14$aControl and Systems Theory. 615 24$aComplexity. 615 24$aSystems Theory, Control. 676 $a620 700 $aBelta$b Calin$4aut$4http://id.loc.gov/vocabulary/relators/aut$0929361 702 $aYordanov$b Boyan$4aut$4http://id.loc.gov/vocabulary/relators/aut 702 $aAydin Gol$b Ebru$4aut$4http://id.loc.gov/vocabulary/relators/aut 801 0$bMiAaPQ 801 1$bMiAaPQ 801 2$bMiAaPQ 906 $aBOOK 912 $a9910254329903321 996 $aFormal Methods for Discrete-Time Dynamical Systems$92088784 997 $aUNINA