ptolemy.actor

Interface SuperdenseTimeDirector

All Known Implementing Classes:

ContinuousDirector, DEDirector, FixedPointDirector, FSMDirector, HDFFSMDirector, HybridModalDirector, ModalDirector, MultirateFSMDirector, NonStrictFSMDirector, PtidesDirector, SRDirector, SysMLSequentialDirector, TDLModuleDirector, WirelessDirector

public interface SuperdenseTimeDirector

This is an interface for directors that use a superdense model of time. Actors can determine the index, also called the microstep, 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.

Since:

Ptolemy II 8.0

Version:

$Id: SuperdenseTimeDirector.java 61458 2011-07-11 19:54:07Z cxh $

Author:

Edward A. Lee

Accepted Rating:

Red (eal)

Proposed Rating:

Yellow (eal)

Method Summary

Modifier and Type	Method and Description
int	getIndex() Return a superdense time index for the current time.
void	setIndex(int index) Set the superdense time index.

Method Detail

getIndex

int getIndex()

Return a superdense time index for the current time.

Returns:

A superdense time object.

See Also:

setIndex(int)

setIndex

void setIndex(int index)
       throws IllegalActionException

Set the superdense time index. This should only be called by an enclosing director.

Parameters:

index - The index of the superdense time object. Events that occur at the same time have different indicies.

Throws:

IllegalActionException - If the specified index is invalid.

See Also:

getIndex()