In this chapter, some properties of the Finite State Machine M = (Q, Q_0, Y, h, E) defined in Eq. (2.5), which abstracts the dependence of the discrete dynamics of H from its continuous evolution, are analyzed. In particular, we introduce the notions of Strongly connected components, Persistent states, and Traps. Then, several transformations of the FSM are illustrated, which preserve the relevant information needed to check observability properties of the H-system.
Discrete Structure of H-Systems and Background on Finite State Machines
De Santis E.
;Di Benedetto M. D.
2023-01-01
Abstract
In this chapter, some properties of the Finite State Machine M = (Q, Q_0, Y, h, E) defined in Eq. (2.5), which abstracts the dependence of the discrete dynamics of H from its continuous evolution, are analyzed. In particular, we introduce the notions of Strongly connected components, Persistent states, and Traps. Then, several transformations of the FSM are illustrated, which preserve the relevant information needed to check observability properties of the H-system.File in questo prodotto:
Non ci sono file associati a questo prodotto.
Pubblicazioni consigliate
I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.
