검색결과 : 3건
| No. | Article |
|---|---|
| 1 |
Hierarchical Decomposition of LTL Synthesis Problem for Nonlinear Control Systems Meyer PJ, Dimarogonas DV IEEE Transactions on Automatic Control, 64(11), 4676, 2019 |
| 2 |
Compositional Abstraction and Safety Synthesis Using Overlapping Symbolic Models Meyer PJ, Girard A, Witrant E IEEE Transactions on Automatic Control, 63(6), 1835, 2018 |
| 3 |
Robust controlled invariance for monotone systems: Application to ventilation regulation in buildings Meyer PJ, Girard A, Witrant E Automatica, 70, 14, 2016 |