9783319507620 - formal methods for discrete-time dynamical systems: 89 di belta (13 risultati)
Lingua: Inglese
Editore: Springer 2017
Serie: Studies in Systems, Decision and Control, Libro 91 di 378. Libro 91 di 378 - Studies in Systems, Decision and Control
- Rilegato
- Prima edizione
Da: SpringBooks, Berlin, , GermaniaSpringBooks
Contatta il venditoreVenditore con 3 stelleCondizione: Usato - Come nuovo
EUR 90,62
EUR 39,90 spedizioneSpedito da Germania a U.S.A.Quantità: 1 disponibili
Hardcover. Condizione: As New. 1. Auflage. like new.
Lingua: Inglese
Editore: Springer 2017
Serie: Studies in Systems, Decision and Control, Libro 91 di 378. Libro 91 di 378 - Studies in Systems, Decision and Control
- Rilegato
Da: Ria Christie Collections, Uxbridge, Regno UnitoRia Christie Collections
Contatta il venditoreVenditore con 5 stelleCondizione: Nuovo
EUR 176,82
EUR 13,89 spedizioneSpedito da Regno Unito a U.S.A.Quantità: Più di 20 disponibili
Condizione: New. In.
Lingua: Inglese
Editore: Springer 2017
Serie: Studies in Systems, Decision and Control, Libro 91 di 378. Libro 91 di 378 - Studies in Systems, Decision and Control
- Rilegato
Da: Buchpark, Trebbin, , GermaniaBuchpark
Contatta il venditoreVenditore con 5 stelleCondizione: Usato - Ottimo
EUR 86,21
EUR 105,00 spedizioneSpedito da Germania a U.S.A.Quantità: 2 disponibili
Condizione: Sehr gut. Zustand: Sehr gut | Seiten: 304 | Sprache: Englisch | Produktart: Bücher | 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 mor…e 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.
Lingua: Inglese
Editore: Springer 2017
Serie: Studies in Systems, Decision and Control, Libro 91 di 378. Libro 91 di 378 - Studies in Systems, Decision and Control
- Rilegato
Da: Buchpark, Trebbin, , GermaniaBuchpark
Contatta il venditoreVenditore con 5 stelleCondizione: Usato - Ottimo
EUR 86,21
EUR 105,00 spedizioneSpedito da Germania a U.S.A.Quantità: 1 disponibili
Condizione: Sehr gut. Zustand: Sehr gut | Seiten: 304 | Sprache: Englisch | Produktart: Bücher | 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 mor…e 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.
Lingua: Inglese
Editore: Springer 2017
Serie: Studies in Systems, Decision and Control, Libro 91 di 378. Libro 91 di 378 - Studies in Systems, Decision and Control
- Rilegato
Da: Books Puddle, New York, NY, U.S.A.Books Puddle
Contatta il venditoreVenditore con 4 stelleCondizione: Nuovo
EUR 240,06
EUR 3,49 spedizioneSpedito in U.S.A.Quantità: 4 disponibili
Condizione: New. pp. 284.
Lingua: Inglese
Editore: Springer International Publishing 2017
Serie: Studies in Systems, Decision and Control, Libro 91 di 378. Libro 91 di 378 - Studies in Systems, Decision and Control
- Rilegato
Da: AHA-BUCH GmbH, Einbeck, GermaniaAHA-BUCH GmbH
Contatta il venditoreVenditore con 5 stelleCondizione: Nuovo
EUR 181,89
EUR 63,12 spedizioneSpedito da Germania a U.S.A.Quantità: 1 disponibili
Buch. Condizione: Neu. Druck auf Anfrage Neuware - Printed after ordering - 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.
Lingua: Inglese
Editore: Springer Verlag 2017
Serie: Studies in Systems, Decision and Control, Libro 91 di 378. Libro 91 di 378 - Studies in Systems, Decision and Control
- Rilegato
Da: Revaluation Books, Exeter, , Regno UnitoRevaluation Books
Contatta il venditoreVenditore con 5 stelleCondizione: Nuovo
EUR 279,42
EUR 14,49 spedizioneSpedito da Regno Unito a U.S.A.Quantità: 2 disponibili
Hardcover. Condizione: Brand New. 284 pages. 9.50x6.00x0.75 inches. In Stock.
Lingua: Inglese
Editore: Springer 2017
Serie: Studies in Systems, Decision and Control, Libro 91 di 378. Libro 91 di 378 - Studies in Systems, Decision and Control
- Rilegato
- Print on Demand
Da: Brook Bookstore On Demand, Napoli, NA, ItaliaBrook Bookstore On Demand
Contatta il venditoreVenditore con 3 stelleCondizione: Nuovo
EUR 142,27
EUR 6,80 spedizioneSpedito da Italia a U.S.A.Quantità: Più di 20 disponibili
Condizione: new. Questo è un articolo print on demand.
Lingua: Inglese
Editore: Springer International Publishing 2017
Serie: Studies in Systems, Decision and Control, Libro 91 di 378. Libro 91 di 378 - Studies in Systems, Decision and Control
- Rilegato
- Print on Demand
Da: moluna, Greven, , Germaniamoluna
Contatta il venditoreVenditore con 5 stelleCondizione: Nuovo
EUR 153,73
EUR 48,99 spedizioneSpedito da Germania a U.S.A.Quantità: Più di 20 disponibili
Gebunden. Condizione: New. Dieser Artikel ist ein Print on Demand Artikel und wird nach Ihrer Bestellung fuer Sie gedruckt. Provides a self-contained exposition of temporal logic control for finite nondeterministic systems, which are useful even for seasoned formal methods researchersPresents formal verification and control algo…rithms for disc.
Lingua: Inglese
Editore: Springer International Publishing Mrz 2017 2017
Serie: Studies in Systems, Decision and Control, Libro 91 di 378. Libro 91 di 378 - Studies in Systems, Decision and Control
- Rilegato
- Print on Demand
Da: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, , GermaniaBuchWeltWeit Ludwig Meier e.K.
Contatta il venditoreVenditore con 5 stelleCondizione: Nuovo
EUR 181,89
EUR 23,00 spedizioneSpedito da Germania a U.S.A.Quantità: 2 disponibili
Buch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -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 gen…eral 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. 304 pp. Englisch.
Lingua: Inglese
Editore: Springer International Publishing, Springer International Publishing Mär 2017 2017
Serie: Studies in Systems, Decision and Control, Libro 91 di 378. Libro 91 di 378 - Studies in Systems, Decision and Control
- Rilegato
- Print on Demand
Da: buchversandmimpf2000, Emtmannsberg, BAYE, Germaniabuchversandmimpf2000
Contatta il venditoreVenditore con 5 stelleCondizione: Nuovo
EUR 181,89
EUR 60,00 spedizioneSpedito da Germania a U.S.A.Quantità: 1 disponibili
Buch. Condizione: Neu. This item is printed on demand - Print on Demand Titel. Neuware -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.Springer-Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 304 pp. Englisch.
Lingua: Inglese
Editore: Springer 2017
Serie: Studies in Systems, Decision and Control, Libro 91 di 378. Libro 91 di 378 - Studies in Systems, Decision and Control
- Rilegato
- Print on Demand
Da: Majestic Books, Hounslow, , Regno UnitoMajestic Books
Contatta il venditoreVenditore con 4 stelleCondizione: Nuovo
EUR 252,95
EUR 7,54 spedizioneSpedito da Regno Unito a U.S.A.Quantità: 4 disponibili
Condizione: New. Print on Demand pp. 284.
Lingua: Inglese
Editore: Springer 2017
Serie: Studies in Systems, Decision and Control, Libro 91 di 378. Libro 91 di 378 - Studies in Systems, Decision and Control
- Rilegato
- Print on Demand
Da: Biblios, frankfurt am main, HESSE, GermaniaBiblios
Contatta il venditoreVenditore con 4 stelleCondizione: Nuovo
EUR 252,54
EUR 9,95 spedizioneSpedito da Germania a U.S.A.Quantità: 4 disponibili
Condizione: New. PRINT ON DEMAND pp. 284.
