國立高雄大學圖資館 |

Language: English

Back

Formal methods for discrete-time dyn...

Belta, Calin.

Formal methods for discrete-time dynamical systems

Record Type:	Electronic resources : Monograph/item
Title/Author:	Formal methods for discrete-time dynamical systemsby 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.
Contained By:	Springer eBooks
Subject:	Dynamics.
Online resource:	http://dx.doi.org/10.1007/978-3-319-50763-7
ISBN:	9783319507637$q(electronic bk.)

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.3..

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$q(electronic bk.)

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

189568
Dynamics.

LC Class. No.: TA352

Dewey Class. No.: 620.104

Formal methods for discrete-time dynamical systems
LDR:02249nmm a2200325 a 4500 001 509115
003 DE-He213
005 20170911132221.0
006 m d
007 cr nn 008maaau
008 171121s2017 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 775725
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 189568
650 1 4 $a Engineering. $3 210888
650 2 4 $a Control. $3 349080
650 2 4 $a Complexity. $3 274400
650 2 4 $a Systems Theory, Control. $3 274654
700 1 $a Yordanov, Boyan. $3 775726
700 1 $a Gol, Ebru Aydin. $3 775727
710 2 $a SpringerLink (Online service) $3 273601
773 0 $t Springer eBooks
830 0 $a Studies in systems, decision and control ; $v v.3. $3 678532
856 4 0 $u http://dx.doi.org/10.1007/978-3-319-50763-7
950 $a Engineering (Springer-11647)