Rawlings, B. C., Lafortune, S., & Ydstie, B. E. (2020). Supervisory Control of Labeled Transition Systems Subject to Multiple Reachability Requirements via Symbolic Model Checking. IEEE transactions on control systems technology, 28(2), 644-652. https://doi.org/10.1109/TCST.2018.2877621
Chicago-Zitierstil (17. Ausg.)Rawlings, Blake C., Stephane Lafortune, und B. Erik Ydstie. "Supervisory Control of Labeled Transition Systems Subject to Multiple Reachability Requirements via Symbolic Model Checking." IEEE Transactions on Control Systems Technology 28, no. 2 (2020): 644-652. https://doi.org/10.1109/TCST.2018.2877621.
MLA-Zitierstil (9. Ausg.)Rawlings, Blake C., et al. "Supervisory Control of Labeled Transition Systems Subject to Multiple Reachability Requirements via Symbolic Model Checking." IEEE Transactions on Control Systems Technology, vol. 28, no. 2, 2020, pp. 644-652, https://doi.org/10.1109/TCST.2018.2877621.