In this paper we develop a general framework, called "consistent reduction", for formalizing and solving a class of state minimization/reduction problems in discrete-event systems. Given an arbitrary finite-state automaton and a cover on its state set, we propose a consistent reduction procedure that generates a reduced automaton, preserving certain special properties of the original automaton. The key concept of the consistent reduction procedure is the dynamically consistent cover; in each cell of this cover, any two states, as well as their future states reached by the same system trajectories, satisfy the binary relation induced from the given cover. We propose a new algorithm that computes a dynamically consistent cover that refines a given cover. We demonstrate the developed general framework on state reduction problems in different application areas. (C) 2022 Elsevier Ltd. All rights reserved.

Consistent reduction in discrete-event systems

Cai, K
Primo
Membro del Collaboration Group
;
Giua, A
Penultimo
Membro del Collaboration Group
;
Seatzu, C
Ultimo
Membro del Collaboration Group
2022-01-01

Abstract

In this paper we develop a general framework, called "consistent reduction", for formalizing and solving a class of state minimization/reduction problems in discrete-event systems. Given an arbitrary finite-state automaton and a cover on its state set, we propose a consistent reduction procedure that generates a reduced automaton, preserving certain special properties of the original automaton. The key concept of the consistent reduction procedure is the dynamically consistent cover; in each cell of this cover, any two states, as well as their future states reached by the same system trajectories, satisfy the binary relation induced from the given cover. We propose a new algorithm that computes a dynamically consistent cover that refines a given cover. We demonstrate the developed general framework on state reduction problems in different application areas. (C) 2022 Elsevier Ltd. All rights reserved.
File in questo prodotto:
File Dimensione Formato  
22aut_b.pdf

Solo gestori archivio

Tipologia: versione editoriale
Dimensione 750.72 kB
Formato Adobe PDF
750.72 kB Adobe PDF   Visualizza/Apri   Richiedi una copia

I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.

Utilizza questo identificativo per citare o creare un link a questo documento: https://hdl.handle.net/11584/345187
Citazioni
  • ???jsp.display-item.citation.pmc??? ND
  • Scopus 1
  • ???jsp.display-item.citation.isi??? 0
social impact