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

by Calin Belta, Boyan Yordanov, Ebru Aydin Gol

Control Systems Dynamical Systems Formal Methods Engineering Mathematics

0.0 out of 5 stars (0 ratings)

View on Amazon View on BAM Trade it in for cash!

Formal Methods for Discrete-Time Dynamical Systems presents a rigorous study of formal approaches to systems that evolve in discrete time. Written by Calin Belta, Boyan Yordanov, and Ebru Aydin Gol, this volume connects mathematical analysis, system modeling, and verification within the broader field of systems, decision, and control.

ISBN-13 9783319507620 ASIN 3319507621 Views 14 Publisher Springer Year 2017 Edition 1st ed. 2017 Format Hardcover Product Group Book Pages 302 Adult No Created September 07, 2026 Updated September 28, 2026

About This Book

Formal Methods for Discrete-Time Dynamical Systems examines the use of formal reasoning in the study of systems that evolve over discrete time steps.

The book focuses on mathematical approaches for describing, analyzing, and verifying discrete-time dynamical systems.

It is authored by Calin Belta, Boyan Yordanov, and Ebru Aydin Gol.

Part of the Studies in Systems, Decision and Control series, this volume is intended for readers interested in systems theory, formal methods, and mathematical control analysis.

I will be using this book for:

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

About This Book

Reviews

Write a Review

I will be using this book for: