Formal Methods for Discrete-Time Dynamical Systems
Lieferzeit: Lieferbar innerhalb 14 Tagen
181,89 €
inkl. 7 % MwSt. zzgl. Versandkosten
Studies in Systems, Decision and Control 89
ISBN: | 3319844857 |
---|---|
ISBN 13: | 9783319844855 |
Autor: | Belta, Calin/Yordanov, Boyan/Aydin Gol, Ebru |
Verlag: | Springer Verlag GmbH |
Umfang: | xviii, 284 S., 54 s/w Illustr., 39 farbige Illustr., 284 p. 93 illus., 39 illus. in color. |
Erscheinungsdatum: | 21.07.2018 |
Auflage: | 1/2017 |
Produktform: | Kartoniert |
Einband: | KT |
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.
Das könnte Ihnen auch gefallen …
-
Newtons Method and Dynamical Systems
160,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
Stored Procedure Migration In Erp Systems
23,90 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
Optimization of Discrete Time Systems
53,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
Difference Equations and Discrete Dynamical Systems with Applications
160,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
The Atomistic Nature of Crystal Growth
213,99 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
Formal Methods for Dynamical Systems
49,22 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
Discrete-time Stochastic Systems
80,24 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
Formale Methoden und kleine Systeme
74,99 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
Controllability of Discrete Dynamical Systems
54,90 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
Progress on Difference Equations and Discrete Dynamical Systems
181,89 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
Numerical Methods for Nonsmooth Dynamical Systems
320,99 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
Discrete Dynamical Models
53,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
Formal Methods
106,99 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
Discrete-Time and Discrete-Space Dynamical Systems
106,99 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
Realization Theory of Discrete-Time Dynamical Systems
106,99 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
Advances in Discrete Dynamical Systems, Difference Equations and Applications
213,99 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
Advances in Difference Equations and Discrete Dynamical Systems
106,99 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
Dynamical Systems
129,00 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
Time-Delayed Chaotic Dynamical Systems
53,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
Difference Equations, Discrete Dynamical Systems and Applications
106,99 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
Dynamical Systems
37,40 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
Dynamical Systems and Methods
160,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
Formal Methods
96,29 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
Formal Methods in Systems Biology
53,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
Dynamical Systems
53,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
Formal Methods
106,99 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
Formal Methods for Real-Time and Probabilistic Systems
53,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
A First Course in Discrete Dynamical Systems
74,89 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
Use of Complementary and Alternative Medical Methods in Turkey
61,90 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
Control Problems of Discrete-Time Dynamical Systems
106,99 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
Discrete-Time and Discrete-Space Dynamical Systems
106,99 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
Spectral Methods for Non-Standard Eigenvalue Problems
53,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
Dynamical Systems
213,99 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
Difference Equations, Discrete Dynamical Systems and Applications
160,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
Modeling and Control of Discrete-event Dynamical Systems
74,89 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
Multiple-Time-Scale Dynamical Systems
160,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
Discrete-Time Linear Systems
53,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
The Atomistic Nature of Crystal Growth
213,99 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
Time-Varying Discrete Linear Systems
106,99 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
Dynamical Systems
106,99 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
Control Problems of Discrete-Time Dynamical Systems
106,99 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
Formal Methods
106,99 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
Color Image Processing for Advanced Driver Assistance Systems
79,90 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
Safe Autonomy with Control Barrier Functions
64,19 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
Difference Equations, Discrete Dynamical Systems and Applications
160,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
Difference Equations and Discrete Dynamical Systems with Applications
160,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
Discrete Event Systems Applied in Medicine
49,00 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
Difference Equations, Discrete Dynamical Systems and Applications
213,99 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
Difference Equations, Discrete Dynamical Systems and Applications
106,99 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
Averaging Methods in Nonlinear Dynamical Systems
106,99 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
Formal Methods
117,69 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
Approximate and Noisy Realization of Discrete-Time Dynamical Systems
106,99 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
Der ‚Istihsan‘ im Islamischen Recht. Eine Methode der Rechtsfindung und ihre zeitgenössische Bedeutung
27,95 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
Control Problems of Discrete-Time Dynamical Systems
106,99 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
Discrete Systems
106,99 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
Numerical Continuation Methods for Dynamical Systems
171,19 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
Dynamical Systems
69,54 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
Analysis, Controllability and Optimization of Time-Discrete Systems and Dynamical Games
53,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
Hybride Methoden im Projektmanagement. Charakteristika und Verbreitung in der Praxis
42,95 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
Dynamical Systems
53,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
Time Dependent Ginzburg-Landau Equation in Fractal Space-time
49,00 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
Formal Methods and Hybrid Real-Time Systems
53,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
Geld- und Finanzmarktindikatoren als zusätzliche Repräsentanten
49,00 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
Difference Equations, Discrete Dynamical Systems and Applications
160,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
In Discrete Time
64,95 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
Reconstructing Biochemical Systems
59,00 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
Developing Creative Thinking in Geometry Classes
71,90 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
Numerical Methods for Nonsmooth Dynamical Systems
320,99 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
Geometric Theory of Discrete Nonautonomous Dynamical Systems
53,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
Advances in Discrete Time Systems
129,00 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
Advances in Difference Equations and Discrete Dynamical Systems
106,99 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
Wired and Wireless Inter-Chip and Intra-Chip Communications
53,90 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
Newtons Method and Dynamical Systems
160,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
Multiple-Time-Scale Dynamical Systems
160,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
Formal Methods
53,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
Adaptive and Learning-Based Control of Safety-Critical Systems
85,59 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
Formal Methods in Systems Engineering
53,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
Dynamical Systems
37,40 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
Dynamical Systems
106,99 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
Chaos in Discrete Dynamical Systems
53,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
Formal Methods for Discrete-Time Dynamical Systems
181,89 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
Discrete Dynamical Systems
74,89 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
Discrete-Time Linear Systems
53,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
Discrete Time Systems
175,00 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
Positive Dynamical Systems in Discrete Time
169,95 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
Nonlinear Time-discrete Systems
53,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
Advances in Discrete Dynamical Systems, Difference Equations and Applications
213,99 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
Opto-biochips for Microcytometry
59,00 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
Dynamical Systems and Methods
160,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
Discrete Dynamical Systems
106,99 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
Dynamical Systems
64,19 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
Versatile Discrete Event Models of Flexible Manufacturing Systems
59,00 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
PLONGEE SUBAQUATIQUE ET SYSTEME NEUROVEGETATIF
86,90 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
Dynamical Systems
213,99 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
Dynamical Systems
106,99 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
Dynamical Systems
80,24 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
Discrete Event Frameworks of Environmental Sustainable Development
54,90 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
Progress on Difference Equations and Discrete Dynamical Systems
181,89 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
Safe Autonomy with Control Barrier Functions
85,59 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
Difference Equations, Discrete Dynamical Systems and Applications
160,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb