Hybrid System Tools

The objective of this site is to serve as a community depository for software tools that have been developed for modeling, verifying, and designing hybrid and embedded control systems. It provides a point of reference for the research community as well as potential users of all available technology.

This site is wiki-based allowing anyone visiting the site to easily edit it! This purpose is to enable collaborative creation, organization, and maintenance of the software tools as well as the site itself. If you are a developer of such software tools, then feel free to edit the pages, upload your tool, update the version, the latest manual, or simply provide a link to your tool site! If you are a potential user of the tools, then feel free to use any tool, provide feedback, describe successful applications as well as provide challenging benchmarks!

Feel free to contribute or email George J. Pappas if you need any help.

For technical support please email graspdoc@grasp.upenn.edu.

How To Contribute?

In order to contribute a file, the following must be done:

• Edit Main.SideBar and add your tool name to the Tools list.
• Go to the new page that you cretaed for you tool and edit it, please include:
  • Genral description of the tool.
  • Instructions on downloading and installing the tool.
  • Links to Documentation.
  • Contact info of the tool's developers.
• If you want to upload(up to 20MB) a file to the repository:
  • Add your file in the following format:
    [[(Attach:)FileName.ext | File Title ]]
  • Save the page.
  • You will see your file name with a little triangle.
  • press the triangle to go to the upload page.
  • browse your computer to find your file, name it and then upload it.

Passwords

for edit

for upload

What is Wiki?

Here are some useful pages installed along with the PmWiki software :

• What is the WikiWikiWeb?
• PmWiki documentation is available at PmWiki.DocumentationIndex.
• TipsForEditing? and TextFormattingRules describe how to create pages in PmWiki.
• Practice editing pages in the WikiSandbox.

More information about PmWiki can be found at http://www.pmwiki.org/.