Introduction to Embedded Systems

actors Abstract signals Reorganiz e We seek an s  S N that satisfies F(s) = s. Such an s is called a fixed point. We would like the fixed point to exist and be unique. And we would like a constructive procedure to find it. It is the behavior of the system.