Formal Methods for Discrete-Time Dynamical Systems
Formal Methods for Discrete-Time Dynamical Systems
EBOOK IN LINGUA STRANIERA

Formal Methods for Discrete-Time Dynamical Systems

di Ebru Aydin Gol (Autore) ,
Calin Belta (Autore) ,
Boyan Yordanov (Autore)
Springer, 2017
149,75 € +1500 punti Effe
Venditore: Feltrinelli
Acquista online
Scaricabile subito
Articolo acquistabile con Carta del Docente
Articolo acquistabile con Carta Cultura Giovani e Carta del Merito
Articolo acquistabile con Carta della Cultura
Carta della Cultura
Dati e Statistiche
Salvato in 0 liste dei desideri
Formal Methods for Discrete-Time Dynamical Systems
Scaricabile subito
149,75 €
149,75 €
Scaricabile subito

Descrizione


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.

Dettagli

Compatibilità:
Tutti i dispositivi (eccetto Kindle) Scopri di più
Layout:
Reflowable
EAN:
9783319507637

Compatibilità

Formato:

Gli eBook venduti da Feltrinelli.it sono in formato ePub e possono essere protetti da Adobe DRM. In caso di download di un file protetto da DRM si otterrà un file in formato .acs, (Adobe Content Server Message), che dovrà essere aperto tramite Adobe Digital Editions e autorizzato tramite un account Adobe, prima di poter essere letto su pc o trasferito su dispositivi compatibili.

Scopri di più

Compatibilità:

Gli eBook venduti da Feltrinelli.it possono essere letti utilizzando uno qualsiasi dei seguenti dispositivi: PC, eReader, Smartphone, Tablet o con una app Kobo iOS o Android.

Scopri di più

Cloud:

Gli eBook venduti da Feltrinelli.it sono sincronizzati automaticamente su tutti i client di lettura Kobo successivamente all’acquisto. Grazie al Cloud Kobo i progressi di lettura, le note, le evidenziazioni vengono salvati e sincronizzati automaticamente su tutti i dispositivi e le APP di lettura Kobo utilizzati per la lettura.

Scopri di più

Clicca qui per sapere come scaricare gli ebook utilizzando un pc con sistema operativo Windows

Questo prodotto lo trovi anche

eBook in lingua straniera Mathematics Mathematics General
​