@inproceedings{abe75d41c1974fba8bcc34a1fbcb03cf,
title = "At the Intersection of Computing- and Control-Theory: A Tutorial on Liveness Enforcing Supervisory Policies for Arbitrary Petri Nets",
abstract = "We present a tutorial-introduction to the synthesis of Liveness Enforcing Supervisory Policies (LESPs) for Discrete-Event Dynamic Systems (DEDS) modeled by Petri-Nets (PNs). The tutorial is aimed at researchers unfamiliar with the area, and the objective is to develop a working knowledge of concepts and results from the area. We start by introducing PNs as a modeling tool for DEDS. We motivate the liveness problem through examples. Following this, we present relevant theoretical results on the computational aspects of LESP synthesis for PN models of DEDS, along with other results and methods. We conclude the paper by listing some new directions in the area.",
author = "Arun Raman and Sreenivas, {R. S.}",
note = "*This work was supported in part by the Arthur Davis Faculty Scholar Endowment at the University of Illinois at Urbana-Champaign.; 5th Indian Control Conference, ICC 2019 ; Conference date: 09-01-2019 Through 11-01-2019",
year = "2019",
month = may,
day = "14",
doi = "10.1109/INDIANCC.2019.8715597",
language = "English (US)",
series = "2019 5th Indian Control Conference, ICC 2019 - Proceedings",
publisher = "Institute of Electrical and Electronics Engineers Inc.",
pages = "242--247",
booktitle = "2019 5th Indian Control Conference, ICC 2019 - Proceedings",
address = "United States",
}