Model reduction of finite-state machines by contraction

DOI10.1109/9.920804zbMath0997.68079OpenAlexW2105481239MaRDI QIDQ4540390

Alessandro Giua

Publication date: 21 July 2002

Published in: IEEE Transactions on Automatic Control (Search for Journal in Brave)

Full work available at URL: http://hdl.handle.net/11584/665

zbMATH Keywords

finite-state machinesdiscrete event systems

Mathematics Subject Classification ID

Control/observation systems involving computers (process control, etc.) (93C83) Discrete event control/observation systems (93C65) System structure simplification (93B11) Algebraic theory of languages and automata (68Q70)

This page was built for publication: Model reduction of finite-state machines by contraction