Matches in SemOpenAlex for { <https://semopenalex.org/work/W2037263277> ?p ?o ?g. }
Showing items 1 to 74 of
74
with 100 items per page.
- W2037263277 abstract "This paper considers the Time Petri Nets (the TPN model) with controllable and uncontrollable transitions. It proposes a completely forward on-the-fly algorithm for checking the existence of a safety / reachability controller. Given a TPN and a safety / reachability property, the control consists of restricting the firing intervals of controllable transitions so that to satisfy the property of interest. Our approach, based on the TPN state class graph method, computes on-the-fly the reachable state classes of the TPN while collecting progressively subclasses to be avoided so that to satisfy the property. Three levels of control can be carried out: a static control (independent of states and markings), a marking depending control, or a state depending control. Our approach does not need to compute controllable predecessors and then split state classes as it is the case for other approaches based on exploration of state space of the system (backward and forward approaches)." @default.
- W2037263277 created "2016-06-24" @default.
- W2037263277 creator A5013452406 @default.
- W2037263277 creator A5064585406 @default.
- W2037263277 date "2010-01-01" @default.
- W2037263277 modified "2023-09-30" @default.
- W2037263277 title "Efficient Method for Checking the Existence of a Safety/ Reachability Controller for Time Petri Nets" @default.
- W2037263277 cites W1841167015 @default.
- W2037263277 cites W1979349468 @default.
- W2037263277 cites W2032858017 @default.
- W2037263277 cites W2042801853 @default.
- W2037263277 cites W2083998735 @default.
- W2037263277 cites W2105389929 @default.
- W2037263277 cites W2114367337 @default.
- W2037263277 cites W2147061536 @default.
- W2037263277 cites W2151612633 @default.
- W2037263277 cites W2161258591 @default.
- W2037263277 cites W2165477950 @default.
- W2037263277 doi "https://doi.org/10.1109/acsd.2010.23" @default.
- W2037263277 hasPublicationYear "2010" @default.
- W2037263277 type Work @default.
- W2037263277 sameAs 2037263277 @default.
- W2037263277 citedByCount "6" @default.
- W2037263277 countsByYear W20372632772012 @default.
- W2037263277 countsByYear W20372632772013 @default.
- W2037263277 countsByYear W20372632772015 @default.
- W2037263277 countsByYear W20372632772020 @default.
- W2037263277 countsByYear W20372632772022 @default.
- W2037263277 crossrefType "proceedings-article" @default.
- W2037263277 hasAuthorship W2037263277A5013452406 @default.
- W2037263277 hasAuthorship W2037263277A5064585406 @default.
- W2037263277 hasConcept C110251889 @default.
- W2037263277 hasConcept C120314980 @default.
- W2037263277 hasConcept C136155141 @default.
- W2037263277 hasConcept C136643341 @default.
- W2037263277 hasConcept C197551870 @default.
- W2037263277 hasConcept C199360897 @default.
- W2037263277 hasConcept C203479927 @default.
- W2037263277 hasConcept C2777669093 @default.
- W2037263277 hasConcept C38677869 @default.
- W2037263277 hasConcept C41008148 @default.
- W2037263277 hasConcept C6557445 @default.
- W2037263277 hasConcept C80444323 @default.
- W2037263277 hasConcept C86803240 @default.
- W2037263277 hasConceptScore W2037263277C110251889 @default.
- W2037263277 hasConceptScore W2037263277C120314980 @default.
- W2037263277 hasConceptScore W2037263277C136155141 @default.
- W2037263277 hasConceptScore W2037263277C136643341 @default.
- W2037263277 hasConceptScore W2037263277C197551870 @default.
- W2037263277 hasConceptScore W2037263277C199360897 @default.
- W2037263277 hasConceptScore W2037263277C203479927 @default.
- W2037263277 hasConceptScore W2037263277C2777669093 @default.
- W2037263277 hasConceptScore W2037263277C38677869 @default.
- W2037263277 hasConceptScore W2037263277C41008148 @default.
- W2037263277 hasConceptScore W2037263277C6557445 @default.
- W2037263277 hasConceptScore W2037263277C80444323 @default.
- W2037263277 hasConceptScore W2037263277C86803240 @default.
- W2037263277 hasLocation W20372632771 @default.
- W2037263277 hasOpenAccess W2037263277 @default.
- W2037263277 hasPrimaryLocation W20372632771 @default.
- W2037263277 hasRelatedWork W1500907979 @default.
- W2037263277 hasRelatedWork W1512376713 @default.
- W2037263277 hasRelatedWork W1577441161 @default.
- W2037263277 hasRelatedWork W2062420902 @default.
- W2037263277 hasRelatedWork W2121963021 @default.
- W2037263277 hasRelatedWork W2148229336 @default.
- W2037263277 hasRelatedWork W2296663577 @default.
- W2037263277 hasRelatedWork W2341552178 @default.
- W2037263277 hasRelatedWork W2390424213 @default.
- W2037263277 hasRelatedWork W64131600 @default.
- W2037263277 isParatext "false" @default.
- W2037263277 isRetracted "false" @default.
- W2037263277 magId "2037263277" @default.
- W2037263277 workType "article" @default.