At the Intersection of Computing- and Control-Theory: A Tutorial on Liveness Enforcing Supervisory Policies for Arbitrary Petri Nets

Arun Raman, R. S. Sreenivas

Research output: Chapter in Book/Report/Conference proceedingConference contribution

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.

Original languageEnglish (US)
Title of host publication2019 5th Indian Control Conference, ICC 2019 - Proceedings
PublisherInstitute of Electrical and Electronics Engineers Inc.
Pages242-247
Number of pages6
ISBN (Electronic)9781538662465
DOIs
StatePublished - May 14 2019
Event5th Indian Control Conference, ICC 2019 - Delhi, India
Duration: Jan 9 2019Jan 11 2019

Publication series

Name2019 5th Indian Control Conference, ICC 2019 - Proceedings

Conference

Conference5th Indian Control Conference, ICC 2019
CountryIndia
CityDelhi
Period1/9/191/11/19

ASJC Scopus subject areas

  • Control and Systems Engineering
  • Control and Optimization

Fingerprint Dive into the research topics of 'At the Intersection of Computing- and Control-Theory: A Tutorial on Liveness Enforcing Supervisory Policies for Arbitrary Petri Nets'. Together they form a unique fingerprint.

  • Cite this

    Raman, A., & Sreenivas, R. S. (2019). At the Intersection of Computing- and Control-Theory: A Tutorial on Liveness Enforcing Supervisory Policies for Arbitrary Petri Nets. In 2019 5th Indian Control Conference, ICC 2019 - Proceedings (pp. 242-247). [8715597] (2019 5th Indian Control Conference, ICC 2019 - Proceedings). Institute of Electrical and Electronics Engineers Inc.. https://doi.org/10.1109/INDIANCC.2019.8715597