Matches in SemOpenAlex for { <https://semopenalex.org/work/W2129060147> ?p ?o ?g. }
Showing items 1 to 86 of
86
with 100 items per page.
- W2129060147 abstract "Fuzzy control is well known as a powerful technique for designing and realizing control systems. However, statistical evidence for their correct behavior may be not enough, even when it is based on a large number of samplings. In order to provide a more systematic verification process, the cell-to-cell mapping technology has been used in a number of cases as a verification tool for fuzzy control systems and, more recently, to assess their optimality and robustness. However, cell-to-cell mapping is typically limited in the number of cells it can explore. To overcome this limitation, in this paper we show how model checking techniques may be instead used to verify the correct behavior of a fuzzy control system. To this end, we use a modified version of the Murphi verifier, which ease the modeling phase by allowing to use finite precision real numbers and external C functions. In this way, also already designed simulators may be used for the verification phase. With respect to the cell mapping technique, our approach appears to be complementary; indeed, it explores a much larger number of states, at the cost of being less informative on the global dynamic of the system" @default.
- W2129060147 created "2016-06-24" @default.
- W2129060147 creator A5010524910 @default.
- W2129060147 creator A5038380237 @default.
- W2129060147 creator A5055757002 @default.
- W2129060147 creator A5073196057 @default.
- W2129060147 creator A5085357809 @default.
- W2129060147 date "2006-05-25" @default.
- W2129060147 modified "2023-09-30" @default.
- W2129060147 title "A Model Checking Technique for the Verification of Fuzzy Control Systems" @default.
- W2129060147 cites W1502860153 @default.
- W2129060147 cites W1523988803 @default.
- W2129060147 cites W1537530326 @default.
- W2129060147 cites W1583487553 @default.
- W2129060147 cites W1835342941 @default.
- W2129060147 cites W1848505562 @default.
- W2129060147 cites W1861352738 @default.
- W2129060147 cites W1947849810 @default.
- W2129060147 cites W195082763 @default.
- W2129060147 cites W1966293307 @default.
- W2129060147 cites W2005860604 @default.
- W2129060147 cites W2010104284 @default.
- W2129060147 cites W2017670549 @default.
- W2129060147 cites W2044309072 @default.
- W2129060147 cites W2060095702 @default.
- W2129060147 cites W2136157766 @default.
- W2129060147 cites W2155873717 @default.
- W2129060147 cites W2166158916 @default.
- W2129060147 cites W2173952623 @default.
- W2129060147 cites W30961909 @default.
- W2129060147 cites W4300021588 @default.
- W2129060147 doi "https://doi.org/10.1109/cimca.2005.1631319" @default.
- W2129060147 hasPublicationYear "2006" @default.
- W2129060147 type Work @default.
- W2129060147 sameAs 2129060147 @default.
- W2129060147 citedByCount "3" @default.
- W2129060147 countsByYear W21290601472016 @default.
- W2129060147 crossrefType "proceedings-article" @default.
- W2129060147 hasAuthorship W2129060147A5010524910 @default.
- W2129060147 hasAuthorship W2129060147A5038380237 @default.
- W2129060147 hasAuthorship W2129060147A5055757002 @default.
- W2129060147 hasAuthorship W2129060147A5073196057 @default.
- W2129060147 hasAuthorship W2129060147A5085357809 @default.
- W2129060147 hasBestOaLocation W21290601472 @default.
- W2129060147 hasConcept C104317684 @default.
- W2129060147 hasConcept C110251889 @default.
- W2129060147 hasConcept C11413529 @default.
- W2129060147 hasConcept C154945302 @default.
- W2129060147 hasConcept C185592680 @default.
- W2129060147 hasConcept C195975749 @default.
- W2129060147 hasConcept C199360897 @default.
- W2129060147 hasConcept C41008148 @default.
- W2129060147 hasConcept C55493867 @default.
- W2129060147 hasConcept C58166 @default.
- W2129060147 hasConcept C63479239 @default.
- W2129060147 hasConcept C98045186 @default.
- W2129060147 hasConceptScore W2129060147C104317684 @default.
- W2129060147 hasConceptScore W2129060147C110251889 @default.
- W2129060147 hasConceptScore W2129060147C11413529 @default.
- W2129060147 hasConceptScore W2129060147C154945302 @default.
- W2129060147 hasConceptScore W2129060147C185592680 @default.
- W2129060147 hasConceptScore W2129060147C195975749 @default.
- W2129060147 hasConceptScore W2129060147C199360897 @default.
- W2129060147 hasConceptScore W2129060147C41008148 @default.
- W2129060147 hasConceptScore W2129060147C55493867 @default.
- W2129060147 hasConceptScore W2129060147C58166 @default.
- W2129060147 hasConceptScore W2129060147C63479239 @default.
- W2129060147 hasConceptScore W2129060147C98045186 @default.
- W2129060147 hasLocation W21290601471 @default.
- W2129060147 hasLocation W21290601472 @default.
- W2129060147 hasOpenAccess W2129060147 @default.
- W2129060147 hasPrimaryLocation W21290601471 @default.
- W2129060147 hasRelatedWork W183086211 @default.
- W2129060147 hasRelatedWork W2117798332 @default.
- W2129060147 hasRelatedWork W2144809267 @default.
- W2129060147 hasRelatedWork W2177212599 @default.
- W2129060147 hasRelatedWork W2364866360 @default.
- W2129060147 hasRelatedWork W2551596431 @default.
- W2129060147 hasRelatedWork W2736871302 @default.
- W2129060147 hasRelatedWork W2738546080 @default.
- W2129060147 hasRelatedWork W3004061698 @default.
- W2129060147 hasRelatedWork W2012842278 @default.
- W2129060147 isParatext "false" @default.
- W2129060147 isRetracted "false" @default.
- W2129060147 magId "2129060147" @default.
- W2129060147 workType "article" @default.