By Topic

Model reduction of finite-state machines by contraction

Sign In

Cookies must be enabled to login.After enabling cookies , please use refresh or reload or ctrl+f5 on the browser for the login options.

Formats Non-Member Member
$33 $13
Learn how you can qualify for the best price for this item!
Become an IEEE Member or Subscribe to
IEEE Xplore for exclusive pricing!
close button

puzzle piece

IEEE membership options for an individual and IEEE Xplore subscriptions for an organization offer the most affordable access to essential journal articles, conference papers, standards, eBooks, and eLearning courses.

Learn more about:

IEEE membership

IEEE Xplore subscriptions

1 Author(s)
A. Giua ; Dipt. di Ingegneria Electica ed Electtronica, Cagliari Univ., Italy

This paper 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 paper also defines a merit function to choose, among a set of approximations, the best one with respect to a given observed behavior

Published in:

IEEE Transactions on Automatic Control  (Volume:46 ,  Issue: 5 )