8 Cyber-Physical Systems: From Theory to Practice
In certain cases, it would be needed to impose restrictions on the state and inputs to the cyber com-
ponent. Such conditions can be modeled imposing that η and v belong to a subset of their state and
input space, respectively, namely,
(η, v) ∈ D
C
⊂ ϒ ×V (1.4)
The model of the cyber components is given by Equations 1.3 and 1.4. Next, we provide specific
constructions of models of cyber components.
1.2.2.1 Pure Finite-State Machines
An FSM or deterministic finite automaton is a system with inputs, states, and outputs taking values
from discrete sets that are updated at discrete transitions (or jumps) triggered by its inputs. At every
jump, the states and the outputs of the FSM are updated. Let v denote ...