Matches in SemOpenAlex for { <https://semopenalex.org/work/W2956599543> ?p ?o ?g. }
- W2956599543 endingPage "197" @default.
- W2956599543 startingPage "183" @default.
- W2956599543 abstract "This article addresses the forbidden state problem in discrete-event systems (DESs) modeled with Petri nets. Given a control specification, we first decide the sets of forbidden and admissible markings. Then, the minimal mask set of first-met forbidden markings (FFMs) and the minimal root set of admissible markings are computed by marking mask that is implemented using a class of special places in a plant, called competitive places. Marking mask can effectively filtrate the markings to be processed such that the two obtained sets are in general much smaller than the sets of originally specified forbidden and admissible markings, respectively. Monitors computed by place invariants are used to forbid the forbidden markings. It is shown that a maximally permissive (optimal) supervisor can be computed if it exists. Integer linear programming is used to optimize the structure of a supervisor. The minimal mask set of FFMs and root set of admissible markings efficiently reduce the computational overhead because of much fewer constraints and variables in the formulated programming problem. The developed methodology is illustrated by parameterized examples." @default.
- W2956599543 created "2019-07-23" @default.
- W2956599543 creator A5037192036 @default.
- W2956599543 creator A5047932411 @default.
- W2956599543 creator A5059744438 @default.
- W2956599543 creator A5078514525 @default.
- W2956599543 creator A5090664309 @default.
- W2956599543 date "2019-12-01" @default.
- W2956599543 modified "2023-10-14" @default.
- W2956599543 title "Optimal Petri net supervisor synthesis for forbidden state problems using marking mask" @default.
- W2956599543 cites W151050188 @default.
- W2956599543 cites W1535387219 @default.
- W2956599543 cites W1915570783 @default.
- W2956599543 cites W1965215820 @default.
- W2956599543 cites W1967008488 @default.
- W2956599543 cites W1982948055 @default.
- W2956599543 cites W1994576559 @default.
- W2956599543 cites W1996109622 @default.
- W2956599543 cites W2001671625 @default.
- W2956599543 cites W2006992368 @default.
- W2956599543 cites W2011008463 @default.
- W2956599543 cites W2041853864 @default.
- W2956599543 cites W2044943300 @default.
- W2956599543 cites W2059057465 @default.
- W2956599543 cites W2086414784 @default.
- W2956599543 cites W2089870759 @default.
- W2956599543 cites W2104367108 @default.
- W2956599543 cites W2105435021 @default.
- W2956599543 cites W2109692480 @default.
- W2956599543 cites W2110169180 @default.
- W2956599543 cites W2113418311 @default.
- W2956599543 cites W2132355828 @default.
- W2956599543 cites W2140640958 @default.
- W2956599543 cites W2140872435 @default.
- W2956599543 cites W2146738006 @default.
- W2956599543 cites W2151669009 @default.
- W2956599543 cites W2154382983 @default.
- W2956599543 cites W2163839607 @default.
- W2956599543 cites W2172300075 @default.
- W2956599543 cites W2310250136 @default.
- W2956599543 cites W2316519055 @default.
- W2956599543 cites W2511769035 @default.
- W2956599543 cites W2735669400 @default.
- W2956599543 cites W2808409711 @default.
- W2956599543 cites W2884266744 @default.
- W2956599543 cites W2894979619 @default.
- W2956599543 cites W2905463492 @default.
- W2956599543 cites W2906830113 @default.
- W2956599543 cites W4236164983 @default.
- W2956599543 doi "https://doi.org/10.1016/j.ins.2019.07.008" @default.
- W2956599543 hasPublicationYear "2019" @default.
- W2956599543 type Work @default.
- W2956599543 sameAs 2956599543 @default.
- W2956599543 citedByCount "8" @default.
- W2956599543 countsByYear W29565995432019 @default.
- W2956599543 countsByYear W29565995432020 @default.
- W2956599543 countsByYear W29565995432021 @default.
- W2956599543 countsByYear W29565995432022 @default.
- W2956599543 countsByYear W29565995432023 @default.
- W2956599543 crossrefType "journal-article" @default.
- W2956599543 hasAuthorship W2956599543A5037192036 @default.
- W2956599543 hasAuthorship W2956599543A5047932411 @default.
- W2956599543 hasAuthorship W2956599543A5059744438 @default.
- W2956599543 hasAuthorship W2956599543A5078514525 @default.
- W2956599543 hasAuthorship W2956599543A5090664309 @default.
- W2956599543 hasConcept C11413529 @default.
- W2956599543 hasConcept C154945302 @default.
- W2956599543 hasConcept C165464430 @default.
- W2956599543 hasConcept C177264268 @default.
- W2956599543 hasConcept C17744445 @default.
- W2956599543 hasConcept C199360897 @default.
- W2956599543 hasConcept C199539241 @default.
- W2956599543 hasConcept C2777212361 @default.
- W2956599543 hasConcept C2779110517 @default.
- W2956599543 hasConcept C2779960059 @default.
- W2956599543 hasConcept C33923547 @default.
- W2956599543 hasConcept C38677869 @default.
- W2956599543 hasConcept C41008148 @default.
- W2956599543 hasConcept C48103436 @default.
- W2956599543 hasConcept C56086750 @default.
- W2956599543 hasConcept C97137487 @default.
- W2956599543 hasConceptScore W2956599543C11413529 @default.
- W2956599543 hasConceptScore W2956599543C154945302 @default.
- W2956599543 hasConceptScore W2956599543C165464430 @default.
- W2956599543 hasConceptScore W2956599543C177264268 @default.
- W2956599543 hasConceptScore W2956599543C17744445 @default.
- W2956599543 hasConceptScore W2956599543C199360897 @default.
- W2956599543 hasConceptScore W2956599543C199539241 @default.
- W2956599543 hasConceptScore W2956599543C2777212361 @default.
- W2956599543 hasConceptScore W2956599543C2779110517 @default.
- W2956599543 hasConceptScore W2956599543C2779960059 @default.
- W2956599543 hasConceptScore W2956599543C33923547 @default.
- W2956599543 hasConceptScore W2956599543C38677869 @default.
- W2956599543 hasConceptScore W2956599543C41008148 @default.
- W2956599543 hasConceptScore W2956599543C48103436 @default.
- W2956599543 hasConceptScore W2956599543C56086750 @default.
- W2956599543 hasConceptScore W2956599543C97137487 @default.
- W2956599543 hasFunder F4320321655 @default.