FPE Tools


Verify Project Integrity

From the Tools menu, select Verify Project Integrity or from the toolbar, click on the Verify Project Integrity button Integrity button jpg. This will run a series of checks to verify the project is Valid. If the project fails any of these checks, a message box will display the number of errors and warnings, and the Output Tab will provide a list of errors and warnings. Note that most algorithms (nonblocking, controllability, sync, etc) will refuse to run on an invalid project.

Check Project

From the Tools menu, select Check Project or from the toolbar, click on the Check Project button check project button jpg. This will open the following window.

Check Project popup jpg

From here you can choose which properties to check. An Incremental check will check all the properties that you have selected and that have either not been checked, or have failed during the last check. A Complete Recheck will check all the properties you have selected regardless of current status.

Clean Project

From the Tools menu, select Clean Project. This will discard any data saved from a previous check and "clean" the project and DES of any precomputed information. This means that you will have to re-check the various properties of your project in order to have each property valid again. If a project was created by an earlier version of DESpot and is producing odd results, doing a "Clean Project" may solve the issue.


Nonblocking

From the Tools menu, select Nonblocking or from the toolbar, click on the Check Nonblocking button nonblocking button jpg. This will run an automata based algorithm to check that the synchronous product of your project is nonblocking.

Controllabiltiy

From the Tools menu, select Controllabiltiy or from the toolbar, click on the Check Controllability button controllability button jpg. This will run an automata-based algorithm to verify that the synchronous product of your project supervisor DES is controllable for the synchronous product of your plant DES. Note that the algorithm assumes that your closed-loop system is constructed using the synchronous product.


Project Meet

From the Tools menu, select Project Meet or from the toolbar, click on the Meet button Meet button jpg. Please Note: This will create a DES from the synchronous product of all project DES. In order to perform a meet operation, the event sets of all the DES in the project must be identical.

Project Sync

From the Tools menu, select Project Sync or from the toolbar, click on the Sync button Sync button jpg. This will create a DES from the synchronous product of all project DES.

Project Synthesis

From the Tools menu, select Project Synthesis. This will create a supremal, controllable, nonblocking supervisor for the project.
Please note: This feature is not yet implemented.


System Simulation

From the Tools menu, select System Simulation or from the toolbar, click on the System Simulation button Simulator button jpg. This will open the DES System Simulation window. Please note that the project must be Valid before the simulator can be used.


« FPE Add DES   |   Export to BDDsd »