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

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

Fingerprint

Discrete Event Dynamic Systems
Liveness
Petri nets
Control theory
Control Theory
Petri Nets
Dynamical systems
Intersection
Computing
Arbitrary
Synthesis
Modeling
Policy
Model

ASJC Scopus subject areas

  • Control and Systems Engineering
  • Control and Optimization

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

At the Intersection of Computing- and Control-Theory : A Tutorial on Liveness Enforcing Supervisory Policies for Arbitrary Petri Nets. / Raman, Arun; Sreenivas, Ramavarapu S.

2019 5th Indian Control Conference, ICC 2019 - Proceedings. Institute of Electrical and Electronics Engineers Inc., 2019. p. 242-247 8715597 (2019 5th Indian Control Conference, ICC 2019 - Proceedings).

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

Raman, A & Sreenivas, RS 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., 8715597, 2019 5th Indian Control Conference, ICC 2019 - Proceedings, Institute of Electrical and Electronics Engineers Inc., pp. 242-247, 5th Indian Control Conference, ICC 2019, Delhi, India, 1/9/19. https://doi.org/10.1109/INDIANCC.2019.8715597
Raman A, Sreenivas RS. 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. Institute of Electrical and Electronics Engineers Inc. 2019. p. 242-247. 8715597. (2019 5th Indian Control Conference, ICC 2019 - Proceedings). https://doi.org/10.1109/INDIANCC.2019.8715597
Raman, Arun ; Sreenivas, Ramavarapu S. / At the Intersection of Computing- and Control-Theory : A Tutorial on Liveness Enforcing Supervisory Policies for Arbitrary Petri Nets. 2019 5th Indian Control Conference, ICC 2019 - Proceedings. Institute of Electrical and Electronics Engineers Inc., 2019. pp. 242-247 (2019 5th Indian Control Conference, ICC 2019 - Proceedings).
@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, {Ramavarapu S}",
year = "2019",
month = "5",
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",

}

TY - GEN

T1 - At the Intersection of Computing- and Control-Theory

T2 - A Tutorial on Liveness Enforcing Supervisory Policies for Arbitrary Petri Nets

AU - Raman, Arun

AU - Sreenivas, Ramavarapu S

PY - 2019/5/14

Y1 - 2019/5/14

N2 - 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.

AB - 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.

UR - http://www.scopus.com/inward/record.url?scp=85066632487&partnerID=8YFLogxK

UR - http://www.scopus.com/inward/citedby.url?scp=85066632487&partnerID=8YFLogxK

U2 - 10.1109/INDIANCC.2019.8715597

DO - 10.1109/INDIANCC.2019.8715597

M3 - Conference contribution

AN - SCOPUS:85066632487

T3 - 2019 5th Indian Control Conference, ICC 2019 - Proceedings

SP - 242

EP - 247

BT - 2019 5th Indian Control Conference, ICC 2019 - Proceedings

PB - Institute of Electrical and Electronics Engineers Inc.

ER -