Model abstraction for finite state automata is helpful for decreasing computational complexity and improving comprehensibility for the verification and control synthesis of discrete-event systems (DES ...
This is a preview. Log in through your library . Abstract A group G end its global semigroup Glb G is considered. Every congruence relation in the group G induces a congruence relation in the ...
Abstract: Model abstraction for finite state automata is beneficial to reduce the complexity of discrete-event systems (DES), enhance the readability and facilitate the control synthesis and ...
Some results have been hidden because they may be inaccessible to you
Show inaccessible results
Feedback