Matches in SemOpenAlex for { <https://semopenalex.org/work/W4312902212> ?p ?o ?g. }
Showing items 1 to 79 of
79
with 100 items per page.
- W4312902212 endingPage "110861" @default.
- W4312902212 startingPage "110849" @default.
- W4312902212 abstract "A coloured Petri net (CPN) is widely used to model discrete event systems due to its compact representation of the system by colour sets associated with places, transitions and I/O arcs. For real-world systems such as manufacturing systems, transportation systems, and communication protocols, a coloured timed Petri net (CTPN) is proposed to model timed behaviours. To control a discrete event system with a desired control specification, it is important to describe the control specification formally. For the CPN, a class of specification called coloured generalized mutual exclusion constraints (cGMEC) is utilized to specify the behaviours. However, cGMEC can only represent safety constraints and not temporal constraints. Therefore, in this paper, we propose a novel temporal logic based constraint called a coloured generalized mutual exclusion temporal constraint (cGMETC). The cGMETC is described by a signal temporal logic (STL) formula where each atomic predicate represents a cGMEC. We propose a method for optimal control of the CTPN under a given cGMETC. In particular, we formulate an optimal control problem and solve the problem by transforming it into an integer linear programming problem. Through a simulation of an optimal control problem of a manufacturing system, we demonstrate the effectiveness of the proposed approach." @default.
- W4312902212 created "2023-01-05" @default.
- W4312902212 creator A5021444560 @default.
- W4312902212 creator A5046686505 @default.
- W4312902212 date "2022-01-01" @default.
- W4312902212 modified "2023-09-24" @default.
- W4312902212 title "Optimal Control of Colored Timed Petri Nets Under Generalized Mutual Exclusion Temporal Constraints" @default.
- W4312902212 doi "https://doi.org/10.1109/access.2022.3216043" @default.
- W4312902212 hasPublicationYear "2022" @default.
- W4312902212 type Work @default.
- W4312902212 citedByCount "0" @default.
- W4312902212 crossrefType "journal-article" @default.
- W4312902212 hasAuthorship W4312902212A5021444560 @default.
- W4312902212 hasAuthorship W4312902212A5046686505 @default.
- W4312902212 hasBestOaLocation W43129022121 @default.
- W4312902212 hasConcept C11413529 @default.
- W4312902212 hasConcept C120314980 @default.
- W4312902212 hasConcept C121332964 @default.
- W4312902212 hasConcept C126255220 @default.
- W4312902212 hasConcept C140146324 @default.
- W4312902212 hasConcept C17744445 @default.
- W4312902212 hasConcept C199360897 @default.
- W4312902212 hasConcept C199539241 @default.
- W4312902212 hasConcept C25016198 @default.
- W4312902212 hasConcept C2524010 @default.
- W4312902212 hasConcept C2776036281 @default.
- W4312902212 hasConcept C2776359362 @default.
- W4312902212 hasConcept C2779662365 @default.
- W4312902212 hasConcept C33923547 @default.
- W4312902212 hasConcept C38677869 @default.
- W4312902212 hasConcept C41008148 @default.
- W4312902212 hasConcept C4777664 @default.
- W4312902212 hasConcept C56086750 @default.
- W4312902212 hasConcept C56348326 @default.
- W4312902212 hasConcept C62520636 @default.
- W4312902212 hasConcept C80444323 @default.
- W4312902212 hasConcept C94625758 @default.
- W4312902212 hasConceptScore W4312902212C11413529 @default.
- W4312902212 hasConceptScore W4312902212C120314980 @default.
- W4312902212 hasConceptScore W4312902212C121332964 @default.
- W4312902212 hasConceptScore W4312902212C126255220 @default.
- W4312902212 hasConceptScore W4312902212C140146324 @default.
- W4312902212 hasConceptScore W4312902212C17744445 @default.
- W4312902212 hasConceptScore W4312902212C199360897 @default.
- W4312902212 hasConceptScore W4312902212C199539241 @default.
- W4312902212 hasConceptScore W4312902212C25016198 @default.
- W4312902212 hasConceptScore W4312902212C2524010 @default.
- W4312902212 hasConceptScore W4312902212C2776036281 @default.
- W4312902212 hasConceptScore W4312902212C2776359362 @default.
- W4312902212 hasConceptScore W4312902212C2779662365 @default.
- W4312902212 hasConceptScore W4312902212C33923547 @default.
- W4312902212 hasConceptScore W4312902212C38677869 @default.
- W4312902212 hasConceptScore W4312902212C41008148 @default.
- W4312902212 hasConceptScore W4312902212C4777664 @default.
- W4312902212 hasConceptScore W4312902212C56086750 @default.
- W4312902212 hasConceptScore W4312902212C56348326 @default.
- W4312902212 hasConceptScore W4312902212C62520636 @default.
- W4312902212 hasConceptScore W4312902212C80444323 @default.
- W4312902212 hasConceptScore W4312902212C94625758 @default.
- W4312902212 hasLocation W43129022121 @default.
- W4312902212 hasLocation W43129022122 @default.
- W4312902212 hasOpenAccess W4312902212 @default.
- W4312902212 hasPrimaryLocation W43129022121 @default.
- W4312902212 hasRelatedWork W1573819191 @default.
- W4312902212 hasRelatedWork W1596735499 @default.
- W4312902212 hasRelatedWork W1900256929 @default.
- W4312902212 hasRelatedWork W2112687674 @default.
- W4312902212 hasRelatedWork W2144484286 @default.
- W4312902212 hasRelatedWork W2359102888 @default.
- W4312902212 hasRelatedWork W2359796614 @default.
- W4312902212 hasRelatedWork W2393619008 @default.
- W4312902212 hasRelatedWork W3206546607 @default.
- W4312902212 hasRelatedWork W4312902212 @default.
- W4312902212 hasVolume "10" @default.
- W4312902212 isParatext "false" @default.
- W4312902212 isRetracted "false" @default.
- W4312902212 workType "article" @default.