Matches in SemOpenAlex for { <https://semopenalex.org/work/W1574643553> ?p ?o ?g. }
- W1574643553 abstract "We propose a new method for controlled system synthesis on non-deterministic automata, which includes the synthesis for deadlock- freeness, as well as invariant and reachability expressions. Our technique restricts the behavior of a Kripke-structure with labeled transitions, representing the uncontrolled system, such that it adheres to a given requirement specification in an expressive modal logic, while all non-invalidating behavior is retained. This induces maximal permissiveness in the context of supervisory control. Research presented in this paper allows a system model to be constrained according to a broad set of liveness, safety and fairness specifications of desired behavior, and embraces most concepts from Ramadge-Wonham supervisory control, including controllability and marker-state reachability. The synthesis construction is formally verified using the Coq proof assistant." @default.
- W1574643553 created "2016-06-24" @default.
- W1574643553 creator A5040487816 @default.
- W1574643553 creator A5062530216 @default.
- W1574643553 creator A5078610814 @default.
- W1574643553 date "2015-01-01" @default.
- W1574643553 modified "2023-09-26" @default.
- W1574643553 title "Maximally Permissive Controlled System Synthesis for Modal Logic" @default.
- W1574643553 cites W1534873969 @default.
- W1574643553 cites W1553574558 @default.
- W1574643553 cites W1791618115 @default.
- W1574643553 cites W1978469611 @default.
- W1574643553 cites W1979349468 @default.
- W1574643553 cites W1985861264 @default.
- W1574643553 cites W1989359021 @default.
- W1574643553 cites W1996120936 @default.
- W1574643553 cites W2016206563 @default.
- W1574643553 cites W2039568153 @default.
- W1574643553 cites W2054099039 @default.
- W1574643553 cites W2084477406 @default.
- W1574643553 cites W2097060735 @default.
- W1574643553 cites W2098981343 @default.
- W1574643553 cites W2169984362 @default.
- W1574643553 cites W2949562517 @default.
- W1574643553 cites W4297744580 @default.
- W1574643553 doi "https://doi.org/10.1007/978-3-662-46078-8_19" @default.
- W1574643553 hasPublicationYear "2015" @default.
- W1574643553 type Work @default.
- W1574643553 sameAs 1574643553 @default.
- W1574643553 citedByCount "4" @default.
- W1574643553 countsByYear W15746435532015 @default.
- W1574643553 countsByYear W15746435532016 @default.
- W1574643553 crossrefType "book-chapter" @default.
- W1574643553 hasAuthorship W1574643553A5040487816 @default.
- W1574643553 hasAuthorship W1574643553A5062530216 @default.
- W1574643553 hasAuthorship W1574643553A5078610814 @default.
- W1574643553 hasBestOaLocation W15746435532 @default.
- W1574643553 hasConcept C110251889 @default.
- W1574643553 hasConcept C112505250 @default.
- W1574643553 hasConcept C11413529 @default.
- W1574643553 hasConcept C136643341 @default.
- W1574643553 hasConcept C154945302 @default.
- W1574643553 hasConcept C15569618 @default.
- W1574643553 hasConcept C185592680 @default.
- W1574643553 hasConcept C188027245 @default.
- W1574643553 hasConcept C27508121 @default.
- W1574643553 hasConcept C2775924081 @default.
- W1574643553 hasConcept C28826006 @default.
- W1574643553 hasConcept C33923547 @default.
- W1574643553 hasConcept C38677869 @default.
- W1574643553 hasConcept C41008148 @default.
- W1574643553 hasConcept C48209547 @default.
- W1574643553 hasConcept C71139939 @default.
- W1574643553 hasConcept C80444323 @default.
- W1574643553 hasConcept C92991967 @default.
- W1574643553 hasConceptScore W1574643553C110251889 @default.
- W1574643553 hasConceptScore W1574643553C112505250 @default.
- W1574643553 hasConceptScore W1574643553C11413529 @default.
- W1574643553 hasConceptScore W1574643553C136643341 @default.
- W1574643553 hasConceptScore W1574643553C154945302 @default.
- W1574643553 hasConceptScore W1574643553C15569618 @default.
- W1574643553 hasConceptScore W1574643553C185592680 @default.
- W1574643553 hasConceptScore W1574643553C188027245 @default.
- W1574643553 hasConceptScore W1574643553C27508121 @default.
- W1574643553 hasConceptScore W1574643553C2775924081 @default.
- W1574643553 hasConceptScore W1574643553C28826006 @default.
- W1574643553 hasConceptScore W1574643553C33923547 @default.
- W1574643553 hasConceptScore W1574643553C38677869 @default.
- W1574643553 hasConceptScore W1574643553C41008148 @default.
- W1574643553 hasConceptScore W1574643553C48209547 @default.
- W1574643553 hasConceptScore W1574643553C71139939 @default.
- W1574643553 hasConceptScore W1574643553C80444323 @default.
- W1574643553 hasConceptScore W1574643553C92991967 @default.
- W1574643553 hasLocation W15746435531 @default.
- W1574643553 hasLocation W15746435532 @default.
- W1574643553 hasLocation W15746435533 @default.
- W1574643553 hasOpenAccess W1574643553 @default.
- W1574643553 hasPrimaryLocation W15746435531 @default.
- W1574643553 hasRelatedWork W1548370410 @default.
- W1574643553 hasRelatedWork W1557867982 @default.
- W1574643553 hasRelatedWork W158204013 @default.
- W1574643553 hasRelatedWork W1850243376 @default.
- W1574643553 hasRelatedWork W1966652050 @default.
- W1574643553 hasRelatedWork W2012006165 @default.
- W1574643553 hasRelatedWork W2044592721 @default.
- W1574643553 hasRelatedWork W2052868267 @default.
- W1574643553 hasRelatedWork W2090652969 @default.
- W1574643553 hasRelatedWork W2098151292 @default.
- W1574643553 hasRelatedWork W2103488150 @default.
- W1574643553 hasRelatedWork W2106533473 @default.
- W1574643553 hasRelatedWork W2132006913 @default.
- W1574643553 hasRelatedWork W2135436316 @default.
- W1574643553 hasRelatedWork W2151662111 @default.
- W1574643553 hasRelatedWork W2184268474 @default.
- W1574643553 hasRelatedWork W2989041661 @default.
- W1574643553 hasRelatedWork W3048694293 @default.
- W1574643553 hasRelatedWork W3096727109 @default.
- W1574643553 hasRelatedWork W3145135522 @default.
- W1574643553 isParatext "false" @default.
- W1574643553 isRetracted "false" @default.