Hire an Illini
Ehsan Salimi
- Advisor:
- Prof. Sreenivas
- Departments:
- Areas of Expertise:
- Algorithms
- Optimization
- Data Mining
- Thesis Title:
- On the properties of right-closed set
- Thesis abstract:
- Right-closed sets are essential part of the the liveness problem in Discrete event/dynamic systems. They also appear in the economics, the preferences of individuals, and many other area. In this thesis, I focused on developing a polynomial-time algorithm for checking the convexity of such sets. Verifying the convexity of geometric sets, is an undecidable problem in nature; In this thesis: 1. We show that the problem of verifying the right-closed sets is decidable; 2. Then we propose an algorithm which can verify this property in a polynomial time. 3. The algorithm, leads to a new paradigm in enforcing liveness in Discrete event/dynamic systems, specially in Petri Nets.
- Downloads:
Contact information:
salimi2@illinois.edu