ExbCompatibleStates Class Reference

Public Member Functions
	ExbCompatibleStates (const EventSet &alph)
	~ExbCompatibleStates (void)
void	InitialiseFull (void)
void	InitialiseConstraint ()
void	DWrite (void) const
virtual void	ExecuteTransitions (void)
ExbCompatibleStates *	TakeByEvent (Idx ev)
void	Clear (void)
Public Member Functions inherited from faudes::CompatibleStates
	CompatibleStates (void)
virtual	~CompatibleStates (void)
virtual const int	Cost (void)

Protected Attributes
double	mXmin
double	mXmax
bool	mLopen
bool	mHopen
char	mU
std::map< Idx, ExbCompatibleStates * >	mReachSets
const EventSet &	rAlphabet

Detailed Description

In this example, dynamics are given programtically, i.e. by a customised instance of CompatibleStates as opposed to the ready-to-use versions for DES or LHA.

The plant we implement consits simple tank with two input symbols for fill '+' and drain '-' and two output symbols for full 'F' and and empty 'E'. Inputs symbols and output symbols alternate.

Definition at line 29 of file hyb_5_controlB.cpp.

Constructor & Destructor Documentation

ExbCompatibleStates()

ExbCompatibleStates::ExbCompatibleStates ( const EventSet &  alph )

inline

construct/destruct

Definition at line 47 of file hyb_5_controlB.cpp.

~ExbCompatibleStates()

ExbCompatibleStates::~ExbCompatibleStates ( void  )

inline

Definition at line 51 of file hyb_5_controlB.cpp.

Member Function Documentation

Clear()

void ExbCompatibleStates::Clear ( void  )

inline

Definition at line 141 of file hyb_5_controlB.cpp.

DWrite()

void ExbCompatibleStates::DWrite ( void  ) const

inlinevirtual

debug dump

Implements faudes::CompatibleStates.

Definition at line 64 of file hyb_5_controlB.cpp.

ExecuteTransitions()

virtual void ExbCompatibleStates::ExecuteTransitions ( void  )

inlinevirtual

implement dynamics

Implements faudes::CompatibleStates.

Definition at line 75 of file hyb_5_controlB.cpp.

InitialiseConstraint()

void ExbCompatibleStates::InitialiseConstraint ( void  )

inlinevirtual

Implements faudes::CompatibleStates.

Definition at line 59 of file hyb_5_controlB.cpp.

InitialiseFull()

void ExbCompatibleStates::InitialiseFull ( void  )

inlinevirtual

allway initialisation with no constraints, i.e., time invariant system

Implements faudes::CompatibleStates.

Definition at line 56 of file hyb_5_controlB.cpp.

TakeByEvent()

ExbCompatibleStates* ExbCompatibleStates::TakeByEvent ( Idx  ev )

inlinevirtual

Implements faudes::CompatibleStates.

Definition at line 132 of file hyb_5_controlB.cpp.

Member Data Documentation

mHopen

bool ExbCompatibleStates::mHopen

protected

Definition at line 36 of file hyb_5_controlB.cpp.

mLopen

bool ExbCompatibleStates::mLopen

protected

Definition at line 35 of file hyb_5_controlB.cpp.

mReachSets

std::map<Idx, ExbCompatibleStates*> ExbCompatibleStates::mReachSets

protected

transition result

Definition at line 40 of file hyb_5_controlB.cpp.

mU

char ExbCompatibleStates::mU

protected

recent input as discrete state, values "+", "-", none "~", init "0"

Definition at line 38 of file hyb_5_controlB.cpp.

mXmax

double ExbCompatibleStates::mXmax

protected

Definition at line 34 of file hyb_5_controlB.cpp.

mXmin

double ExbCompatibleStates::mXmin

protected

one single "real" interval of compatible continuous states

Definition at line 33 of file hyb_5_controlB.cpp.

rAlphabet

const EventSet& ExbCompatibleStates::rAlphabet

protected

event symbol table (cosmetic)

Definition at line 42 of file hyb_5_controlB.cpp.

---

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

• hyb_5_controlB.cpp