|
|||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES All Classes | ||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |
public interface SuperdenseTimeDirector
This is an interface for directors that use a superdense model of time. Actors can determine the index of current time by calling getIndex().
superdense time is defined by Haiyang Zheng as:
"The interactions between CT and DE subsystems and between DE subsystems themselves are captured by discontinuities in continuous-time signals and simultaneous discrete events in discrete-event signals."
"In order to precisely represent them in compute execution results, a two-dimension domain, called "superdense time," is used as the domain for defining signals. This domain allows a signal to have multiple values at the same time point while keeping the values ordered."
See: Haiyang Zheng. Operational Semantics of Hybrid Systems, PhD thesis, University of California, Berkeley, May, 2007.
Red (eal) |
Yellow (eal) |
Method Summary | |
---|---|
int |
getIndex()
Return a superdense time index for the current time. |
void |
setIndex(int index)
Set the superdense time index. |
Method Detail |
---|
int getIndex()
setIndex(int)
void setIndex(int index) throws IllegalActionException
index
- The index of the superdense time object.
Events that occur at the same time have different indicies.
IllegalActionException
- If the specified index is invalid.getIndex()
|
|||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES All Classes | ||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |