Question

我正在使用Boost MSM对机器人的行为进行建模。有多种状态，例如“ ManualMove”，“ AutoMove”，“ Work”，“ Idle”等。但是，我需要能够从任何状态强制停止机器人，使其处于无法移动且无法接收新命令的状态，因此我创建了“ EmergencyStopped”状态。 当机器人被要求重新装备自己时，机器人应回到“空闲”状态。

但是，Boost不建议创建从所有状态到单个状态的过渡，而是建议使用正交状态。因此，我可以例如执行“ AllOk”和一个interrupt_state“ EmergencyStopped”正交状态。

问题是，虽然我可以轻松地将机器人置于“紧急停止”状态，但我无法退出它并使机器人从之前的状态进入“空闲”状态。例如，如果机器人这样做：

[工作，一切正常]->停止
[工作，紧急情况已停止]->恢复

机器人将处于[Work，AllOk]状态，而我希望它处于[Idle，AllOk]状态。

所以我的问题是：

我可以并且应该为此工作流程使用正交状态吗？如果是，在查询正交状态“ EmergencyStopped”时如何强制将状态设置为“空闲”？
还是我应该使“ EmergencyStopped”成为非正交的并声明从所有状态到其的过渡？
还是有其他解决方案？

Answer 1

还有另一种解决方案。在您的情况下，复合状态是更好的选择。参见图。

如何避免向“ EmergencyStopped”编写许多转换。

如果“停止”事件发生为“正常”状态，则将所有需要转换为“紧急停止”的状态放置到Em。并将从“正常”到“紧急停止”的过渡。它的触发事件是“停止”。这种方法可以避免编写许多到“紧急停止”的过渡。即使您要添加“正常”的其他子状态，也无需为添加的状态添加转换。这是复合状态方法的优点之一。

如果发生“恢复”事件，如何过渡到“空闲”状态。

将“空闲”状态设置为initial_state。它在UML状态机图中反映为初始伪状态。

typedef mpl::vector<Idle> initial_state;

如果转换目标状态为父级状态为“正常”，则转换目标状态为“空闲”状态，因为它被标记为initial_state。

这两种技术可以解决您的问题。

这是完整的代码：

#include <iostream>
#include <boost/msm/back/state_machine.hpp>

#include <boost/msm/front/state_machine_def.hpp>
#include <boost/msm/front/functor_row.hpp>
#include <boost/static_assert.hpp>

namespace msm = boost::msm;
namespace msmf = boost::msm::front;
namespace mpl = boost::mpl;

// ----- Events
struct ev1 {};
struct ev2 {};
struct ev3 {};
struct stop {};
struct recover {};

// ----- State machine
struct YourSystem_:msmf::state_machine_def<YourSystem_>
{
    struct Normal_:msmf::state_machine_def<Normal_>
    {
        template <class Event,class Fsm>
        void on_entry(Event const&, Fsm&) const {
            std::cout << "Normal::on_entry()" << std::endl;
        }
        template <class Event,class Fsm>
        void on_exit(Event const&, Fsm&) const {
            std::cout << "Normal::on_exit()" << std::endl;
        }

        struct Idle:msmf::state<> {
            template <class Event,class Fsm>
            void on_entry(Event const&, Fsm&) const {
                std::cout << "Idle::on_entry()" << std::endl;
            }
            template <class Event,class Fsm>
            void on_exit(Event const&, Fsm&) const {
                std::cout << "Idle::on_exit()" << std::endl;
            }
        };

        struct Work:msmf::state<> {
            template <class Event,class Fsm>
            void on_entry(Event const&, Fsm&) const {
                std::cout << "Work::on_entry()" << std::endl;
            }
            template <class Event,class Fsm>
            void on_exit(Event const&, Fsm&) const {
                std::cout << "Work::on_exit()" << std::endl;
            }
        };

        struct AllOk:msmf::state<> {
            template <class Event,class Fsm>
            void on_entry(Event const&, Fsm&) const {
                std::cout << "AllOk::on_entry()" << std::endl;
            }
            template <class Event,class Fsm>
            void on_exit(Event const&, Fsm&) const {
                std::cout << "AllOk::on_exit()" << std::endl;
            }
        };

        // Set initial state
        typedef mpl::vector<Idle> initial_state;
        // Transition table
        struct transition_table:mpl::vector<
            //          Start      Event   Next       Action      Guard
            msmf::Row < Idle,      ev1,    Work,      msmf::none, msmf::none >,
            msmf::Row < Work,      ev2,    AllOk,     msmf::none, msmf::none >,
            msmf::Row < AllOk,     ev3,    Idle,      msmf::none, msmf::none >
            > {};
    };
    struct EmergencyStopped:msmf::state<>
    {
        template <class Event,class Fsm>
        void on_entry(Event const&, Fsm&) const {
            std::cout << "EmergencyStopped::on_entry()" << std::endl;
        }
        template <class Event,class Fsm>
        void on_exit(Event const&, Fsm&) const {
            std::cout << "EmergencyStopped::on_exit()" << std::endl;
        }
    };

    typedef msm::back::state_machine<Normal_> Normal;

    // Set initial state
    typedef Normal initial_state;
    // Transition table
    struct transition_table:mpl::vector<
        //          Start             Event     Next               Action      Guard
        msmf::Row < Normal,           stop,     EmergencyStopped,  msmf::none, msmf::none >,
        msmf::Row < EmergencyStopped, recover,  Normal,            msmf::none, msmf::none >
    > {};
};

// Pick a back-end
typedef msm::back::state_machine<YourSystem_> Ys;

int main()
{
    Ys ys;
    ys.start();

    std::cout << "> Send ev1()" << std::endl;
    ys.process_event(ev1());
    std::cout << "> Send ev2()" << std::endl;
    ys.process_event(ev2());

    std::cout << "> Send stop()" << std::endl;
    ys.process_event(stop());
    std::cout << "> Send recover()" << std::endl;
    ys.process_event(recover());
}

并运行演示https://wandbox.org/permlink/uBm6jTvG0YL3gSgl

处理Boost MSM中每个状态的错误

1 个答案:

如何避免向“ EmergencyStopped”编写许多转换。

如果发生“恢复”事件，如何过渡到“空闲”状态。