Formal Methods for Discrete-Time Dynamical Systems - Tapa blanda

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

 
9783319507644: Formal Methods for Discrete-Time Dynamical Systems
Tapa blanda
ISBN 10: 3319507648 ISBN 13: 9783319507644
Editorial: Springer, 2017

Esta edición ISBN ya no está disponible.

Sinopsis

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.

"Sinopsis" puede pertenecer a otra edición de este libro.

Editorial
Springer
Año de publicación
2017
Idioma
Inglés
ISBN 10 
3319507648
ISBN 13 
9783319507644
Encuadernación
Paperback
Contacto del fabricante
no disponible
Persona responsable
no disponible

Otras ediciones populares con el mismo título

9783319507620: Formal Methods for Discrete-Time Dynamical Systems: 89 (Studies in Systems, Decision and Control)

Edición Destacada

ISBN 10:  3319507621 ISBN 13:  9783319507620
Editorial: Springer, 2017
Tapa dura