Name
Abstract | ||
|---|---|---|
This note addresses the problem of enforcing generalized mutual exclusion constraints on a Petri net plant. First, we replace the classical partition of the event set into controllable and uncontrollable events from supervisory control theory, by associating a control and observation cost to each event. This leads naturally to formulate the supervisory control problem as an optimal control problem. Monitor places which enforce the constraint are devised as a solution of an integer linear programming problem whose objective function is expressed in terms of the introduced costs. Second, we consider timed models for which the monitor choice may lead to performance optimization. If the plant net belongs to the class of mono-T-semiflow nets, we present an integer linear fractional programming approach to synthesize the optimal monitor so as to minimize the cycle time lower bound of the closed loop net. For strongly connected marked graphs the cycle time of the closed-loop net can be minimized |
Year | DOI | Venue |
|---|---|---|
2007 | 10.1109/TAC.2006.887905 | IEEE Trans. Automat. Contr. |
Keywords | Field | DocType |
Design optimization,Monitoring,Supervisory control,Cost function,Automatic control,Integer linear programming,Petri nets,Discrete event systems,Optimal control,Control system synthesis | Linear-fractional programming,Mathematical optimization,Petri net,Optimal control,Control theory,Supervisory control,Supervisory control theory,Stochastic Petri net,Integer programming,Linear programming,Mathematics | Journal |
Volume | Issue | ISSN |
52 | 2 | 0018-9286 |
Citations | PageRank | References |
19 | 0.86 | 9 |
Authors | ||
3 | ||
Name | Order | Citations | PageRank |
|---|---|---|---|
| Francesco Basile | 1 | 161 | 11.25 |
| Pasquale Chiacchio | 2 | 421 | 46.31 |
| Alessandro Giua | 3 | 1836 | 199.57 |