東華大學圖書館 |

Language: English

Help

回圖書館首頁

手機版館藏查詢

Back

Switch To: Labeled | MARC Mode | ISBD

Formal methods for discrete-time dyn...

Belta, Calin.

Linked to FindBook

Google Book

Amazon

博客來

Formal methods for discrete-time dynamical systems

Record Type:	Electronic resources : Monograph/item
Title/Author:	Formal methods for discrete-time dynamical systems/ by Calin Belta, Boyan Yordanov, Ebru Aydin Gol.
Author:	Belta, Calin.
other author:	Yordanov, Boyan.
Published:	Cham :Springer International Publishing : : 2017.,
Description:	xviii, 284 p. :ill., digital ;24 cm.
[NT 15003449]:	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.
Contained By:	Springer eBooks
Subject:	Dynamics. -
Online resource:	http://dx.doi.org/10.1007/978-3-319-50763-7
ISBN:	9783319507637

Formal methods for discrete-time dynamical systems
Belta, Calin.

Formal methods for discrete-time dynamical systems[electronic resource] /by Calin Belta, Boyan Yordanov, Ebru Aydin Gol. - Cham :Springer International Publishing :2017. - xviii, 284 p. :ill., digital ;24 cm. - Studies in systems, decision and control,v.892198-4182 ;. - Studies in systems, decision and control ;v.89..

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.

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.

ISBN: 9783319507637

Standard No.: 10.1007/978-3-319-50763-7doiSubjects--Topical Terms:

519830
Dynamics.

LC Class. No.: TA352

Dewey Class. No.: 620.104

Formal methods for discrete-time dynamical systems
LDR:02249nmm a2200325 a 4500 001 2092808
003 DE-He213
005 20170911132221.0
006 m d
007 cr nn 008maaau
008 171117s2017 gw s 0 eng d
020 $a 9783319507637 $q (electronic bk.)
020 $a 9783319507620 $q (paper)
024 7 $a 10.1007/978-3-319-50763-7 $2 doi
035 $a 978-3-319-50763-7
040 $a GP $c GP
041 0 $a eng
050 4 $a TA352
072 7 $a TJFM $2 bicssc
072 7 $a TEC004000 $2 bisacsh
082 0 4 $a 620.104 $2 23
090 $a TA352 $b .B453 2017
100 1 $a Belta, Calin. $3 3227052
245 1 0 $a Formal methods for discrete-time dynamical systems $h [electronic resource] / $c by Calin Belta, Boyan Yordanov, Ebru Aydin Gol.
260 $a Cham : $b Springer International Publishing : $b Imprint: Springer, $c 2017.
300 $a xviii, 284 p. : $b ill., digital ; $c 24 cm.
490 1 $a Studies in systems, decision and control, $x 2198-4182 ; $v v.89
505 0 $a 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 $a 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.
650 0 $a Dynamics. $3 519830
650 1 4 $a Engineering. $3 586835
650 2 4 $a Control. $3 1006321
650 2 4 $a Complexity. $3 893807
650 2 4 $a Systems Theory, Control. $3 893834
700 1 $a Yordanov, Boyan. $3 3227053
700 1 $a Gol, Ebru Aydin. $3 3227054
710 2 $a SpringerLink (Online service) $3 836513
773 0 $t Springer eBooks
830 0 $a Studies in systems, decision and control ; $v v.89. $3 3227055
856 4 0 $u http://dx.doi.org/10.1007/978-3-319-50763-7
950 $a Engineering (Springer-11647)