%0 Journal Article %1 journals/tac/HaesaertCAW21 %A Haesaert, Sofie %A Chen, Fei %A Abate, Alessandro %A Weiland, Siep %D 2021 %J IEEE Trans. Autom. Control. %K dblp %N 3 %P 1024-1039 %T Formal Control Synthesis via Simulation Relations and Behavioral Theory for Discrete-Time Descriptor Systems. %U http://dblp.uni-trier.de/db/journals/tac/tac66.html#HaesaertCAW21 %V 66

@article{journals/tac/HaesaertCAW21, added-at = {2021-03-23T00:00:00.000+0100}, author = {Haesaert, Sofie and Chen, Fei and Abate, Alessandro and Weiland, Siep}, biburl = {https://www.bibsonomy.org/bibtex/24619f36c92bd9a7d589d6381d82b04d4/dblp}, ee = {https://doi.org/10.1109/TAC.2020.2992443}, interhash = {fdb4520d1f2826f2de9c594e8cb0ff60}, intrahash = {4619f36c92bd9a7d589d6381d82b04d4}, journal = {IEEE Trans. Autom. Control.}, keywords = {dblp}, number = 3, pages = {1024-1039}, timestamp = {2024-04-08T17:32:26.000+0200}, title = {Formal Control Synthesis via Simulation Relations and Behavioral Theory for Discrete-Time Descriptor Systems.}, url = {http://dblp.uni-trier.de/db/journals/tac/tac66.html#HaesaertCAW21}, volume = 66, year = 2021 }