Notice to GitKraken users: A vulnerability has been found in the SSH key generation of GitKraken versions 7.6.0 to 8.0.0 (https://www.gitkraken.com/blog/weak-ssh-key-fix). If you use GitKraken and have generated a SSH key using one of these versions, please remove it both from your local workstation and from your LRZ GitLab profile.

21.10.2021, 9:00 - 11:00: Due to updates GitLab may be unavailable for some minutes between 09:00 and 11:00.

Commit 6c18e7a0 authored by Matthias Rungger's avatar Matthias Rungger
Browse files

readme update

parent 6b43668d
...@@ -183,8 +183,13 @@ int main() { ...@@ -183,8 +183,13 @@ int main() {
* the underlying uniform grid is given by the Cartesian product of * the underlying uniform grid is given by the Cartesian product of
* the uniform gird of the space and uniform gird of the input space */ * the uniform gird of the space and uniform gird of the input space */
/****************************************************************************/ /****************************************************************************/
scots::SymbolicSet dom(ss);
dom.setSymbolicSet(C);
std::cout << "Domain size: " << dom.getSize() << std::endl;
scots::SymbolicSet controller(ss,is); scots::SymbolicSet controller(ss,is);
controller.setSymbolicSet(C); controller.setSymbolicSet(C);
std::cout << "Number of state-input pairs: " << controller.getSize() << std::endl;
controller.writeToFile("dcdc_controller.bdd"); controller.writeToFile("dcdc_controller.bdd");
return 1; return 1;
......
...@@ -140,6 +140,11 @@ int main() { ...@@ -140,6 +140,11 @@ int main() {
scots::SymbolicSet controller(ss,is); scots::SymbolicSet controller(ss,is);
controller.setSymbolicSet(C); controller.setSymbolicSet(C);
controller.writeToFile("unicycle_controller.bdd"); controller.writeToFile("unicycle_controller.bdd");
scots::SymbolicSet tr = abstraction.getTransitionRelation();
tr.writeToFile("unicycle_transition_relation.bdd");
return 1; return 1;
} }
......
No preview for this file type
# #
# matlab root # matlab root
# #
MATLABROOT = /Applications/MATLAB_R2016a.app/ MATLABROOT = /Applications/MATLAB_R2016b.app/
# #
# compiler # compiler
......
# Welcome to SCOTS # Welcome to SCOTS
> SCOTSv0.2 is currently under development. If you are feeling adventurous have > SCOTSv0.2 is in the making. If you are feeling adventurous have
> look at [SCOTSv0.2](https://gitlab.lrz.de/matthias/SCOTSv0.2) > look at [SCOTSv0.2](https://gitlab.lrz.de/matthias/SCOTSv0.2)
**SCOTS** is a C++ tool (with a small Matlab interface) to synthesize controller for **SCOTS** is a C++ tool (with a small Matlab interface) to synthesize controller for
......
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment