@inproceedings{,
    author = {Macoveiciuc, Elisei; Reißig, Gunther},
    title = {Guaranteed memory reduction in synthesis of correct-by-design invariance controllers},
    editor = {Findeisen, Rolf; Hirche, Sandra; Janschek, Klaus; Mönnigmann, Martin},
    booktitle = {21st IFAC World Congress : Berlin, Germany, 11–17 July 2020},
    series = {IFAC-PapersOnLine},
    journal = {},
    address = {},
    publisher = {Elsevier},
    edition = {},
    year = {2020},
    isbn = {},
    volume = {53,2},
    number =  {},
    pages = {5561-5566},
    url = {https://doi.org/10.1016/j.ifacol.2020.12.1567},
    doi = {10.1016/j.ifacol.2020.12.1567},
    keywords = {},
    abstract = {},
    note = {},
    institution = {Universität der Bundeswehr München, Fakultät für Luft- und Raumfahrttechnik, LRT 15 - Institut für Steuer- und Regelungstechnik, Professur: Reißig, Gunther},
    
    
}