Items related to Formal Methods for Discrete-Time Dynamical Systems

Formal Methods for Discrete-Time Dynamical Systems - Softcover

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

 
9783319507644: Formal Methods for Discrete-Time Dynamical Systems
Softcover
ISBN 10: 3319507648 ISBN 13: 9783319507644
Publisher: Springer, 2017

This specific ISBN edition is currently not available.

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.

"synopsis" may belong to another edition of this title.

Publisher
Springer
Publication date
2017
Language
English
ISBN 10 
3319507648
ISBN 13 
9783319507644
Binding
Paperback

(No Available Copies)

Search Books:



Create a Want

Can't find the book you're looking for? We'll keep searching for you. If one of our booksellers adds it to AbeBooks, we'll let you know!

Create a Want

Other Popular Editions of the Same Title

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

Featured Edition

ISBN 10:  3319507621 ISBN 13:  9783319507620
Publisher: Springer, 2017
Hardcover