Abstract: In this article, we introduce a new approach for
analyzing UML designs to detect the inconsistencies between
multiple state diagrams and sequence diagrams. The Super State
Analysis (SSA) identifies the inconsistencies in super states, single
step transitions, and sequences. Because SSA considers multiple
UML state diagrams, it discovers inconsistencies that cannot be
discovered when considering only a single UML state diagram. We
have introduced a transition set that captures relationship information
that is not specifiable in UML diagrams. The SSA model uses the
transition set to link transitions of multiple state diagrams together.
The analysis generates three different sets automatically. These sets
are compared to the provided sets to detect the inconsistencies. SSA
identifies five types of inconsistencies: impossible super states,
unreachable super states, illegal transitions, missing transitions, and
illegal sequences.
Abstract: The present paper proposes high performance nonlinear
force controllers for a servopneumatic real-time fatigue test
machine. A CompactRIO® controller was used, being fully
programmed using LabVIEW language. Fuzzy logic control
algorithms were evaluated to tune the integral and derivative
components in the development of hybrid controllers, namely a FLC
P and a hybrid FLC PID real-time-based controllers. Their
behaviours were described by using state diagrams. The main
contribution is to ensure a smooth transition between control states,
avoiding discrete transitions in controller outputs. Steady-state errors
lower than 1.5 N were reached, without retuning the controllers.
Good results were also obtained for sinusoidal tracking tasks from
1/¤Ç to 8/¤Ç Hz.