faudes::StateFeedbackConstructor Class Reference

Detailed Description

Definition at line 619 of file omg_rabinctrlrk.cpp.

Public Member Functions
	StateFeedbackConstructor (const RabinAutomaton &raut, const EventSet &sigctrl, const StateRankingMap &ranking)
void	ConstructStateFeedback (const StateSet &rCtrlPfx, StateFeedbackMap &rFeedback) const

Private Member Functions
void	constructControlPatternForState (Idx state, const StateRanking &ranking, const StateSet &RSet, const StateSet &ISet, EventSet &rPattern) const

Private Attributes
const RabinAutomaton &	mRAut
const EventSet &	mSigmaCtrl
const StateRankingMap &	mStateRanking

Constructor & Destructor Documentation

StateFeedbackConstructor()

faudes::StateFeedbackConstructor::StateFeedbackConstructor ( const RabinAutomaton &  raut, const EventSet &  sigctrl, const StateRankingMap &  ranking  )

inline

Definition at line 626 of file omg_rabinctrlrk.cpp.

Member Function Documentation

constructControlPatternForState()

void faudes::StateFeedbackConstructor::constructControlPatternForState ( Idx  state, const StateRanking &  ranking, const StateSet &  RSet, const StateSet &  ISet, EventSet &  rPattern  ) const

inlineprivate

construct control pattern for a specific state based on its ranking

Definition at line 665 of file omg_rabinctrlrk.cpp.

ConstructStateFeedback()

void faudes::StateFeedbackConstructor::ConstructStateFeedback ( const StateSet &  rCtrlPfx, StateFeedbackMap &  rFeedback  ) const

inline

construct state feedback mapping based on Theorem 6.4

Definition at line 631 of file omg_rabinctrlrk.cpp.

Member Data Documentation

mRAut

const RabinAutomaton& faudes::StateFeedbackConstructor::mRAut

private

Definition at line 621 of file omg_rabinctrlrk.cpp.

mSigmaCtrl

const EventSet& faudes::StateFeedbackConstructor::mSigmaCtrl

private

Definition at line 622 of file omg_rabinctrlrk.cpp.

mStateRanking

const StateRankingMap& faudes::StateFeedbackConstructor::mStateRanking

private

Definition at line 623 of file omg_rabinctrlrk.cpp.

---

The documentation for this class was generated from the following file:

• omg_rabinctrlrk.cpp