000 04029nam a22006135i 4500
001 978-3-319-50763-7
003 DE-He213
005 20210118122302.0
007 cr nn 008mamaa
008 170309s2017 gw | s |||| 0|eng d
020 _a9783319507637
_9978-3-319-50763-7
024 7 _a10.1007/978-3-319-50763-7
_2doi
050 4 _aTJ212-225
072 7 _aTJFM
_2bicssc
072 7 _aTEC004000
_2bisacsh
072 7 _aTJFM
_2thema
082 0 4 _a629.8
_223
100 1 _aBelta, Calin.
_eauthor.
_4aut
_4http://id.loc.gov/vocabulary/relators/aut
245 1 0 _aFormal Methods for Discrete-Time Dynamical Systems
_h[electronic resource] /
_cby Calin Belta, Boyan Yordanov, Ebru Aydin Gol.
250 _a1st ed. 2017.
264 1 _aCham :
_bSpringer International Publishing :
_bImprint: Springer,
_c2017.
300 _aXVIII, 284 p. 93 illus., 39 illus. in color.
_bonline resource.
336 _atext
_btxt
_2rdacontent
337 _acomputer
_bc
_2rdamedia
338 _aonline resource
_bcr
_2rdacarrier
347 _atext file
_bPDF
_2rda
490 1 _aStudies in Systems, Decision and Control,
_x2198-4182 ;
_v89
505 0 _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.
520 _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.
650 0 _aControl engineering.
650 0 _aComputational complexity.
650 0 _aSystem theory.
650 1 4 _aControl and Systems Theory.
_0http://scigraph.springernature.com/things/product-market-codes/T19010
650 2 4 _aComplexity.
_0http://scigraph.springernature.com/things/product-market-codes/T11022
650 2 4 _aSystems Theory, Control.
_0http://scigraph.springernature.com/things/product-market-codes/M13070
700 1 _aYordanov, Boyan.
_eauthor.
_4aut
_4http://id.loc.gov/vocabulary/relators/aut
700 1 _aAydin Gol, Ebru.
_eauthor.
_4aut
_4http://id.loc.gov/vocabulary/relators/aut
710 2 _aSpringerLink (Online service)
773 0 _tSpringer eBooks
776 0 8 _iPrinted edition:
_z9783319507620
776 0 8 _iPrinted edition:
_z9783319507644
776 0 8 _iPrinted edition:
_z9783319844855
830 0 _aStudies in Systems, Decision and Control,
_x2198-4182 ;
_v89
856 4 0 _uhttps://doi.org/10.1007/978-3-319-50763-7
912 _aZDB-2-ENG
999 _c445572
_d445572
942 _cEB
506 _aAvailable to subscribing member institutions only. Доступно лише організаціям членам підписки.
506 _fOnline access from local network of NaUOA.
506 _fOnline access with authorization at https://link.springer.com/
506 _fОнлайн-доступ з локальної мережі НаУОА.
506 _fОнлайн доступ з авторизацією на https://link.springer.com/