9783319507620 - formal methods for discrete-time dynamical systems: 89 (studies in systems, decision and control, 89) de belta (15 resultados)
Idioma: Inglés
Editorial: Springer 2017
Serie: Studies in Systems, Decision and Control, Libro 91 de 378. Libro 91 de 378 - Studies in Systems, Decision and Control
- Tapa dura
- Primera edición
Librería: SpringBooks, Berlin, , AlemaniaSpringBooks
Contactar con el vendedorVendedor de 4 estrellasCondición: Usado - Como Nuevo
EUR 90,62
Envío por EUR 39,90Se envía de Alemania a Estados Unidos de AmericaCantidad disponible: 1 disponibles
Hardcover. Condición: As New. 1. Auflage. like new.
Idioma: Inglés
Editorial: Springer 2017
Serie: Studies in Systems, Decision and Control, Libro 91 de 378. Libro 91 de 378 - Studies in Systems, Decision and Control
- Tapa dura
Librería: Ria Christie Collections, Uxbridge, Reino UnidoRia Christie Collections
Contactar con el vendedorVendedor de 5 estrellasCondición: Nuevo
EUR 176,79
Envío por EUR 13,89Se envía de Reino Unido a Estados Unidos de AmericaCantidad disponible: Más de 20 disponibles
Condición: New. In.
Idioma: Inglés
Editorial: Springer 2017
Serie: Studies in Systems, Decision and Control, Libro 91 de 378. Libro 91 de 378 - Studies in Systems, Decision and Control
- Tapa dura
Librería: Buchpark, Trebbin, , AlemaniaBuchpark
Contactar con el vendedorVendedor de 5 estrellasCondición: Usado - Excelente
EUR 86,15
Envío por EUR 105,00Se envía de Alemania a Estados Unidos de AmericaCantidad disponible: 2 disponibles
Condición: 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 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.
Idioma: Inglés
Editorial: Springer 2017
Serie: Studies in Systems, Decision and Control, Libro 91 de 378. Libro 91 de 378 - Studies in Systems, Decision and Control
- Tapa dura
Librería: Buchpark, Trebbin, , AlemaniaBuchpark
Contactar con el vendedorVendedor de 5 estrellasCondición: Usado - Excelente
EUR 86,15
Envío por EUR 105,00Se envía de Alemania a Estados Unidos de AmericaCantidad disponible: 1 disponibles
Condición: 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 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.
Idioma: Inglés
Editorial: Springer 2017
Serie: Studies in Systems, Decision and Control, Libro 91 de 378. Libro 91 de 378 - Studies in Systems, Decision and Control
- Tapa dura
Librería: GreatBookPrices, Columbia, MD, Estados Unidos de AmericaGreatBookPrices
Contactar con el vendedorVendedor de 5 estrellasCondición: Nuevo
EUR 193,43
Envío por EUR 2,28Se envía dentro de Estados Unidos de AmericaCantidad disponible: 15 disponibles
Condición: New.
Idioma: Inglés
Editorial: Springer 2017
Serie: Studies in Systems, Decision and Control, Libro 91 de 378. Libro 91 de 378 - Studies in Systems, Decision and Control
- Tapa dura
Librería: GreatBookPrices, Columbia, MD, Estados Unidos de AmericaGreatBookPrices
Contactar con el vendedorVendedor de 5 estrellasCondición: Usado - Como Nuevo
EUR 221,18
Envío por EUR 2,28Se envía dentro de Estados Unidos de AmericaCantidad disponible: 15 disponibles
Condición: As New. Unread book in perfect condition.
Idioma: Inglés
Editorial: Springer 2017
Serie: Studies in Systems, Decision and Control, Libro 91 de 378. Libro 91 de 378 - Studies in Systems, Decision and Control
- Tapa dura
Librería: Books Puddle, New York, NY, Estados Unidos de AmericaBooks Puddle
Contactar con el vendedorVendedor de 4 estrellasCondición: Nuevo
EUR 234,28
Envío por EUR 3,44Se envía dentro de Estados Unidos de AmericaCantidad disponible: 4 disponibles
Condición: New. pp. 284.
Idioma: Inglés
Editorial: Springer International Publishing 2017
Serie: Studies in Systems, Decision and Control, Libro 91 de 378. Libro 91 de 378 - Studies in Systems, Decision and Control
- Tapa dura
Librería: AHA-BUCH GmbH, Einbeck, AlemaniaAHA-BUCH GmbH
Contactar con el vendedorVendedor de 5 estrellasCondición: Nuevo
EUR 181,89
Envío por EUR 63,12Se envía de Alemania a Estados Unidos de AmericaCantidad disponible: 1 disponibles
Buch. Condición: 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 b…ook 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.
Idioma: Inglés
Editorial: Springer Verlag 2017
Serie: Studies in Systems, Decision and Control, Libro 91 de 378. Libro 91 de 378 - Studies in Systems, Decision and Control
- Tapa dura
Librería: Revaluation Books, Exeter, , Reino UnidoRevaluation Books
Contactar con el vendedorVendedor de 5 estrellasCondición: Nuevo
EUR 278,00
Envío por EUR 14,49Se envía de Reino Unido a Estados Unidos de AmericaCantidad disponible: 2 disponibles
Hardcover. Condición: Brand New. 284 pages. 9.50x6.00x0.75 inches. In Stock.
Idioma: Inglés
Editorial: Springer 2017
Serie: Studies in Systems, Decision and Control, Libro 91 de 378. Libro 91 de 378 - Studies in Systems, Decision and Control
- Tapa dura
- Impresión bajo demanda
Librería: Brook Bookstore On Demand, Napoli, NA, ItaliaBrook Bookstore On Demand
Contactar con el vendedorVendedor de 3 estrellasCondición: Nuevo
EUR 142,27
Envío por EUR 6,80Se envía de Italia a Estados Unidos de AmericaCantidad disponible: Más de 20 disponibles
Condición: new. Questo è un articolo print on demand.
Idioma: Inglés
Editorial: Springer International Publishing 2017
Serie: Studies in Systems, Decision and Control, Libro 91 de 378. Libro 91 de 378 - Studies in Systems, Decision and Control
- Tapa dura
- Impresión bajo demanda
Librería: moluna, Greven, , Alemaniamoluna
Contactar con el vendedorVendedor de 5 estrellasCondición: Nuevo
EUR 153,73
Envío por EUR 48,99Se envía de Alemania a Estados Unidos de AmericaCantidad disponible: Más de 20 disponibles
Gebunden. Condición: 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 algor…ithms for disc.
Idioma: Inglés
Editorial: Springer International Publishing Mrz 2017 2017
Serie: Studies in Systems, Decision and Control, Libro 91 de 378. Libro 91 de 378 - Studies in Systems, Decision and Control
- Tapa dura
- Impresión bajo demanda
Librería: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, , AlemaniaBuchWeltWeit Ludwig Meier e.K.
Contactar con el vendedorVendedor de 5 estrellasCondición: Nuevo
EUR 181,89
Envío por EUR 23,00Se envía de Alemania a Estados Unidos de AmericaCantidad disponible: 2 disponibles
Buch. Condición: 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 gene…ral 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.
Idioma: Inglés
Editorial: Springer International Publishing, Springer International Publishing Mär 2017 2017
Serie: Studies in Systems, Decision and Control, Libro 91 de 378. Libro 91 de 378 - Studies in Systems, Decision and Control
- Tapa dura
- Impresión bajo demanda
Librería: buchversandmimpf2000, Emtmannsberg, BAYE, Alemaniabuchversandmimpf2000
Contactar con el vendedorVendedor de 5 estrellasCondición: Nuevo
EUR 181,89
Envío por EUR 60,00Se envía de Alemania a Estados Unidos de AmericaCantidad disponible: 1 disponibles
Buch. Condición: 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.
Idioma: Inglés
Editorial: Springer 2017
Serie: Studies in Systems, Decision and Control, Libro 91 de 378. Libro 91 de 378 - Studies in Systems, Decision and Control
- Tapa dura
- Impresión bajo demanda
Librería: Majestic Books, Hounslow, , Reino UnidoMajestic Books
Contactar con el vendedorVendedor de 4 estrellasCondición: Nuevo
EUR 246,37
Envío por EUR 7,53Se envía de Reino Unido a Estados Unidos de AmericaCantidad disponible: 4 disponibles
Condición: New. Print on Demand pp. 284.
Idioma: Inglés
Editorial: Springer 2017
Serie: Studies in Systems, Decision and Control, Libro 91 de 378. Libro 91 de 378 - Studies in Systems, Decision and Control
- Tapa dura
- Impresión bajo demanda
Librería: Biblios, frankfurt am main, HESSE, AlemaniaBiblios
Contactar con el vendedorVendedor de 4 estrellasCondición: Nuevo
EUR 248,20
Envío por EUR 9,95Se envía de Alemania a Estados Unidos de AmericaCantidad disponible: 4 disponibles
Condición: New. PRINT ON DEMAND pp. 284.
