Formal Methods for Discrete-Time Dynamical Systems - Couverture souple

Livre 91 sur 378: Studies in Systems, Decision and Control

Belta, Calin; Yordanov, Boyan; Aydin Gol, Ebru

 
9783319507644: Formal Methods for Discrete-Time Dynamical Systems
Couverture souple
ISBN 10 : 3319507648 ISBN 13 : 9783319507644
Editeur : Springer, 2017

L'édition de cet ISBN n'est malheureusement plus disponible.

Synopsis

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.

Les informations fournies dans la section « Synopsis » peuvent faire référence à une autre édition de ce titre.

Éditeur
Springer
Date d'édition
2017
Langue
anglais
ISBN 10 
3319507648
ISBN 13 
9783319507644
Reliure
Paperback
Coordonnées du fabricant
non disponible
Personne responsable
non disponible

Autres éditions populaires du même titre

9783319507620: Formal Methods for Discrete-Time Dynamical Systems

Edition présentée

ISBN 10 :  3319507621 ISBN 13 :  9783319507620
Editeur : Springer, 2017
Couverture rigide