Concepedia

N. Somnath

NS

Statistics

Publications

2

Citations

28

H-Index

2

Active since

2013

Affiliations

University of Illinois Urbana-Champaign(Current)

N. Somnath is an author at University of Illinois Urbana-Champaign specializing in formal methods, process control, and formal verification.

Top concepts

Publications per year

2013–2014

2

Publications

2

On Deciding the Existence of a Liveness Enforcing Supervisory Policy in a Class of Partially Controlled General Free-Choice Petri Nets

N. Somnath, R.S. Sreenivas · IEEE Transactions on Automation Science and Engineering · 2013 · 15 citations

, , +15

A software tool for the automatic synthesis of minimally restrictive liveness enforcing supervisory policies for a class of general Petri net models of manufacturing- and service-systems

Sangeetha Chandrasekaran, N. Somnath, R.S. Sreenivas · Journal of Intelligent Manufacturing · 2014 · 13 citations

, , +14

1–2 of 2