A Reactive Synthesis Approach to Supervisory Control of Terminating Processes

Schmuck AK, Moor T, Schmidt KW (2020)

Publication Type: Conference contribution

Publication year: 2020

Journal

IFAC-PapersOnLine International Federation of Automatic Control

Publisher: ELSEVIER

City/Town: AMSTERDAM

Pages Range: 2149-2156

Conference Proceedings Title: IFAC PAPERSONLINE

DOI: 10.1016/j.ifacol.2020.12.2541

Authors with CRIS profile

Thomas Moor Professur für Regelungstechnik

Involved external institutions

Max Planck Institute for Software Systems DE Germany (DE) Middle East Technical University (METU) / Orta Doğu Teknik Üniversitesi TR Turkey (TR)

How to cite

APA:

Schmuck, A.-K., Moor, T., & Schmidt, K.W. (2020). A Reactive Synthesis Approach to Supervisory Control of Terminating Processes. In IFAC PAPERSONLINE (pp. 2149-2156). AMSTERDAM: ELSEVIER.

MLA:

Schmuck, Anne-Kathrin, Thomas Moor, and Klaus Werner Schmidt. "A Reactive Synthesis Approach to Supervisory Control of Terminating Processes." Proceedings of the 21st IFAC World Congress on Automatic Control - Meeting Societal Challenges AMSTERDAM: ELSEVIER, 2020. 2149-2156.

BibTeX: Download