FRINK Linked Data Fragments server

Matches in SemOpenAlex for { <https://semopenalex.org/work/W2291874890> ?p ?o ?g. }

• W2291874890 abstract "We elaborate on our former work for the safety control of infinite reactive synchronous systems modeled by arithmetic symbolic transition systems. By using abstract interpretation techniques involving disjunctive polyhedral over-approximations, we provide effective symbolic algorithms allowing to solve the deadlock-free safety control problem while overcoming previous limitations regarding the non-convexity of the set of states violating the invariant to enforce." @default.
• W2291874890 created "2016-06-24" @default.
• W2291874890 creator A5053628603 @default.
• W2291874890 creator A5058456964 @default.
• W2291874890 date "2015-12-01" @default.
• W2291874890 modified "2023-10-05" @default.
• W2291874890 title "Deadlock-free discrete controller synthesis for infinite state systems" @default.
• W2291874890 cites W1502028089 @default.
• W2291874890 cites W1518247129 @default.
• W2291874890 cites W1570919259 @default.
• W2291874890 cites W1979603971 @default.
• W2291874890 cites W2014764321 @default.
• W2291874890 cites W2043100293 @default.
• W2291874890 cites W2043541593 @default.
• W2291874890 cites W2045602111 @default.
• W2291874890 cites W2059057465 @default.
• W2291874890 cites W2083013744 @default.
• W2291874890 cites W2084555692 @default.
• W2291874890 cites W2086345130 @default.
• W2291874890 cites W2097576837 @default.
• W2291874890 cites W2115241031 @default.
• W2291874890 cites W2121782671 @default.
• W2291874890 cites W2127947131 @default.
• W2291874890 cites W2132661148 @default.
• W2291874890 cites W2139101939 @default.
• W2291874890 cites W2149030441 @default.
• W2291874890 cites W2154094012 @default.
• W2291874890 cites W2169132374 @default.
• W2291874890 cites W2611597182 @default.
• W2291874890 doi "https://doi.org/10.1109/cdc.2015.7402003" @default.
• W2291874890 hasPublicationYear "2015" @default.
• W2291874890 type Work @default.
• W2291874890 sameAs 2291874890 @default.
• W2291874890 citedByCount "5" @default.
• W2291874890 countsByYear W22918748902017 @default.
• W2291874890 countsByYear W22918748902019 @default.
• W2291874890 countsByYear W22918748902020 @default.
• W2291874890 countsByYear W22918748902022 @default.
• W2291874890 crossrefType "proceedings-article" @default.
• W2291874890 hasAuthorship W2291874890A5053628603 @default.
• W2291874890 hasAuthorship W2291874890A5058456964 @default.
• W2291874890 hasBestOaLocation W22918748902 @default.
• W2291874890 hasConcept C104317684 @default.
• W2291874890 hasConcept C106159729 @default.
• W2291874890 hasConcept C11413529 @default.
• W2291874890 hasConcept C120314980 @default.
• W2291874890 hasConcept C126255220 @default.
• W2291874890 hasConcept C159023740 @default.
• W2291874890 hasConcept C162324750 @default.
• W2291874890 hasConcept C177264268 @default.
• W2291874890 hasConcept C185592680 @default.
• W2291874890 hasConcept C190470478 @default.
• W2291874890 hasConcept C199360897 @default.
• W2291874890 hasConcept C203479927 @default.
• W2291874890 hasConcept C2779167558 @default.
• W2291874890 hasConcept C2780654840 @default.
• W2291874890 hasConcept C33923547 @default.
• W2291874890 hasConcept C37914503 @default.
• W2291874890 hasConcept C41008148 @default.
• W2291874890 hasConcept C48103436 @default.
• W2291874890 hasConcept C527412718 @default.
• W2291874890 hasConcept C55493867 @default.
• W2291874890 hasConcept C63479239 @default.
• W2291874890 hasConcept C6557445 @default.
• W2291874890 hasConcept C72134830 @default.
• W2291874890 hasConcept C80444323 @default.
• W2291874890 hasConcept C86803240 @default.
• W2291874890 hasConceptScore W2291874890C104317684 @default.
• W2291874890 hasConceptScore W2291874890C106159729 @default.
• W2291874890 hasConceptScore W2291874890C11413529 @default.
• W2291874890 hasConceptScore W2291874890C120314980 @default.
• W2291874890 hasConceptScore W2291874890C126255220 @default.
• W2291874890 hasConceptScore W2291874890C159023740 @default.
• W2291874890 hasConceptScore W2291874890C162324750 @default.
• W2291874890 hasConceptScore W2291874890C177264268 @default.
• W2291874890 hasConceptScore W2291874890C185592680 @default.
• W2291874890 hasConceptScore W2291874890C190470478 @default.
• W2291874890 hasConceptScore W2291874890C199360897 @default.
• W2291874890 hasConceptScore W2291874890C203479927 @default.
• W2291874890 hasConceptScore W2291874890C2779167558 @default.
• W2291874890 hasConceptScore W2291874890C2780654840 @default.
• W2291874890 hasConceptScore W2291874890C33923547 @default.
• W2291874890 hasConceptScore W2291874890C37914503 @default.
• W2291874890 hasConceptScore W2291874890C41008148 @default.
• W2291874890 hasConceptScore W2291874890C48103436 @default.
• W2291874890 hasConceptScore W2291874890C527412718 @default.
• W2291874890 hasConceptScore W2291874890C55493867 @default.
• W2291874890 hasConceptScore W2291874890C63479239 @default.
• W2291874890 hasConceptScore W2291874890C6557445 @default.
• W2291874890 hasConceptScore W2291874890C72134830 @default.
• W2291874890 hasConceptScore W2291874890C80444323 @default.
• W2291874890 hasConceptScore W2291874890C86803240 @default.
• W2291874890 hasLocation W22918748901 @default.
• W2291874890 hasLocation W22918748902 @default.
• W2291874890 hasLocation W22918748903 @default.
• W2291874890 hasOpenAccess W2291874890 @default.
• W2291874890 hasPrimaryLocation W22918748901 @default.
• W2291874890 hasRelatedWork W132328680 @default.
• W2291874890 hasRelatedWork W1483974062 @default.
• W2291874890 hasRelatedWork W155581612 @default.

• next