WiP Abstract: Distributed Reactive Control Synthesis for Aircraft Electric Power Systems via SAT Solving.
| Autor: | Sahin, Yunus Emre, Ozay, Necmiye |
|---|---|
| Zdroj: | 2016 ACM/IEEE 7th International Conference on Cyber-Physical Systems (ICCPS); 2016, p1-1, 1p |
| Databáze: | Complementary Index |
| Externí odkaz: |
|