On the Relation between Reactive Synthesis and Supervisory Control of Input/Output Behaviours

Schmuck AK, Moor T, Majumdar R (2018)


Publication Status: Published

Publication Type: Conference contribution, Conference Contribution

Publication year: 2018

Journal

Publisher: Elsevier B.V.

Book Volume: 51

Pages Range: 31-38

Journal Issue: 7

DOI: 10.1016/j.ifacol.2018.06.275

Authors with CRIS profile

How to cite

APA:

Schmuck, A.-K., Moor, T., & Majumdar, R. (2018). On the Relation between Reactive Synthesis and Supervisory Control of Input/Output Behaviours. In Proceedings of the Workshop on Discrete Event Systems (pp. 31-38). Elsevier B.V..

MLA:

Schmuck, Anne-Kathrin, Thomas Moor, and Rupak Majumdar. "On the Relation between Reactive Synthesis and Supervisory Control of Input/Output Behaviours." Proceedings of the Workshop on Discrete Event Systems Elsevier B.V., 2018. 31-38.

BibTeX: Download