If you made any changes in Pure, your changes will be visible here soon.

Fingerprint Fingerprint is based on mining the text of the expert's scholarly documents to create an index of weighted terms, which defines the key subjects of each individual researcher.

Petri nets Engineering & Materials Science
Petri Nets Mathematics
Liveness Mathematics
Supervisory personnel Engineering & Materials Science
Dynamical systems Engineering & Materials Science
Discrete event simulation Engineering & Materials Science
Wireless networks Engineering & Materials Science
Wireless ad hoc networks Engineering & Materials Science

Network Recent external collaboration on country level. Dive into details by clicking on the dots.

Research Output 1987 2019

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

Raman, A. & Sreenivas, R. S., May 14 2019, 2019 5th Indian Control Conference, ICC 2019 - Proceedings. Institute of Electrical and Electronics Engineers Inc., p. 242-247 6 p. 8715597. (2019 5th Indian Control Conference, ICC 2019 - Proceedings).

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

Discrete Event Dynamic Systems
Liveness
Petri nets
Control theory
Control Theory
Petri nets
Animation
Service system
Tutorial
Manufacturing systems

Software-based synthesis of maximally permissive liveness enforcing supervisory policies for a class of general Petri nets

Salimi, E., Somnath, N. & Sreenivas, R. S., Feb 5 2018, Proceedings of the 2017 12th IEEE Conference on Industrial Electronics and Applications, ICIEA 2017. Institute of Electrical and Electronics Engineers Inc., Vol. 2018-February. p. 429-434 6 p.

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

Liveness
Petri nets
Petri Nets
Synthesis
Software

Synthesis of liveness enforcing supervisory policies in Petri nets by stepwise refinement

Somnath, N. & Sreenivas, R. S., Feb 5 2018, Proceedings of the 2017 12th IEEE Conference on Industrial Electronics and Applications, ICIEA 2017. Institute of Electrical and Electronics Engineers Inc., Vol. 2018-February. p. 529-534 6 p.

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

Liveness
Petri nets
Petri Nets
Refinement
Synthesis

A smart power outlet for electric devices that can benefit from Real-Time Pricing

Ramavarapu, V. P., Sowers, R. & Sreenivas, R. S., Dec 18 2017, ICCREC 2017 - 2017 International Conference on Control, Electronics, Renewable Energy, and Communications, Proceedings. Institute of Electrical and Electronics Engineers Inc., Vol. 2017-January. p. 11-17 7 p.

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

Pricing
Customers
Real-time
Costs
JavaScript