A finite-state machine (FSM), finite-state automaton (FSA), or simply state machine is a mathematical model of computation and an abstract machine that can be in exactly one of a finite number of ...

Abstract: In many applications, security is a serious issue due to the high risk of cyber-attacks. An adversary can cause severe damage by providing wrong information about the system and consequently ...

Abstract: In this paper, we consider the problem of structural simplification of finite state machines (FSMs), aiming at designing a structural simplification filter for FSMs by constructing pruning ...

Loose end #1: The dominant Wadena High School girls' basketball team has been getting a lot of press lately. It all started with article 44, "Success breeds success." As it turns out that article was ...