Formal Methods for Discrete-Time Dynamical Systems

by Boyan Yordanov, Ebru Aydin Gol, Calin Belta

Book Overview

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.

• Format: Paperback
• Language: English
• ISBN: 3319844857
• ISBN13: 9783319844855
• Release Date: July 2018
• Publisher: Springer
• Length: 284 Pages
• Weight: 0.94 lbs.
• Dimensions: 0.6" x 6.1" x 9.2"