Package net.maswag.falcaun

Class SimulinkSUL

java.lang.Object

net.maswag.falcaun.SimulinkSUL

All Implemented Interfaces:

de.learnlib.sul.SUL<List<Double>,IOSignalPiece<List<Double>>>, Closeable, AutoCloseable, ContinuousNumericSUL, NumericSUL

public class SimulinkSUL
extends Object
implements ContinuousNumericSUL, Closeable

The System Under Learning implemented by a Simulink. We use the fixed step execution of Simulink to make sampling easier.

Field Summary

Fields

Modifier and Type	Field	Description
private final SimulinkModel	model	The simulation step of Simulink.

Constructor Summary

Constructors

Constructor	Description
SimulinkSUL(String initScript, List<String> paramNames, Double signalStep, Double simulinkSimulationStep)

Method Summary

Modifier and Type	Method	Description
boolean	canFork()
void	clear()	Clear the counter and the time measure.
void	close()	Close the MATLAB engine.
IOContinuousSignal<List<Double>>	execute(net.automatalib.word.Word<List<Double>> inputSignal)	Execute the Simulink model by feeding inputSignal
ValueWithTime<List<Double>>	executeRaw(net.automatalib.word.Word<List<Double>> inputSignal)	Execute the Simulink model by feeding inputSignal
de.learnlib.sul.SUL<List<Double>,IOSignalPiece<List<Double>>>	fork()
int	getCounter()	Returns the number of SUL executions
double	getSimulationTimeSecond()	Returns the execution time for the simulations
void	post()
void	pre()
void	setSimulationStep(double simulinkSimulationStep)	Setter of simulinkSimulationStep
ExtendedIOSignalPiece<List<Double>>	step(List<Double> inputSignal)	Execute the SUL by feeding single step input.

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Field Details

model

private final SimulinkModel model

The simulation step of Simulink.

If this value is too large, Simulink can abort due to an computation error. In that case, you should make this value larger.

Constructor Details

SimulinkSUL

public SimulinkSUL(String initScript,
 List<String> paramNames,
 Double signalStep,
 Double simulinkSimulationStep)
            throws InterruptedException,
ExecutionException

Throws:

InterruptedException

ExecutionException

Method Details

setSimulationStep

public void setSimulationStep(double simulinkSimulationStep)

Setter of simulinkSimulationStep

Parameters:

simulinkSimulationStep - The fixed simulation step of Simulink. If this value is too large, Simulink can abort due to an computation error.

canFork

public boolean canFork()

Specified by:

canFork in interface de.learnlib.sul.SUL<List<Double>,IOSignalPiece<List<Double>>>

pre

public void pre()

Specified by:

pre in interface NumericSUL

Specified by:

pre in interface de.learnlib.sul.SUL<List<Double>,IOSignalPiece<List<Double>>>

post

public void post()

Specified by:

post in interface NumericSUL

Specified by:

post in interface de.learnlib.sul.SUL<List<Double>,IOSignalPiece<List<Double>>>

step

@Nullable
public ExtendedIOSignalPiece<List<Double>> step(@Nullable
 List<Double> inputSignal)
                                         throws de.learnlib.exception.SULException

Execute the SUL by feeding single step input.

Specified by:

step in interface ContinuousNumericSUL

Specified by:

step in interface de.learnlib.sul.SUL<List<Double>,IOSignalPiece<List<Double>>>

Parameters:

inputSignal - the input signal at one time step

Returns:

the output signal at one time step with the previous output signals

Throws:

de.learnlib.exception.SULException

execute

public IOContinuousSignal<List<Double>> execute(net.automatalib.word.Word<List<Double>> inputSignal)
                                         throws InterruptedException,
ExecutionException

Execute the Simulink model by feeding inputSignal

For inputSignal = a1, a2, ..., an, we construct a timed word w = (a1, 0), (a2, T), (a3, 2 * T), ... (an, (n - 1) * T) and execute the Simulink model by feeding the piecewise-linear interpolation of w.

Specified by:

execute in interface ContinuousNumericSUL

Specified by:

execute in interface NumericSUL

Parameters:

inputSignal - The input signal

Returns:

The output signal. The size is same as the input.

Throws:

InterruptedException

ExecutionException

executeRaw

public ValueWithTime<List<Double>> executeRaw(net.automatalib.word.Word<List<Double>> inputSignal)
                                       throws ExecutionException,
InterruptedException

Execute the Simulink model by feeding inputSignal

Throws:

ExecutionException

InterruptedException

fork

@Nonnull
public de.learnlib.sul.SUL<List<Double>,IOSignalPiece<List<Double>>> fork()
                                                                   throws UnsupportedOperationException

Specified by:

fork in interface de.learnlib.sul.SUL<List<Double>,IOSignalPiece<List<Double>>>

Throws:

UnsupportedOperationException

close

public void close()

Close the MATLAB engine. This method must be called when the object is no longer used.

Specified by:

close in interface AutoCloseable

Specified by:

close in interface Closeable

getSimulationTimeSecond

public double getSimulationTimeSecond()

Returns the execution time for the simulations

Specified by:

getSimulationTimeSecond in interface NumericSUL

getCounter

public int getCounter()

Returns the number of SUL executions

Specified by:

getCounter in interface NumericSUL

clear

public void clear()

Description copied from interface: NumericSUL

Clear the counter and the time measure.

Specified by:

clear in interface NumericSUL