UNICA IRIS Institutional Research Information System
IRIS è il sistema di gestione integrata dei dati della ricerca (persone, progetti, pubblicazioni, attività) adottato dall'Università degli Studi di Cagliari dal mese di luglio 2015.
EnglishThis note discusses an approach to the model reduction of discrete event systems represented by finite-state machines. A set of good reduced-order approximations of a deterministic finite-state machine M can be efficiently computed by looking at its contractions, i.e., finite-state machines constructed from M by merging two states. In some particular case, it is also possible to prove that the approximations thus constructed are infimal, in the sense that there do not exist better approximations with the same number of states. This note also defines a merit function to choose, among a set of approximations, the best one with respect to a given observed behavior.
| Titolo: | Model reduction of finite state machines by contraction |
| Autori: | |
| Data di pubblicazione: | 2001 |
| Rivista: | |
| Handle: | http://hdl.handle.net/11584/665 |
| Tipologia: | 1.1 Articolo in rivista |
File in questo prodotto:
| File | Descrizione | Tipologia | Licenza | |
|---|---|---|---|---|
| 01tac_draft.pdf | versione post-print | Open Access Visualizza/Apri |
http://hdl.handle.net/11584/665
Copyright © 2021