In this paper we develop a general framework, called 'consistent reduction' for formalizing and solving a class of minimization/reduction problems in discrete-event systems. Given an arbitrary finite-state automaton and a binary relation 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 reduction 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. We demonstrate the developed general framework on a reduction problem in state estimation.

On consistent reduction in discrete-event systems

Cai K.;Giua A.;Seatzu C.
2019

Abstract

In this paper we develop a general framework, called 'consistent reduction' for formalizing and solving a class of minimization/reduction problems in discrete-event systems. Given an arbitrary finite-state automaton and a binary relation 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 reduction 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. We demonstrate the developed general framework on a reduction problem in state estimation.
978-1-7281-0356-3
State reduction
Discrete-event systems
File in questo prodotto:
Non ci sono file associati a questo prodotto.

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: http://hdl.handle.net/11584/299249
Citazioni
  • ???jsp.display-item.citation.pmc??? ND
  • Scopus 2
  • ???jsp.display-item.citation.isi??? 2
social impact