![]() |
Digitale Bibliotheek |
|
|||||||||||||||||||||||||||
Sluiten | Bladeren door artikelen uit een tijdschrift | ||||||||||||||||||||||||||||
|
|||||||||||||||||||||||||||||
|
|||||||||||||||||||||||||||||
![]() |
|||||||||||||||||||||||||||||
![]() |
|||||||||||||||||||||||||||||
![]() |
|||||||||||||||||||||||||||||
![]() |
|||||||||||||||||||||||||||||
Details van artikel 9 van 51 gevonden artikelen
|
|||||||||||||||||||||||||||||
Compositional Abstraction-based Synthesis for Cascade Discrete-Time Control Systems ⁎ ⁎ The first two authors contributed equally to this work. This work was supported in part by the German Research Foundation (DFG) through the grant ZA 873/1-1, the TUM International Graduate School of Science and Engineering (IGSSE), and Labex DigiCosme (project ANR-11-LABEX-0045-DIGICOSME) operated by ANR as part of the program ”Investissement d’Avenir” Idex Paris Saclay (ANR-11-IDEX-0003-02). |
|||||||||||||||||||||||||||||
|
|||||||||||||||||||||||||||||
Details van artikel 9 van 51 gevonden artikelen
|
|||||||||||||||||||||||||||||
|
|||||||||||||||||||||||||||||
Koninklijke Bibliotheek - Nationale Bibliotheek van Nederland |