ExbCompatibleStates Class Reference

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.

Public Member Functions
	ExbCompatibleStates (const EventSet &alph)
	construct/destruct More...
	~ExbCompatibleStates (void)
void	InitialiseFull (void)
	allway initialisation with no constraints, i.e., time invariant system More...
void	InitialiseConstraint ()
void	DWrite (void) const
	debug dump More...
virtual void	ExecuteTransitions (void)
	implement dynamics More...
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
	one single "real" interval of compatible continuous states More...
double	mXmax
bool	mLopen
bool	mHopen
char	mU
	recent input as discrete state, values "+", "-", none "~", init "0" More...
std::map< Idx, ExbCompatibleStates * >	mReachSets
	transition result More...
const EventSet &	rAlphabet
	event symbol table (cosmetic) More...

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