FRINK Linked Data Fragments server

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

• W154049430 abstract "In the supervisory control theory, a supervisor isgenerated based on given plant and specification models. Thesupervisor restricts the plant in order to fulfill the specifications. A problem that is typically encountered in industrial applications is that the resulting supervisor is not easily comprehensible for the users. To tackle this problem, we previously introduced an efficient method to characterize a supervisor by logic conditions, referred to as guards, generated from the models. The guards express under which conditions an event is allowed to occur tofulfill the specifications. By exploiting the structure of the given models, some techniques were introduced to simplify the guards and make them tractable. In order to be able to handle complex systems efficiently, the models are symbolically represented by binary decision diagrams and thus all computations are performed symbolically as well. As a consequence, the size of the guards becomes very sensitive to the variable ordering in the BDDs. In this paper, by using genetic algorithms, we aim to find the optimal variable ordering for the BDDs that yields the most compactguard. The approach has been implemented in a supervisorycontrol tool and applied to an academic example example." @default.
• W154049430 created "2016-06-24" @default.
• W154049430 creator A5055735688 @default.
• W154049430 creator A5065918596 @default.
• W154049430 date "2012-01-01" @default.
• W154049430 modified "2023-09-27" @default.
• W154049430 title "Symbolic Reduction of Guards in Supervisory Control Using Genetic Algorithms" @default.
• W154049430 cites W1528149415 @default.
• W154049430 cites W1587663028 @default.
• W154049430 cites W1973417083 @default.
• W154049430 cites W1994143452 @default.
• W154049430 cites W1995862561 @default.
• W154049430 cites W1995875735 @default.
• W154049430 cites W2004079116 @default.
• W154049430 cites W2018094844 @default.
• W154049430 cites W2059057465 @default.
• W154049430 cites W2061438988 @default.
• W154049430 cites W2087115620 @default.
• W154049430 cites W2102651988 @default.
• W154049430 cites W2108079010 @default.
• W154049430 cites W2112295486 @default.
• W154049430 cites W2115241031 @default.
• W154049430 cites W2115425820 @default.
• W154049430 cites W2120909378 @default.
• W154049430 cites W2128130994 @default.
• W154049430 cites W2138399311 @default.
• W154049430 cites W2140197499 @default.
• W154049430 cites W2140911581 @default.
• W154049430 cites W2141472133 @default.
• W154049430 cites W2141735612 @default.
• W154049430 cites W2152272339 @default.
• W154049430 cites W2163119090 @default.
• W154049430 cites W240454706 @default.
• W154049430 cites W2976664243 @default.
• W154049430 cites W278158007 @default.
• W154049430 hasPublicationYear "2012" @default.
• W154049430 type Work @default.
• W154049430 sameAs 154049430 @default.
• W154049430 citedByCount "0" @default.
• W154049430 crossrefType "journal-article" @default.
• W154049430 hasAuthorship W154049430A5055735688 @default.
• W154049430 hasAuthorship W154049430A5065918596 @default.
• W154049430 hasConcept C110251889 @default.
• W154049430 hasConcept C111335779 @default.
• W154049430 hasConcept C11413529 @default.
• W154049430 hasConcept C141141315 @default.
• W154049430 hasConcept C154945302 @default.
• W154049430 hasConcept C17744445 @default.
• W154049430 hasConcept C199360897 @default.
• W154049430 hasConcept C199539241 @default.
• W154049430 hasConcept C2524010 @default.
• W154049430 hasConcept C2775924081 @default.
• W154049430 hasConcept C2778693208 @default.
• W154049430 hasConcept C2779110517 @default.
• W154049430 hasConcept C3309909 @default.
• W154049430 hasConcept C33923547 @default.
• W154049430 hasConcept C41008148 @default.
• W154049430 hasConcept C80444323 @default.
• W154049430 hasConcept C92991967 @default.
• W154049430 hasConceptScore W154049430C110251889 @default.
• W154049430 hasConceptScore W154049430C111335779 @default.
• W154049430 hasConceptScore W154049430C11413529 @default.
• W154049430 hasConceptScore W154049430C141141315 @default.
• W154049430 hasConceptScore W154049430C154945302 @default.
• W154049430 hasConceptScore W154049430C17744445 @default.
• W154049430 hasConceptScore W154049430C199360897 @default.
• W154049430 hasConceptScore W154049430C199539241 @default.
• W154049430 hasConceptScore W154049430C2524010 @default.
• W154049430 hasConceptScore W154049430C2775924081 @default.
• W154049430 hasConceptScore W154049430C2778693208 @default.
• W154049430 hasConceptScore W154049430C2779110517 @default.
• W154049430 hasConceptScore W154049430C3309909 @default.
• W154049430 hasConceptScore W154049430C33923547 @default.
• W154049430 hasConceptScore W154049430C41008148 @default.
• W154049430 hasConceptScore W154049430C80444323 @default.
• W154049430 hasConceptScore W154049430C92991967 @default.
• W154049430 hasLocation W1540494301 @default.
• W154049430 hasOpenAccess W154049430 @default.
• W154049430 hasPrimaryLocation W1540494301 @default.
• W154049430 hasRelatedWork W114719569 @default.
• W154049430 hasRelatedWork W139322006 @default.
• W154049430 hasRelatedWork W1577246688 @default.
• W154049430 hasRelatedWork W1587639201 @default.
• W154049430 hasRelatedWork W1994528995 @default.
• W154049430 hasRelatedWork W2122698067 @default.
• W154049430 hasRelatedWork W2129943654 @default.
• W154049430 hasRelatedWork W2183811590 @default.
• W154049430 hasRelatedWork W2272999419 @default.
• W154049430 hasRelatedWork W2333929974 @default.
• W154049430 hasRelatedWork W2469385076 @default.
• W154049430 hasRelatedWork W2733077638 @default.
• W154049430 hasRelatedWork W2750587933 @default.
• W154049430 hasRelatedWork W2914507793 @default.
• W154049430 hasRelatedWork W2914874733 @default.
• W154049430 hasRelatedWork W2949514906 @default.
• W154049430 hasRelatedWork W2952585167 @default.
• W154049430 hasRelatedWork W3103056503 @default.
• W154049430 hasRelatedWork W3116208659 @default.
• W154049430 hasRelatedWork W3210596541 @default.
• W154049430 isParatext "false" @default.

• next