https://github.com/blegat/rphscc2016
Repeatibility Package for the paper "Generating unstable trajectories for Switched Systems via Dual Sum-Of-Squares techniques" of HSCC 2016
Science Score: 13.0%
This score indicates how likely this project is to be science-related based on various indicators:
-
○CITATION.cff file
-
✓codemeta.json file
Found codemeta.json file -
○.zenodo.json file
-
○DOI references
-
○Academic publication links
-
○Academic email domains
-
○Institutional organization owner
-
○JOSS paper metadata
-
○Scientific vocabulary similarity
Low similarity (12.4%) to scientific vocabulary
Repository
Repeatibility Package for the paper "Generating unstable trajectories for Switched Systems via Dual Sum-Of-Squares techniques" of HSCC 2016
Basic Info
Statistics
- Stars: 3
- Watchers: 3
- Forks: 1
- Open Issues: 0
- Releases: 0
Metadata Files
README.md
This directory contains code to recreate the examples from
Benoît Legat and Raphaël M. Jungers and Pablo A. Parrilo, "Generating unstable trajectories for Switched Systems via Dual Sum-Of-Squares techniques" in Hybrid Systems Computational & Control, ACM (2016).
The result of this paper were obtained using the CSSystem toolbox in Matlab. The same example is used in the journal version of this work but the results of this journal version were obtained using the SwitchOnSafety toolbox in Julia. You can find below the details on how to reproduce the results of this example in either Julia or Matlab.
Julia
The code to reproduce the results is in this notebook. To run the notebook you can either
- run it on the cloud with juliabox.com, this does not install anything on your computer;
- or install Julia, install IJulia and then run the notebook with IJulia.
Matlab
It requires the CSSystem Toolbox, which can be downloaded from here.
Note: This download the version tested for the repeatibility evaluation. You can also try a more recent version if you feel like it.
Follow the Readme of the CSSystem toolbox to make sure you have an SDP solver installed and recognized by CSSystem.
After CSSystem is installed, you must modify addPathToCSSystem.m in
this directory so that path_to_cjsr points to the root directory
of your CSSystem installation.
Then run
> addPathToCSystem
If you are getting an error later about "missing functions" later
then you haven't correctly modified addPathToCSSystem.
Run the script reproduce.m to reproduce the results of the paper.
> reproduce
Read the comments in reproduce.m to understand what it does.
Alternatively, you can run the CSSystem demo gettingStarted4 that explains
the use of the function cjsrBuildSequence.
This function implements the method of the paper and the demo
uses the same example than the paper.
> gettingStarted4
Questions and bug reports (and any examples of the use of this
technique on other problems) can be sent to benoit.legat at gmail dot com or
directly here on Github or the Bitbucket repository of CSSystem.
Benoît Legat, Raphaël M. Jungers and Pablo A. Parrilo January 2015
Owner
- Name: Benoît Legat
- Login: blegat
- Kind: user
- Location: Boston, MA, USA
- Company: LIDS, MIT
- Website: blegat.github.io
- Repositories: 48
- Profile: https://github.com/blegat
GitHub Events
Total
Last Year
Issues and Pull Requests
Last synced: over 1 year ago
All Time
- Total issues: 0
- Total pull requests: 0
- Average time to close issues: N/A
- Average time to close pull requests: N/A
- Total issue authors: 0
- Total pull request authors: 0
- Average comments per issue: 0
- Average comments per pull request: 0
- Merged pull requests: 0
- Bot issues: 0
- Bot pull requests: 0
Past Year
- Issues: 0
- Pull requests: 0
- Average time to close issues: N/A
- Average time to close pull requests: N/A
- Issue authors: 0
- Pull request authors: 0
- Average comments per issue: 0
- Average comments per pull request: 0
- Merged pull requests: 0
- Bot issues: 0
- Bot pull requests: 0