{"id":16505865,"url":"https://github.com/schillic/ha2stateflow","last_synced_at":"2026-06-09T03:02:12.416Z","repository":{"id":87724046,"uuid":"160717281","full_name":"schillic/HA2Stateflow","owner":"schillic","description":"A converter from a hybrid automaton model to a Stateflow model","archived":false,"fork":false,"pushed_at":"2021-11-09T18:45:00.000Z","size":11080,"stargazers_count":3,"open_issues_count":0,"forks_count":0,"subscribers_count":2,"default_branch":"master","last_synced_at":"2025-01-12T13:51:57.161Z","etag":null,"topics":["hybrid-automaton","source-to-source","stateflow"],"latest_commit_sha":null,"homepage":null,"language":"C","has_issues":true,"has_wiki":null,"has_pages":null,"mirror_url":null,"source_name":null,"license":null,"status":null,"scm":"git","pull_requests_enabled":true,"icon_url":"https://github.com/schillic.png","metadata":{"files":{"readme":"README.md","changelog":null,"contributing":null,"funding":null,"license":null,"code_of_conduct":null,"threat_model":null,"audit":null,"citation":"CITATION.bib","codeowners":null,"security":null,"support":null,"governance":null,"roadmap":null,"authors":null,"dei":null,"publiccode":null,"codemeta":null}},"created_at":"2018-12-06T18:46:07.000Z","updated_at":"2024-01-27T06:45:58.000Z","dependencies_parsed_at":null,"dependency_job_id":"5508dcf1-876a-49dd-954f-82363961d65e","html_url":"https://github.com/schillic/HA2Stateflow","commit_stats":null,"previous_names":[],"tags_count":0,"template":false,"template_full_name":null,"repository_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/schillic%2FHA2Stateflow","tags_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/schillic%2FHA2Stateflow/tags","releases_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/schillic%2FHA2Stateflow/releases","manifests_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/schillic%2FHA2Stateflow/manifests","owner_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/owners/schillic","download_url":"https://codeload.github.com/schillic/HA2Stateflow/tar.gz/refs/heads/master","host":{"name":"GitHub","url":"https://github.com","kind":"github","repositories_count":241444107,"owners_count":19963755,"icon_url":"https://github.com/github.png","version":null,"created_at":"2022-05-30T11:31:42.601Z","updated_at":"2022-07-04T15:15:14.044Z","host_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub","repositories_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories","repository_names_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repository_names","owners_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/owners"}},"keywords":["hybrid-automaton","source-to-source","stateflow"],"created_at":"2024-10-11T15:13:50.497Z","updated_at":"2026-06-09T03:02:07.381Z","avatar_url":"https://github.com/schillic.png","language":"C","funding_links":[],"categories":[],"sub_categories":[],"readme":"This is supplementary material for the article [*Hybrid automata: from verification to implementation*](http://dx.doi.org/10.1007/s10009-017-0458-1), STTT, 2017.\nSee [below](#citation) for how to cite this work.\n\nThe tool has also been integrated in [HyST](https://github.com/verivital/hyst).\n\n---\n\nThe archive contains:\n* a folder `examples` that includes all benchmarks\n* a folder `lib` that includes an executable Jar file of [Hyst](http://verivital.com/hyst/)\n* a folder `src` that includes the source code of the translator\n* a folder `buck_interval` that includes all necessary files to reproduce the experimental results for the buck converter evaluated in the paper;\n  Particularly, this folder contains the following:\n   * SpaceEx model files for buck converter using intervals\n   * a folder \"buck_interval_data\" that includes data obtained from SLSF simulation, reachability analysis with SpaceEx, and hardware experiment with dSPACE DS1103 system\n   * a folder \"code_generation\" that includes C code generation for the buck converter by dSPACE\n   * a file \"dSPACE Experiment Report\" that describes in details the dSPACE experiment for the buck converter\n\n---\n\nTo run the translator, do the following:\n\n* Open Matlab.\n* Move to the folder where you extracted the files.\n* Add the source code to the Matlab path (in the \"Current Folder\" view).\n   For that, right-click on the folder \"src\" and select \"Add to Path\" and the subcategory \"Selected Folders and Subfolders\".\n* Run the following command (where you replace \"MODEL_NAME\" by a meaningful relative path of your model file):\n\n```matlab\n    SpaceExToStateflow('MODEL_NAME', '-s');\n```\n\nThis produces a StateFlow model (which might take some time, especially when the Simulink libraries have not been loaded yet).\n\n\n  Example call:\n\n```matlab\n     SpaceExToStateflow('examples\\vanderpol\\vanderpol.xml', '-s');\n```\n\n---\n\nTo run the simulation loop, run the following (parametrized) command:\n\n```matlab\n    simulationLoop('MODEL_NAME', NUM_SIMULATION, MAX_TIME, NUM_BACKTRACK);\n```\n\nHere, the parameters denote the following:\n* the model name (automatically taken from the `*.xml` file)\n* the number of simulations\n* the maximum simulation time\n* the number of backtrackings\n\nAgain, this might take some time the first time of the call because Simulink compiles the model in the background.\n\n\n  Example call:\n\n```matlab\n     simulationLoop('vanderpol', 5, 50, 3);\n```\n\n---\n\nTo reproduce the table of benchmarks in the appendix, run the following script file:\n\n```matlab\n    generateTable\n```\n\n# Citation\n\n```bibtex\n@article{BakBBJNS19,\n  author    = {Stanley Bak and\n               Omar Ali Beg and\n               Sergiy Bogomolov and\n               Taylor T. Johnson and\n               Luan Viet Nguyen and\n               Christian Schilling},\n  title     = {Hybrid automata: from verification to implementation},\n  journal   = {Int. J. Softw. Tools Technol. Transf.},\n  volume    = {21},\n  number    = {1},\n  pages     = {87--104},\n  year      = {2019},\n  url       = {https://doi.org/10.1007/s10009-017-0458-1},\n  doi       = {10.1007/s10009-017-0458-1}\n}\n```\n","project_url":"https://awesome.ecosyste.ms/api/v1/projects/github.com%2Fschillic%2Fha2stateflow","html_url":"https://awesome.ecosyste.ms/projects/github.com%2Fschillic%2Fha2stateflow","lists_url":"https://awesome.ecosyste.ms/api/v1/projects/github.com%2Fschillic%2Fha2stateflow/lists"}