Introduction to Embedded Systems
Edward A. Lee, Sanjit A. Seshia · 2009
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.