Temporal Logic and State Systems

by Fred Kröger, Stephan Merz

Foundations of Digital Signal Theory, algorithms and hardware design starts by introducing the mathematical foundations of DSP, assuming little prior knowledge of the subject from the reader, and moves on to discuss more complex topics such as Fourier, Laplace and digital filtering. It provides detailed information on off-line, real-time and DSP programming, and guides the reader through advanced topics such as DSP hardware design, FIR and IIR filter design and difference equation manipulation. A CD accompanies the book. It provides the reader with programs that demonstrate equations discussed in the text and source codes to enable the reader to incorporate algorithms into their own DSP programs.

Genres: Logic

448 pages, Hardcover

First published April 28, 2008

Reviews

[Noah · Rating 3 out of 5]

While it contains a useful list of temporal logical laws, Temporal Logic and State Systems by Kroeger and Merz is not a self-contained introduction to the subject. You will want to read Principles of Model Checking by Baier and Katoen first. You will also want to be familiar with the basic notation and theorems regarding fixed points of monotone functions, for which subject see Automata, Logics, and Infinite Games: "Some Fixed Point Basics" by Graedel, Thomas, and Wilke (ed.). Pretty much all the information you could ever need on CTL and LTL is contained in Temporal Logic and State Systems but much of it is in excess of what you'll need for most applications.